作者ric2k1 (Ric)
看板EE_DSnP
標題Re: [問題] 關於BDD的操作
時間Sat Jan 9 21:49:20 2010
※ 引述《anfranion (南‧生命的意義是經歷)》之銘言：
: 重新定義一下問題@@"
: 就是說 老師在上課講說哪個是哪個的positive cofactor的部份
: 是怎麼看出來的囧
: 比如說b || c的
: 我怎麼知道c也是positive cofactor (老師在C和1上面都打圈圈)
: 諸如此類的QQ
: 先感謝好心人囉!
1. 首先, 我們的 BDD construction 並不是用講義上 pp. 23 ~ 26 那種用 cofactor
recursive call 的建法, 我們用的是 ite() 的方法.
(請見我上一篇回文)
2. 用 cofactor recursive 去建 BDD 對於手動建 BDD 比較有用,
所以講義 pp. 23 ~ 26 的例子是手動建 BDD 的例子.
3. c 之所以是 (他自己的) positive cofactor 是因為目前的 level 是 b,
而 c 比 b 矮, 所以 c 的 positive or negative cofactor 都是自己.
(請見講義 p24 的第二點)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.224.41.206
1F：推 anfranion:好像有一點點懂了QQ 01/09 23:38