Comment Comment by zero_k I was involved with implementing the DNF volume counting version of this with the authors. You can see my blog post of it here:https://www.msoos.org/2023/09/pepin-our-probabilistic-approx...And the code here: https://github.com/meelgroup/pepinOften, 30% of the time is spent in IO of reading the file, that's how incredibly fast this algorithm is. Crazy stuff.BTW, Knuth contributed to the algo, Knuths' notes: https://cs.stanford.edu/~knuth/papers/cvm-note.pdfHe actually took time off (a whole month) from TAOCP to do this. Also, he is exactly as crazy good as you'd imagine. Just mind-blowing. parent zero_k 2 years ago
https://www.msoos.org/2023/09/pepin-our-probabilistic-approx...
And the code here: https://github.com/meelgroup/pepin
Often, 30% of the time is spent in IO of reading the file, that's how incredibly fast this algorithm is. Crazy stuff.
BTW, Knuth contributed to the algo, Knuths' notes: https://cs.stanford.edu/~knuth/papers/cvm-note.pdf
He actually took time off (a whole month) from TAOCP to do this. Also, he is exactly as crazy good as you'd imagine. Just mind-blowing.