作者DreamYeh (天使)
看板puzzle
标题Re: [问题] 西洋棋谜题(直接将死 + 死亡判断)
时间Fri Jun 24 21:19:01 2011
A. G. Buchanan(2001):
8
黑白
7
pP = 小兵
6
Q N rR = 城堡
5
B nN = 骑士
4
PP bB = 主教
3
Nk P qQ = 皇后
2
P kK = 国王
1
B RK R
abcdefgh
问题:白先二步将死。
=========================================================
由於又有三个板友写信问我这一题的细节,包括两个问我死亡判
断相关论证因此我就在详细说明一次,为什麽非要用「死亡论证」
这条规矩吧!
首先,题目是:白先二步杀,注意这个题目
可能是无解的!!
除非使用「死亡判断」,
否则你绝对无法确定有没有解这件事实
当然更别说把「有解」当作是假设了!
先别急,我这边会一步步引导你知道全部细节
请先打开西洋棋软体,或是你没装的话,直接打开
http://www.hi-chess.com/main/pgneditor.html
(按下导入PGN局面)
然後把以下的谱完全输入:
1. h3 Nf6 2. Nf3 Ng4 3. Ng5 Nxf2 4. Nxf7 Ne4 5. Nxh8 g6
6. Nxg6 Bh6 7. Nxe7 Bxd2+ 8. Bxd2 Ng3 9. Nxc8 b6 10. Nxb6 Ne4
11. Nxa8 Nc5 12. Nxc7+ Ke7 13. Nb5 Nd3+ 14. exd3 d5 15. b3 Nc6
16. Nxa7 Na5 17. a4 Nc4 18. bxc4 h6 19. d4 h5 20. Qxh5 Qc7
21. Nb5 Qd6 22. a5 Qd7 23. a6 Qd6 24. a7 Qd7 25. a8=R Qg4
26. Bc3 Qxg2 27. Bxg2 Ke6 28. Bxd5+ Kf6 29. Nd2 Ke7 30. Qh7+ Kf6
31. Rd1 Kg5 32. Nc7 Kf4 33. Ne6+ Ke3 34. Nc5 Kf4 35. Nd3+ Ke3
36. Ne4 Kf3 37. Rg8 Ke3 38. Rg2 Kf3 39. Ba1 Ke3 40. Qb7 Kf3
41. Qc6 Ke3 42. Rg4 Kf3 43. Nf6+ Ke3 44. Re4+ Kf3 45. Ne8 Kg3
46. Ng7 Kf3 47. Ne6 Kg3 48. Bc3 Kf3 49. Bb2 Kg3 50. Ba1 Kf3
51.Re3+ Kxe3
好,告诉我你看到什麽
是不是变成题目的局面呢?
好的,告诉我解答是什麽,你一定会同意,肯定就是
1.O-O Ke2
2.Rfe1#
你也可以实际打谱看看是不是那麽一回事
到这边你都同意的话,接着再把以下这张谱打进来看看!
1. h3 Nf6 2. Nf3 Ng4 3. Ng5 Nxf2 4. Nxf7 Ne4 5. Nxh8 g6
6. Nxg6 Bh6 7. Nxe7 Bxd2+ 8. Bxd2 Ng3 9. Nxc8 b6 10. Nxb6 Ne4
11. Nxa8 Nc5 12. Nxc7+ Ke7 13. Nb5 Nd3+ 14. exd3 d5 15. b3 Nc6
16. Nxa7 Na5 17. a4 Nc4 18. bxc4 h6 19. d4 h5 20. Qxh5 Qc7
21. Nb5 Qd6 22. a5 Qd7 23. a6 Qd6 24. a7 Qd7 25. a8=R Qg4
26. Bc3 Qxg2 27. Bxg2 Ke6 28. Bxd5+ Kf6 29. Nd2 Ke7 30. Qh7+ Kf6
31. Rd1 Kg5 32. Nc7 Kf4 33. Ne6+ Ke3 34. Nc5 Kf4 35. Nd3+ Ke3
36. Ne4 Kf3 37. Rg8 Ke3 38. Rg2 Kf3 39. Ba1 Ke3 40. Qb7 Kf3
41. Qc6 Ke3 42. Rg4 Kf3 43. Nf6+ Ke3 44. Re4+ Kf3 45. Ne8 Kg3
46. Ng7 Kf3 47. Ne6 Kg3 48. Bc3 Kf3 49. Bb2 Kg3 50. Ba1 Kf3
51. Rh2 Kg3 52. Rh1 Kf3 53. Re3+ Kxe3
仔细一看,这张谱跟刚才唯一差异就是,我多来回走了Rh2-h1
现在,
又回到原来题目的样子了,请告诉我,解答是什麽!
m答案一定会让你大吃一惊,变成
无解了!
请再仔细看看,白无法入堡,接着无论走甚麽,黑都无子可动,逼和
(
为什麽会有人写信会问我逼和是啥啦=口=(翻桌!) )
不信的话,欢迎就本谱继续走走看,绝对是无解的
好了,现在我已经排出下面这一谱,出现题目局面,这代表原来局面一定
是合法的。这没问题吧?可是这种情况下居然是无解!
也就是说,如果题目没用到「死亡判断」,答案一定是这样:
「
如果可以入堡,则解答是....
如果不能入堡,则无解
」
如此一来,当然没有「由於题目有解...所以可以入堡」这种
荒谬推论
如果你到这边还是都能理解的话,那我们终於可以让这个让大家战起来的
「死亡判断」登场了!
死亡判断是一条全新的规则,这代表说,在这条规则出现之前,我在这边
给你的第二个棋谱,是完全合法的!
死亡这条新规则告诉我们:「如果局面进入一个状况,使得局面无论如何
都无法透过合法棋步让一方获胜,则宣告和棋」
现在回来看我们的第二个棋谱,根据这条规则,在
52. Rh1 Kf3 53. Re3+
发生後,会怎麽样呢?注意到黑方已经没有别的合法棋步可走了,国王吃城堡已
经是必然,接着迎向一个「双方无论如何都无法将死对方状况」,
是故Re3+後,就会提前宣告和局!
所以这一棋就会变成
52. Rh1 Kf3 53. Re3+ 和棋!
也就是不会变成题目这种状况,是故我们终於可以推断,题目那种局面要走出,
一定要透过第一套棋谱!!
如果到这边你还看得懂,相信以下几点推论都不难理解了....
1.如果没有死亡判断,原来的题目,可能有两种状况:
a.白还能入堡
b.白不能入堡
请注意这两种状况最後都会导致原来题目是合法的,事实上我都给出棋谱,
原来题目当然是合法!
b.状况,会导致原来题目无解!!!!
假设题目有解,并用此玩反证法,肯定是不对的!因为根本就不存在这个前提
一句话以概括之:「
如果没有死亡判断,原来题目可能无解」
2.在有死亡判断规则前提下,则我们提出的b.这套棋谱就走不出来了....
因为在Re3+後,白由於没有入堡手段,因此再也无法杀棋手段,Re3+後,直接
判和!就不会走出题目状况。
是故我们终於可以撇除这个情况。
所以「
就是由於有死亡判断,我们可以证明入堡一定还可行」
最後再复习一遍以下两个逻辑概念吧:
当我们看到一个西洋棋题目(局面)时候,题目没额外说明的话,以下假设都是
错的!
1.假设这题是有解的
2.假设这个局面是合法的
要证明第一个前提唯一办法,就是「找出一组解」
要证明第二个前提唯一办法,就是「打造一个合法棋谱,让我们能从初始局面走
到题目所示意的局面」
在你还没证明以前,使用任一个假设当前提,都是错的!
就好像你绝对不能做出「假设x^2=-1有实数解,所以sqrt(-1)是一个实数」这样
推论吧?
希望以上解释,能帮助大家更加了解逻辑之严谨,感谢大家看完..:)
--
— 请多指教喔!!
/\●/\ ))
(( / /▲\ \
\\ My Blog:
http://dreamyeh.pixnet.net/blog
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 111.243.167.38
※ 编辑: DreamYeh 来自: 111.243.167.38 (06/24 21:26)
1F:推 lighttodie:推荐这篇!!超认真 06/24 21:38
2F:→ terrorlone:非常完整的解释,符合我对你的期望 06/24 21:39
3F:推 pinkkate:这篇好棒,又学到许多!狂推!比前面不知在争啥好上百倍 06/24 21:54
4F:推 babufong:推这篇!脑袋不清不楚的我照着谱打过也明了了 06/24 22:35
5F:推 turtleqqq:推 你说的我懂啦.but死亡判定仍要假设局面"存在"吧! 06/25 00:21
6F:→ turtleqqq:如果要存在 不是一定要排谱才能证明吗? 06/25 00:22
7F:→ turtleqqq:ps. 需要假设局面合法这应该是我误解你的意思 06/25 00:24
8F:→ turtleqqq:那现在我想问一下,死亡判定不用排谱就能证明这题吗? 06/25 00:25
9F:推 pinkkate:楼上我会觉得问题在於你定义的"存在"是不是跟大家一样.. 06/25 00:32
10F:→ pinkkate:对我而言 存在是当然的 就跟说ptt是存在的一样 但不一定 06/25 00:33
11F:→ pinkkate:合法...这边大家也讨论"存在但不一定合法"蛮久的.. 06/25 00:33
12F:→ turtleqqq:恩 我看了上一篇误解成存在=合法 06/25 00:37
13F:→ turtleqqq:那这样就没问题了= = 06/25 00:37
14F:→ DreamYeh:用死亡判断的前提是"局面合法" 这唯一证法是排谱出来 只 06/25 00:51
15F:→ DreamYeh:是我之前都省略这一步..但其实这是必要的..这样了解吗@@? 06/25 00:52
16F:推 turtleqqq:阿 所以我没误解? 要用死亡判断 还是得假设局面已经合法 06/25 00:53
17F:→ DreamYeh:不是假设 是要证明合法 06/25 00:53
18F:→ turtleqqq:所以还是得排谱罗 06/25 00:54
19F:→ DreamYeh:这篇有说 "局面是否合法" 需要用证明 不能用假设.. 06/25 00:54
20F:→ turtleqqq:恩 那就没问题了 06/25 00:54
21F:→ turtleqqq:总结一下: 假设有解<-不行 假设合法但不用死亡判断>无法 06/25 00:55
22F:→ DreamYeh:确定完全了解了? 还有疑问还是欢迎提出唷:> 06/25 00:55
23F:→ turtleqqq:解题, 假设合法>用死亡判断,可解,须排谱证明 06/25 00:55
24F:→ DreamYeh:顺序应该是 排谱证明局面合法->从而可以用死亡判断->... 06/25 01:01
25F:推 kohttp:假设合法是必然的(过程不用去写假设),死亡判断是合用则用 06/25 01:02
26F:→ DreamYeh:嘎..楼上看一下7094那篇..题目局面合法不是必然的@@ 06/25 01:07
27F:→ DreamYeh:一句话总结.."局面可能非法 题目可能无解 一切都要证明" 06/25 01:12
28F:→ DreamYeh:无法参透这句话...就.....我先睡了XDDa 06/25 01:13
29F:推 kohttp:[假设题目合法]不代表题目不可能无解阿... 06/25 01:16
30F:→ kohttp:楼上应该明白[假设]在证明题中扮演的角色 06/25 01:17