search

jordagaman / zddr

A zero-suppressed binary decision diagram implementation for R
https://jordagaman.github.io/zddr/
Other
3 stars 0 forks source link

Determine the performance impact of minimizing on every operation #19

Open jordagaman opened 3 years ago

jordagaman commented 3 years ago

Right now, ZDDs are guaranteed to be minimal because their construction includes the appropriate AND NOT operation. It's pleasant to live in the reality where if a ZDD is encountered, it is reliably minimal.

However, for large problems, this may be slowing down the performance. Determine if it is faster or more efficient to minimize a ZDD after a major operation, but not at every intermediate step.

jordagaman commented 3 years ago

Added functionality to help this investigation in commit 7248abe