作者spock ()
看板EE_DSnP
標題[問題] 講義中 ite 的 F, G, H...
時間Mon Jun 16 19:13:20 2008
請問投影片 p.39 Terminal Cases for ITE Algorithm
p.49 Equivalent ITE Operations
裡面的 F, G, H 等等 parameters 是不是「嚴格規定非 0 或非 1」？
我現在發現 ite 一路拆 cofacter 下去就會出現 ... => (F, 1, F) => (1, 1, 1)
=> segmentation fault...orz
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.160.63.233
1F：推 ric2k1:(F, 1, F) ==> (R1) (F, 1, 0) ==> (Term) return F 06/16 21:22
2F：→ ric2k1:先 apply rules/checks 就不會 crash 了 06/16 21:24
3F：→ spock:所以說，投影片裡面的 F, G, H 也可以為 0 或 1 囉? 06/16 23:38
4F：→ spock:這個問題吃掉我兩天 orz 06/16 23:38
5F：推 ric2k1:我的意思是 (F, 1, F) 就先會被 normalized/checked and 06/16 23:54
6F：→ ric2k1:return F 了, 根本不會呼叫到 recursive call... 06/16 23:55
7F：→ ric2k1:就算你的 normalize 沒寫, (1, 1, 1) 也應該回傳 1 呀! 06/16 23:56
8F：→ ric2k1:為什麼會 crash 呢? 06/16 23:56
9F：→ spock:啊？(1,1,1) 要回傳 1？這式子不是不合邏輯？我沒考慮這個 06/17 01:29
10F：推 ric2k1:喔對吼, 那你為什麼會跑出 (1, 1, 1)? 06/17 01:35
11F：→ spock:我先檢查我是不是 _nodeV == 0 沒處理好 orz 06/17 01:48
12F：→ spock:好像也不是...我拿掉限制 F,G,H,etc 不為 0,1 的限制，好了 06/17 02:31
13F：→ spock:不過 ref count 好像差了一些 orz 06/17 02:34
14F：→ spock:啊啊啊～ 一個 node 多 1～～～囧rz 06/17 02:41