※ 引述《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)