因为该棋盘上的棋子是从真实游戏中解脱而来的,而且给出了移动次数,所以潜在的求解器知道,每位玩家在完成10次移动后都达到了下一个位置。
有了这些信息,就可以证明上图中的11. 0-0-0 +是合法的吗?
(即,到目前为止,白国王和Ra1都没有移动)
在我看来,白色的总动作不足以花两步
“洗牌”,但我无法提供任何证明或反例游戏。
因为该棋盘上的棋子是从真实游戏中解脱而来的,而且给出了移动次数,所以潜在的求解器知道,每位玩家在完成10次移动后都达到了下一个位置。
有了这些信息,就可以证明上图中的11. 0-0-0 +是合法的吗?
(即,到目前为止,白国王和Ra1都没有移动)
在我看来,白色的总动作不足以花两步
“洗牌”,但我无法提供任何证明或反例游戏。
Answers:
手动进行关于证明游戏的推理是很好的,但对于人类设计的可解决且包含有趣特征的职位而言,则更加有趣。除了最复杂的作品外,自动验证是所有作品的标准,通常由专门的引擎来完成,其中有一些可免费在线获得。
恕我直言,OP的最佳证明游戏引擎是Natch。跑了49.03秒,它发现了2493个“解决方案”,以精确地以10.0个动作到达该位置。它们都没有包含字符串e1,a1(或0-0-0!),因此White不可能在之前的比赛中失去连铸权。
注意:
(1)Natch报告合并结果的方式以减少报告的长度,因此实际的证明游戏数量超过2493个,但这并不影响结论。
(2)其他引擎呢?大力水手在这种职位上的表现并不是最好的,而欧几里得一旦发现没有独特的解决方案,便会终止。但是两者都是出色的引擎。
好了,在玩了几行之后,我终于找到一条线,表明在第11步中为白色打长城堡仍然是完全合法的,这是:
添加了另一个延续,以b-pawn作为c6,获得相同的位置结果和所需的移动次数!
总而言之,由于我恰好在11个动作中到达了给定位置,并且没有玩过任何多余的动作(例如Nf3,然后又回到Ng1),这意味着所有播放的动作都是必要的,其顺序可以不同,但是要点是没有多余的举动来使用和破坏白色的铸造(例如,不可能的场景是在d1上交换黑色女王,Kxd1,然后黑人扮演Kxd8,而白色回到e1,但是比我展示的那行多花了2步,因此无法在此行之后的11个动作中到达您要查找的位置)
长话短说,这里极有可能出现低头现象,而黑棋在11个动作中什么也做不了,以防止我们低头并仍然设法达到我们想要的最终位置。有趣的是,+ 1。
或者,也可以只看最终位置并计算该位置必须发生的必要移动次数,我详细说明:牢记最终位置:让我们以布莱克的观点为例:需要棋子移动来获得最终位置位置:
发展举措:
剩下的必要动作:女王d8捕获和典当b2捕获:
然后我们又回到了第11步,我们所做的只是考虑最简单的方法,使我们的作品最终可以显示在所示拼图中。
让我们看看是否通过另一条路径到达相同的位置,从而说明为什么exd4是到达最终位置最快的方法:
在这里我们处于第11步,我们仍然必须打Nc3 ...显然是因为我们打了2个黑色骑士步。
最后,让我们展示一下为什么在最快的位置到达最终位置,白色必须采用d8(女王交换)而不是相反的方法:
我们在此行中输了2个白色棋王动作(在d1上捕捉,然后回到e1),因为白色,因此Rxb2仅在第11棋时发生。
因此表明,在10步之内通往最后位置的唯一路线是白人仍然必须能够占据优势的路线。
编辑:评论中讨论的元素的摘要:
在这个答案中给出的证明是纯粹基于推论的,在某种意义上,仅以11个动作到达位置而没有进行任何冗余(或对位置不敏感)的简单事实意味着应将11.OO-O +合法无一例外。
冗余在这里是什么意思?“多余的举动”:这里的定义是指不会使我们离最终位置更近甚至偏离我们的位置的举动。例如,播放Nf3,然后再返回Ng1,将是多余的。播放Be2然后回到Bf1将是多余的,依此类推。
要点是,您可能会想出任何变化,这将剥夺怀特的cast割权,势必会带来多余的举动,而这又会延迟几步到达最终位置。(作为练习,尝试一些想法,这很有趣,然后看看需要多少步。)
从组合学的角度来看这样的问题是可能的,但由于我们要研究由11个动作引起的动作深度(树线),因此太复杂了。相反,就像大多数国际象棋难题一样,人们必须从纯粹的启发式角度来看待它,并找到可以证明手头问题的正确思路。最后,在国际象棋中,通常可以更轻松地查找反例(通过矛盾证明),这就是为什么鼓励人们自己研究某些界线的原因。
我们可以推断出白人绝对必须采取的九个举动才能达到这个位置。
如果没有摆姿势,则该位置需要再进行两次移动(来回移动城堡或国王),并且无法将它们放进去。
抱歉,不,白色-无法在这个位置摆放皇后区。逆行分析与它无关。国际象棋的官方规则明确规定,在城堡(双方)中,无论国王还是移动的车队,都不允许越过受到威胁的广场。b2上的黑鸦毁了它。