[問題] 講義中 ite 的 F, G, H...

[spock ()]

請問投影片 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
推 ric2k1:(F, 1, F) ==> (R1) (F, 1, 0) ==> (Term) return F
→ ric2k1:先 apply rules/checks 就不會 crash 了
→ spock:所以說，投影片裡面的 F, G, H 也可以為 0 或 1 囉?
→ spock:這個問題吃掉我兩天 orz
推 ric2k1:我的意思是 (F, 1, F) 就先會被 normalized/checked and
→ ric2k1:return F 了, 根本不會呼叫到 recursive call...
→ ric2k1:就算你的 normalize 沒寫, (1, 1, 1) 也應該回傳 1 呀!
→ ric2k1:為什麼會 crash 呢?
→ spock:啊？(1,1,1) 要回傳 1？這式子不是不合邏輯？我沒考慮這個
推 ric2k1:喔對吼, 那你為什麼會跑出 (1, 1, 1)?
→ spock:我先檢查我是不是 _nodeV == 0 沒處理好 orz
→ spock:好像也不是...我拿掉限制 F,G,H,etc 不為 0,1 的限制，好了
→ spock:不過 ref count 好像差了一些 orz
→ spock:啊啊啊～ 一個 node 多 1～～～囧rz