※ 引述《terrorlone (要努力成為偉大的學者)》之銘言： : 這是最近在逆向分析通信上展開的特定題型大戰當中我提出的一題， : T. Le Gleuher 給予這題「very fine」的高度評價。 : 原創（2011.6.18）： : ８　　　　　　　　　　　黑白 : ７　ＰＰ　　　　　　　　ｐＰ ＝ 小兵 : ６　　ＰＲ　　　　　　　ｒＲ ＝ 城堡 : ５　　ＢＲ　　　　　　　ｎＮ ＝ 騎士 : ４　Ｐ　　　　　　　　　ｂＢ ＝ 主教 : ３　ＰｋＮ　　　　　　　ｑＱ ＝ 皇后 : ２　ＮＰ　Ｐ　　　　　　ｋＫ ＝ 國王 : １　　　Ｋ　　　　　　　 : 　　ａｂｃｄｅｆｇｈ : 題目：加入若干棋子使得局面合法。 : 難度：★★☆（純屬個人見解） : 這題開放自由作答，但若要 PO 文請一定給出詳解。 -- 竟然沒人答 黑子全由白兵吃,故白子不能吐任何黑子,除了白兵 這斷了c5這條路. 即B在a6,R從b5吃子到c5造成雙將軍,黑王閃然後白B再到b5 -- 接著,a5a6吐不出黑子,因為這樣白兵位置不合法(黑子數不足) 所以由題目說明這局面存在,白王只能入保到c1 (這邊打個插, "因為題目局面存在" ,且入堡是唯一可能性, 就是說,不能入堡此題局面不可能存在. 或是,"若沒特別說明,一律視為入堡可行" 我用這兩點來證明之前某題死亡判斷的入堡必定可行,t大好像說不行 一定要用 "因為死亡判斷沒生效,所以證明入堡可行" 來證明之 可是..即使死亡判斷這規則不存在,當時那一題依然能用"入堡的唯一性"來證明不是嗎 我覺得死亡判斷只是附加證明..,t大卻說不能假設題目有解來證明...??) -- 如此,先使用t大當時所說的,不充足的立證, 就是 "若不可入堡,則此局面不存在", 以入堡的必要性來證明R必定沒動過 所以要添加的棋子為d1的R. 而只能+1個棋子,因為h行兵要升變R一次, 所以h行黑兵要吃一白子讓路,且c1主教要死在原位. 白子此時定要死2個,剩d1的R. --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 1.161.128.7 我還是覺得不能假設題目有解很奇怪,既然題目要我推上一步,那我當然是相信 他這一步已經存在了,所以才去推上一步,如果有可能不合法的題目, 題目本身就會問你是否、可能合法不是嗎? 而且不管怎樣,"反證法"永遠不會錯吧! 上次那題,"假設王有動過",則題目必定無解,那就已經反證成功了. == *** 然後,在這個反證法成立之後,"順帶"衍生出了倒數第二步,出現了死亡判定. == 所以我認為,那一題的死亡判定只是"同時存在的必要條件",和反證法是並存的 (最好的證明就是,那題把死亡判定規則拿掉依然能出題) 而由上述,更說明了反證法比死亡判定更基本、更優先. -- 再說,死亡判定也是建立在"已經從上一步走到這一步" 的前提下才成立 那這不也是使用了"題目的局面存在"的假設嗎? 如此,死亡判定和反證法使用了相同的假設! 那假設局面有解又有什麼不對! ※ 編輯: turtleqqq 來自: 1.161.128.7 (06/23 03:49)