引擎失败的强制将死示例

您是否知道最近的国际象棋引擎（Houdini，Rybka，Komodo等）未能找到强制将军的例子。

我猜他们必须一直在1或2中找到伴侣，但也许有时候他们没有像人类一样富有创造力。

除了在桌脚和残局上的答案/评论中有荒谬的长时间强迫配偶之外，还应放置此答案。

怀特感动取胜（不幸的是，我不认识该研究的作者）。引擎将倾向于在此问题和类似问题上失败。据我尝试，所有建议都将hxg8 = Q移动。有些显示0.00，然后很快就陷入僵局。有些人对白人显示出一点优势，并试图让黑人激活他的棋子来玩游戏。在图表下方的扰流块中提供了进一步的解释（并提供解决方案的提示）。

说明剧透：

找不到强制配合，因为引擎使用修剪启发式方法。在认为某些分支与搜索结果无关之后，它将删除搜索树中的某些分支（请参阅：http : //chessprogramming.wikispaces.com/Pruning）。在这个难题的情况下，解决方案包括许多后续的牺牲，搜索时往往会舍弃其分支。注意：可能，通过提供经过调整的参数和配合搜索启发式（当提供所需的准确移动次数时），他们可以找到解决方案，但是我没有尝试过。

解决方案：

根据布莱克的举动选择，存在一些解决方案（想法始终是相同的，尽管直到第12步，行也始终是相同的）。下面是一个示例：1. hxg8 = N d5 2. Bf3 d4 + 3. Kb4 d3 4. Nh6 gxh6 5. g7 h5 6. g8 = N h4 7. Nf6 exf6 8. e7 f5 9. e8 = N f4 10. Nd6 cxd6 11. c7 d5 12. c8 = N dxc4 13. Nb6 c3 14. dxc3 d2 15. Kb3 d1 = Q 16. Rxd1 axb6 17. a7 b5 18. a8 = Q b4 19. Be2 bxc3 20. Bf1 c2 21. Rc1 f3 22. Qxf3 Bf2 23. Bxg2 +＃

有一些棘手的位置，看起来好像没有解决办法，但事实证明，白人必须能够接受。在这些位置，引擎可能会忽略配偶，因为它们没有关于最后一次黑棋的信息，而人类可以通过逆行分析来推断这些信息。

在这个位置上，不可能确定哪个变化导致匹配。只能证明两个变体中必须有一个伴侣。布莱克要么在最后一步移动了棋子，然后将传人带入队友。或者，他移动了国王或车行-然后国王e6导致队友，因为再也没有cast夫了。

编辑：另一个答案，对于所有实际目的都是不相关的：众所周知，由于有表数据库，那里有大量的强制检验对象，这远远超出了任何引擎的计算范围。当然，我们可以使用数据库来检测那些伙伴，但是不需要花太多的想象力，就可以知道数千种动作中是否存在强制将死的伙伴，这些现在还不是，而且可能永远不会存储在数据库中。