想请问一下~~
在建BDD的时候为什么会出现dead node呢？
而且如果真的有 那等到内存不足的时候 再从top node DFS呼叫下去看哪个node没被
reference到就好啦
为什么要每次被人家指到就要ref++ 然后还要分从computed, unique table来的ref不算…
但究竟为何会出现dead node呢QQ 那个node一定是有被别人reference到才建的啊…XD
麻烦板大们QQ

在 BDD 建造的过程中一直会有多余的 dead node 被建出来比方说，你要建 y = a && b && c; 中间可能会先建 b & c再建 a && (b && c), 如果变量的顺序是 c(top) --> b --> a建完之后 b && c 就变 dead node 了

可是在建BDD之前 不是应该要先给变量的顺序吗？给完顺序再建的话 应该就不会发生这样的事…？