前兩天一直和lunwould同學討論建出來的結果
最後得到C432各PO的BDD中所有的Node總數
(用老師的PrintBdd函式算出來的)
提供給大家參考^^
223GAT(84) -- 19
329GAT(133) -- 96
370GAT(163) -- 636
421GAT(188) -- 671
430GAT(193) -- 864
431GAT(194) -- 1040
432GAT(195) -- 1145
(不計算terminal node,但root算進去)
如果大家覺得以上數據怪怪的,請告訴我們一聲吧
稍後再放C499的result上來
(基本上後來我們得到的共識是,如果
程式寫對,不需要加什麼reorder的技巧
432和499就可以很快出來的)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.240.36