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.

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

sort intermediate supras for fast intersection bailout #3

Open
garfieldnate opened this issue Aug 1, 2016 · 1 comment
Open

sort intermediate supras for fast intersection bailout #3

garfieldnate opened this issue Aug 1, 2016 · 1 comment

Comments

@garfieldnate
Copy link
Owner

Given how huge I remember non-classified supracontexts being, this may not help, but it's worth an experiment.

At the lattice combination stage, sort the supracontexts in each sub lattice by the set of outcomes used by its subcontexts. Then when combination is performed perhaps we can find a way to cut out extra work. For example, if a supra contains only subs with the outcomes [e,f,g], we wouldn't need to bother trying to combine with supras that only contain [h,i,j].

This has the potential to make everything slower if not done right, so further thought is required.

@garfieldnate
Copy link
Owner Author

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant