是否可以证明11. 0-0-0 +在此职位上是合法的?


17

因为该棋盘上的棋子是从真实游戏中解脱而来的,而且给出了移动次数,所以潜在的求解器知道,每位玩家在完成10次移动后都达到了下一个位置。

NN-NN


有了这些信息,就可以证明上图中的11. 0-0-0 +是合法的吗?

(即,到目前为止,白国王和Ra1都没有移动)


在我看来,白色的总动作不足以花两步
“洗牌”,但我无法提供任何证明或反例游戏。


这可能更适用于puzzles.SE,但是当我搜索此站点时,我看到了许多逆行分析问题。这个位置是从这场比赛中取得的

因此,任务(如果选择接受)是提供一个示例游戏,该游戏在经过10次准确的移动后仍然具有上述位置,而0-0-0仍然是可能的。大概是白色动吗?
firtydank 2014年

6
号的“任务,如果一个人选择去接受它,是” 或者 “提供一个例子的游戏,其具有后恰好10移动上述位置和0-0-0是” “仍然是可能的” 证明白必须仍然被允许城堡。(移动是白色的。)

@Phonon:否。由于您对“冗余动作”的定义是全局的,而不是局部的,因此尚不清楚您的示例游戏实际上没有任何冗余的动作。

这个游戏是真实的游戏。最后一步是9. NxB(c5)dxc5 10. QxQ +(d8)KxQ 11. oo-o +
Mike Jones

Answers:


2

手动进行关于证明游戏的推理是很好的,但对于人类设计的可解决且包含有趣特征的职位而言,则更加有趣。除了最复杂的作品外,自动验证是所有作品的标准,通常由专门的引擎来完成,其中有一些可免费在线获得。

恕我直言,OP的最佳证明游戏引擎是Natch。跑了49.03秒,它发现了2493个“解决方案”,以精确地以10.0个动作到达该位置。它们都没有包含字符串e1,a1(或0-0-0!),因此White不可能在之前的比赛中失去连铸权。

注意:
(1)Natch报告合并结果的方式以减少报告的长度,因此实际的证明游戏数量超过2493个,但这并不影响结论。
(2)其他引擎呢?大力水手在这种职位上的表现并不是最好的,而欧几里得一旦发现没有独特的解决方案,便会终止。但是两者都是出色的引擎。


17

好了,在玩了几行之后,我终于找到一条线,表明在第11步中为白色打长城堡仍然是完全合法的,这是:

可能的11.OO-O +
1. e4 e5 2. Nf3 Nc6 3. c4 Rb8 4. d4 exd4 5. Nxd4 Bc5 6. Nxc6 dxc6
6 ... bxc6 7. Be3 d6 8. Bxc5 dxc5 9. Qxd8 + Kxd8 10. Nc3 Rxb2 11. OO- O +
7. Qxd8 + Kxd8 8. Be3 b6 9. Bxc5 bxc5 10. Nc3 Rxb2 11. OO-O +

添加了另一个延续,以b-pawn作为c6,获得相同的位置结果和所需的移动次数!

总而言之,由于我恰好在11个动作中到达了给定位置,并且没有玩过任何多余的动作(例如Nf3,然后又回到Ng1),这意味着所有播放的动作都是必要的,其顺序可以不同,但​​是要点是没有多余的举动来使用和破坏白色的铸造(例如,不可能的场景是在d1上交换黑色女王,Kxd1,然后黑人扮演Kxd8,而白色回到e1,但是比我展示的那行多花了2步,因此无法在此行之后的11个动作中到达您要查找的位置)

长话短说,这里极有可能出现低头现象,而黑棋在11个动作中什么也做不了,以防止我们低头并仍然设法达到我们想要的最终位置。有趣的是,+ 1。

或者,也可以只看最终位置并计算该位置必须发生的必要移动次数,我详细说明:牢记最终位置:让我们以布莱克的观点为例:需要棋子移动来获得最终位置位置:

  1. e5
  2. exd4(为什么在黑色上必须使用d4,而在e5上不使用白色,请参见下图)
  3. bxc6或dxc6
  4. b6或d6
  5. bxc5或dxc5,

发展举措:

  1. Nc6(要在c6上捕获,否则c6上不能有兵,而b8上不能有骑士)
  2. BC5(否则无法使用C5典当)
  3. Rb8(否则Rxb2永远不可能)

剩下的必要动作:女王d8捕获和典当b2捕获:

  1. 8天
  2. Rxb2

然后我们又回到了第11步,我们所做的只是考虑最简单的方法,使我们的作品最终可以显示在所示拼图中。

让我们看看是否通过另一条路径到达相同的位置,从而说明为什么exd4是到达最终位置最快的方法:

为什么黑色必须在d4而不是白色在e5:
1. e4 e5 2. Nf3 Nc6 3. c4 Rb8 4. d4 Bc5 5. dxe5 Nxe5 6. Nxe5 d6 7. Nc6 bxc6 8. Be3 Rxb2 9. Bxc5 dxc5 10. Qxd8 + Kxd8 11. Nc3

在这里我们处于第11步,我们仍然必须打Nc3 ...显然是因为我们打了2个黑色骑士步。

最后,让我们展示一下为什么在最快的位置到达最终位置,白色必须采用d8(女王交换)而不是相反的方法:

