在"Homework_4_2"中, page 11 關於nodeMove的敘述
After the move,
there will be no BDD nodes between levels [fromLevel, toLevel)
這敘述應該是錯的...
以本題為例子,
比方說把Y搬到X,
所以fromLevel設成Y的lowest level,
toLevel設成X之Lowest level
在[toLevel, fromLevel) 的區段都是X的node,不會發生"no BDD nodes."
建議本條說明要寫清楚為一次搬動很多個level的node,
不然很容易理解錯誤,
像我剛剛以為是一次搬動一個level的node,
再加上敘述
"There is no node in level < from Level (except for the terminal node)"
所以就要從Y最下層開始搬,
就寫的拉哩拉雜..
兩邊加在一起,讓我debug很久...
直到爬了一下文才解決問題@@
希望本篇能解決同樣陷入這個問題的人的疑惑~~
若需爬文,最近與hw4-2相關的文章是295~298篇.