作者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)