zipper_algebra: Implement majority-of-three using DNF zipper merge#43
Open
marcin-rzeznicki wants to merge 1 commit into
Open
zipper_algebra: Implement majority-of-three using DNF zipper merge#43marcin-rzeznicki wants to merge 1 commit into
marcin-rzeznicki wants to merge 1 commit into
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR adds a
majorityzipper operation, returning values present in at least two of the three inputs.The implementation is expressed directly in terms of the DNF merge engine using the identity:
A value therefore survives iff it is present in at least two operands.
This serves both as a useful operation and as a demonstration of the expressive power of the DNF evaluator. Unlike pairwise merge operators such as
Join,Meet, orSubtract, majority is naturally described as a disjunction of conjunctions, making it a good fit for the new DNF traversal framework.The implementation reuses the existing DNF merge machinery and requires no specialized traversal logic.