迪摩根

看板EE_DSnP作者 (我是阿檻耶XD)時間16年前 (2008/06/24 16:59), 編輯推噓1(102)
留言3則, 2人參與, 最新討論串1/1
剛剛測迪摩根 d = ~(a&b) [2](-) 0x50fc00 (1) [1](+) 0x50fb10 (3) [0](+) 0x50fa90 (10) [0](-) 0x50fa90 (10) (*) [0](-) 0x50fa90 (10) (*) ==> Total #BddNodes : 3 e = ~a | ~b [2](-) 0x50fc00 (2) [1](+) 0x50fb10 (3) [0](+) 0x50fa90 (10) [0](-) 0x50fa90 (10) (*) [0](-) 0x50fa90 (10) (*) ==> Total #BddNodes : 3 RefCount的不一樣是因為我們在建BDD的時候用不同的方式所造成的嗎 還是說 d e 兩個東西出來就應該一模一樣???? 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.49.246

06/24 17:03, , 1F
這個教授最後一堂課的時候應該有講過吧!?
06/24 17:03, 1F

06/24 17:04, , 2F
如果沒記錯的話印象是正常的?
06/24 17:04, 2F

06/24 17:04, , 3F
多了一個 e 所以 ref count 就會加一囉
06/24 17:04, 3F
文章代碼(AID): #18OBUB0J (EE_DSnP)