作者timothy2300 (小龙弟)
看板EE_DSnP
标题[问题]写 genVector 没有头绪....
时间Sun Jan 17 21:27:25 2010
下个礼拜还要专题报告和网多实验，所以想要今天以内把
期末专题写完，却卡在最後一关：genVector()!!
除了之前某篇老师给的提示外，其他的仍然没有头绪。
目前观察老师的ref program input vector中 1的比例
高很多，很像是假设一开始全为 1 的样子。但不知道用什麽
来判断哪些要改成 0。还是说这只是巧合?
请板上大大们帮个忙，再多给一些提示。谢谢！
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 58.114.209.60
1F：推 a3785lexx:先等我搞定cirsim再说XDrz... 01/17 21:36
2F：推 ric2k1:1 比较多不是巧合... 但也不是全猜 1 啊 01/17 21:39
3F：→ ric2k1:你首先要了解 genVector() 的意思... Given a PO pattern 01/17 21:40
4F：→ ric2k1:say, 10101, 表示你要找到一个 cube (or minterm or 01/17 21:40
5F：→ ric2k1:assignment) such that first PO's BDD is evaluated to 1, 01/17 21:41
6F：→ ric2k1:second PO's BDD to 0, etc. 01/17 21:41
7F：→ ric2k1:现在的问题是要如何找到这个 cube, 或是证明这个它不存在 01/17 21:42
8F：推 ric2k1:hint: 如何 balance "easy-to-find solution", "easy-to- 01/17 21:46
9F：→ ric2k1:prove no-solution", 以及 "difficult" cases... 01/17 21:46
10F：推 ric2k1:其实不好写, 量力而为吧! (有人写得跟 ref prog 一样或是 01/17 21:47
11F：→ ric2k1:更好的吗?) 01/17 21:47
12F：→ timothy2300:还没有想懂，不过谢谢老师！ 01/18 20:24