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