事實上最後得到的結論是,如果正確的實做老師上課交的東西的話,cache/hash不要開太小
(約1萬左右),基本上432/499都該很快出來(約數秒到數十秒左右,視情況而定.其中432
整個建構只要2萬多個Bdd Node,因此也不需要多龐大的RAM)
根據最原始的那篇論文(Effcient Implementation of a BDD package)
,就是老師上課所述的作法,他的實驗數據C432/C499都只跑不到100s
(Fix order)
----重點是他用的是90年代的電腦(只有8M RAM..........冏冏冏)
之前因為實做的錯誤所以造成跑出很糟的時間,如果正確應該會比他
快吧...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.240.36