白色线条无法防御,但无法在10个必需的动作中达到最终位置(因此无法达到我们的目的)
1. e4 e5 2. Nf3 Nc6 3. c4 Rb8 4. d4 exd4 5. Nxd4 Bc5 6. Nxc6 dxc6 7. Nc3 Qxd1 + 8. Kxd1 b6 9. Be3 Kd8 10. Bxc5 bxc5 11. Ke1 Rxb2

我们在此行中输了2个白色棋王动作(在d1上捕捉,然后回到e1),因为白色,因此Rxb2仅在第11棋时发生。

因此表明,在10步之内通往最后位置的唯一路线是白人仍然必须能够占据优势的路线。

编辑:评论中讨论的元素的摘要:

在这个答案中给出的证明是纯粹基于推论的,在某种意义上,仅以11个动作到达位置而没有进行任何冗余(或对位置不敏感)的简单事实意味着应将11.OO-O +合法无一例外。

冗余在这里是什么意思?“多余的举动”:这里的定义是指不会使我们离最终位置更近甚至偏离我们的位置的举动。例如,播放Nf3,然后再返回Ng1,将是多余的。播放Be2然后回到Bf1将是多余的,依此类推。

要点是,您可能会想出任何变化,这将剥夺怀特的cast割权,势必会带来多余的举动,而这又会延迟几步到达最终位置。(作为练习,尝试一些想法,这很有趣,然后看看需要多少步。)

从组合学的角度来看这样的问题是可能的,但由于我们要研究由11个动作引起的动作深度(树线),因此太复杂了。相反,就像大多数国际象棋难题一样,人们必须从纯粹的启发式角度来看待它,并找到可以证明手头问题的正确思路。最后,在国际象棋中,通常可以更轻松地查找反例(通过矛盾证明),这就是为什么鼓励人们自己研究某些界线的原因。


4
从给出的问题可以明显看出,有可能以11个举动达到位置。所要求的是证明它不能更快​​地完成。
RemcoGerlich 2014年

5
不幸的是,此答​​案仅考虑“我们的作品可能最终以最直接的方式出现在所示拼图中的位置”,而不是所有可能的方式,因此没有给出证明。

4
我们没有得到“没有做任何多余的(或对位置不敏感的)移动”的位置。您如何证明黑人一定玩过e5?您如何证明黑人一定打过b6或d6?(而不是两次使用c6并在中间玩c5)您如何表明黑人的皇后骑士必须在c6上被俘获?(与移至a6或d7相对;我相信,基于此答案,我可以证明它没有在d8上捕获)。如何显示“否则c5典当是不可能的”?你如何证明黑后必须的捕捉?

4
从组合学的角度来看这样的问题是可能的,但由于我们要研究由11个动作引起的动作深度(树线),因此太复杂了。相反,就像大多数国际象棋难题一样,人们必须从纯粹的启发式角度来看待它,并找到可以证明手头问题的正确思路。最后,在国际象棋中,通常可以更轻松地查找反例(通过矛盾证明),这就是为什么我鼓励您自己研究某些问题的原因。我很高兴与您进一步讨论。
声子

3
作为物理学家,我认为这是充分的证明;)+1
Danu 2014年

3

我们可以推断出白人绝对必须采取的九个举动才能达到这个位置。

  • 将白色的棋子和其女王的骑士放到那里至少需要三步(总共3步)
  • c或d等级的棋子在移动后被捕获。这是另一招(共4个)
  • 无论是在c5和c6上捕获的碎片,都至少需要走两步才能到达那里。这是另外四个动作。(共8个)
  • 如果在c6中捕获的棋子不是怀特缺少的骑士(需要3步才能到达那里),则该骑士必须在d4中被e典当捕获,这意味着女王或主教必须在前往的途中将其捕获。捕获c文件,无论如何都增加了另一个动作(更不用说缺失的白色典当意味着什么了)。那是另一招。(共9个)

如果没有摆姿势,则该位置需要再进行两次移动(来回移动城堡或国王),并且无法将它们放进去。


您不是以黑人国王为首吗?从技术上讲,即使b和d静止不动,也有可能被捕获。
2014年

亲爱的Circeus,您只是重复我在答案中发布的列表中的元素。请尝试在您的论点中添加一些我尚未涵盖的原创内容。谢谢,请绝对不要将此视为冒犯。
声子

6
@Phonon我的解决方法不一样。您的研究着眼于黑人的举动,并推断出“没有多余的举动来使用和摧毁白人的cast势”。我的解决方案推论出白色没有多余的动作来回移动它的城堡或国王。
Circeus 2014年

@Wes我已经意识到这一点,并且在您评论时正在解决我的问题。
Circeus 2014年

3
是的,但是那是同一点,颠倒了,我没有添加白色的其他列表,因为这几乎是一个类似元素的列表,因为双方都不允许冗余...我也用一个示例进行了详细说明(最后图)。您的帖子是有效答案,但恐怕没有带来新内容,也许我错了。
声子

-4

抱歉,不,白色-无法在这个位置摆放皇后区。逆行分析与它无关。国际象棋的官方规则明确规定,在城堡(双方)中,无论国王还是移动的车队,都不允许越过受到威胁的广场。b2上的黑鸦毁了它。


7
车子允许通过一个受到威胁的广场。请检查FIDE的官方规则。
Glorfindel
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.