Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Diff: mark subtrees as globally/shared unique #13

Open
zachallaun opened this issue Mar 17, 2023 · 0 comments
Open

Diff: mark subtrees as globally/shared unique #13

zachallaun opened this issue Mar 17, 2023 · 0 comments
Labels
experiment Worth pursuing but may be rejected

Comments

@zachallaun
Copy link
Owner

zachallaun commented Mar 17, 2023 •
edited
Loading

Globally unique -> mark as novel node.

Shared unique -> may be useful indicator to allow continuing to recurse into matching subtrees in case there is a more optimal diff. But if a branch is shared unique, treat it as a node and not branch.

Shared unique children can also be removed during minimization even when in a different order.
@zachallaun zachallaun added the experiment Worth pursuing but may be rejected label Mar 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
experiment Worth pursuing but may be rejected
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@zachallaun