Re: [問題] 西洋棋謎題（加入棋子）原創！

[turtleqqq (小龜)]

※ 引述《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
→ terrorlone:這次跟那次有一個本質上的不同，那就是上次那題你不能
→ terrorlone:擅自假定題目是合法的（搞不好題目出錯啦），但是這題
→ terrorlone:則是要求你把局面變成合法，所以你自然不用考慮別的

我還是覺得不能假設題目有解很奇怪,既然題目要我推上一步,那我當然是相信

他這一步已經存在了,所以才去推上一步,如果有可能不合法的題目,

題目本身就會問你是否、可能合法不是嗎?



而且不管怎樣,"反證法"永遠不會錯吧!

上次那題,"假設王有動過",則題目必定無解,那就已經反證成功了.


==
*** 然後,在這個反證法成立之後,"順帶"衍生出了倒數第二步,出現了死亡判定.
==

所以我認為,那一題的死亡判定只是"同時存在的必要條件",和反證法是並存的

(最好的證明就是,那題把死亡判定規則拿掉依然能出題)

而由上述,更說明了反證法比死亡判定更基本、更優先.

--


再說,死亡判定也是建立在"已經從上一步走到這一步" 的前提下才成立

那這不也是使用了"題目的局面存在"的假設嗎?

如此,死亡判定和反證法使用了相同的假設!

那假設局面有解又有什麼不對!

※ 編輯: turtleqqq       來自: 1.161.128.7          (06/23 03:49)
→ terrorlone:一點也不，死亡判斷根本不仰賴「題目有解」這種假設
→ terrorlone:我回個文仔細解釋一下好了