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