作者anfranion (南‧生命的意義是經歷)
看板EE_DSnP
標題Re: [問題] Cofactor的問題
時間Sun Jan 10 19:05:23 2010
※ 引述《anfranion (南‧生命的意義是經歷)》之銘言：
: 不好意思 又來問問題了@@"
: 就是ite裡面會要三個BddNode 的LeftCofactor &RightCofactor
: 可能是我還是沒有搞懂cofactor
: 我想問萬一是terminal node的話他的cofactor該怎麼找囧>
: 先謝過好心人了<(_ _)>
我後來發現我的問題好像更大一點 真是抱歉QQ
就是像 a & b 啊
用ite表示的話就是 ite(F, G, 0)
畫成圖就是這樣：
F G H
a b 0
/ \ / \
1 0 1 0
現在我要把它展開
從a開始
我可以透過觀察得到
ite(F, G, H) = (a, ite(1, G, H), ite(0, G, H)) // G & H不受a的影響
= (a, G, 0)
但是我不知道在抓leftCofactor& RightCofactor的時候
直接判斷這件事情QQ
煩請知道的人指點了 非常感謝<(_ _)>
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.32.0.42
※ 編輯: anfranion 來自: 114.32.0.42 (01/10 19:05)