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