3 ms·
BDDs you are using, are they zero-supressed decision diagrams or it was not necessary to do these kinds of optimizations?
by superpermutat0r 6y ago
BDDs you are using, are they zero-supressed decision diagrams or it was not necessary to do these kinds of optimizations?
- eventreduce 6y agoYes the BDD is minimized with the two rules (reduction and elimination). Also the sorting of the boolean functions is optimized via plain brute forcing. The was no good JavaScript implementation for BDDs so I had to create my own one https://github.com/pubkey/binary-decision-diagram https://github.com/pubkey/binary-decision-diagram
- superpermutat0r 6y agoCool, I've checked your code and it's not zero suppressed BDDs, although it might not be a performance gain if you used ZDDs. (zero supressed BDDs are very good at representing sets of permutations/combinations etc. but as far as I understand you have all the possible permutations encoded in the BDD, not a subset of all possible permutations).