[請益] 卡關超久的f^g和~a|~b Q_Q

作者INsoarDEEP (我/我/我)

看板EE_DSnP

標題[請益] 卡關超久的f^g和~a|~b Q_Q

時間Sat Jan 16 23:16:53 2010

已經de了快要6小時的bug，盯著ddd的我已經眼花了還是看不出所以然的f^g和~a|~b... 狀況是這樣的，我的leftCofactor和rightCofactor寫法類似，都是先看level大小，然後決定需不需要call小孩，然後我沒有去管neg edge的東西... testBdd的前三個都順利過關，但是後兩個發生問題，結果如下： f^g [4](+) 0x9c04e98 (2) [0](+) 0x9bec288 (15) [3](+) 0x9c04df8 (3) [0](+) 0x9bec288 (15) (*) [0](-) 0x9bec288 (15) (*) ==> Total #BddNodes: 3 ~a|~b [2](+) 0x9c04ea8 (1) [0](+) 0x9bec288 (16) [1](-) 0x9c04da8 (4) [0](+) 0x9bec288 (16) (*) [0](-) 0x9bec288 (16) (*) ==> Total #BddNodes: 3 沒有頭緒...可以請大家幫個忙看一下嗎? 說實話我已經不知道該怎麼做了orz -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.216.45

推 yclanner:妳可以先看看2553篇... 01/16 23:18

→ INsoarDEEP:呃對了我還沒寫standardize(就卡住了...QQ) 01/16 23:20

→ yclanner:那2153篇..? 01/16 23:21

推 a3785lexx:請問您的getCofactor()s有管bubble嗎？？ 01/16 23:22

→ a3785lexx:可以看看#1AGAKx8g 你的xor好像長的跟他一樣XD 01/16 23:24

→ a3785lexx:而我當初也是同一個問題XD 01/16 23:24

→ INsoarDEEP:呃沒有耶...我完全沒做check isNegEdge之類的事情說... 01/16 23:25

→ yclanner:所以應該是2153篇的問題吧? 01/16 23:25

→ INsoarDEEP:難道說在getCofactor裡面就要處理neg edge嗎?? 01/16 23:26

推 a3785lexx:呵呵你說呢~ 01/16 23:26

→ a3785lexx:你可以手作一下XOR的ITE運算 01/16 23:27

→ a3785lexx:如果發現作不出參考的結果...就可以知道觀念有地方錯了 01/16 23:28

→ INsoarDEEP:我以為ite裡面已經把neg edge處理掉了，所以就沒管它.. 01/16 23:28

→ a3785lexx:我當初就是這樣發現的...orz 01/16 23:28

→ a3785lexx:老師在原PO上一篇說neg edge處理掉的意思是， 01/16 23:29

→ a3785lexx:ITE(F,G,H)的G端絕對不能有neg edge的要求會被處理 01/16 23:30

→ a3785lexx:不過如果一個node本身是頭上頂泡泡的 01/16 23:31

→ a3785lexx:這個在getCofactor()s的時候要注意一下:) 01/16 23:31

推 mymaydayya:應該要看edge喔因為cofactor的定義 01/16 23:42

→ INsoarDEEP:!! 好像發現自己錯在哪裡了... 01/16 23:55

→ INsoarDEEP:~a|~b正確了，但是現在f^g多了四個node 囧 01/17 00:12

→ INsoarDEEP:~a|~b的refCount也不太一樣... 01/17 00:27