Beispiele für erzwungene Schachmatt, bei denen Motoren ausfallen

Kennen Sie ein Beispiel, in dem die jüngsten Schach-Engines (Houdini, Rybka, Komodo, ...) keinen erzwungenen Schachmatt gefunden haben?

Ich denke, sie müssen die ganze Zeit in 1 oder 2 Partner finden, aber vielleicht sind sie manchmal nicht so kreativ wie Menschen.

Setzen Sie diese Antwort zusätzlich zu den Antworten / Kommentaren zu Tabellen und Endspielen mit lächerlich langen Zwangskameraden.

Weiß, um sich zu bewegen und zu gewinnen (den Autor dieser Studie kenne ich leider nicht). Die Motoren neigen dazu, bei diesem und ähnlichen Problemen zu versagen. Soweit ich es versucht habe, empfehlen alle, hxg8 = Q zu verschieben. Einige zeigen 0,00 und bringen bald darauf Schwarz in eine Pattsituation; Einige zeigen einen leichten Vorteil für Weiß und versuchen, das Spiel zu spielen, indem sie Schwarz seine Figuren aktivieren lassen. Weitere Erläuterungen (und Hinweise zur Lösung) finden Sie im Spoilerblock unter dem Diagramm.

Erklärung Spoiler:

Der erzwungene Partner wird nicht gefunden, da die Motoren eine Schnittheuristik verwenden. Bestimmte Zweige werden aus dem Suchbaum entfernt, nachdem sie für das Suchergebnis als irrelevant eingestuft wurden (siehe: http://chessprogramming.wikispaces.com/Pruning ). Im Falle dieses Puzzles besteht die Lösung aus vielen nachfolgenden Opfern und ihr Zweig wird bei der Suche häufig verworfen. Hinweis: Möglicherweise könnten sie mit optimierten Parametern und einer Heuristik für die Partner-Suche, wenn die genaue Anzahl der erforderlichen Züge angegeben ist, die Lösung finden, aber das habe ich nicht versucht.

Lösungsspoiler:

Abhängig von den Bewegungsoptionen von Schwarz gibt es einige Lösungen (die Idee ist jedoch immer dieselbe und bis zum 12. Schritt ist die Linie auch immer dieselbe). Hier ist ein Beispiel: 1. hxg8 = N d5 2. Bf3 d4 + 3. Kb4 d3 4. Nh6 gxh6 5. g7 h5 6. g8 = N h4 7. Sf6 exf6 8. e7 f5 9. e8 = N f4 10. Sd6 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. Tc1 f3 22. Dxf3 Bf2 23. Bxg2 + #

Es gibt einige knifflige Positionen, in denen es so aussieht, als gäbe es keine Lösung, aber dann stellt sich heraus, dass Weiß in der Lage sein muss, en passant einzutreten. In diesen Positionen können Motoren den Partner übersehen, da sie nicht über die Informationen zum letzten schwarzen Zug verfügen, während ein Mensch diese Informationen durch retrograde Analyse ableiten kann.

In dieser Position ist es unmöglich zu bestimmen, welche Variation zu einer Paarung in zwei führt. Es kann nur gezeigt werden, dass es einen Partner in zwei Variationen geben muss. Entweder hat Schwarz den Bauern bei seinem letzten Zug bewegt - dann führt en passant zur Paarung. Oder er hat seinen König oder Turm bewegt - dann führt König e6 zum Partner, da keine Rochade mehr möglich ist.

Bearbeiten: Eine andere Antwort, die für alle praktischen Zwecke genauso irrelevant ist: Wie wir alle dank Tischgestellen wissen, gibt es eine große Anzahl von erzwungenen Schachmatt da draußen, die weit über den Berechnungshorizont eines Motors hinausgehen. Natürlich können wir Tischbasen verwenden, um diese Partner zu erkennen, aber es erfordert keine große Vorstellungskraft, um die Existenz von erzwungenen Schachmatt über Tausende von Zügen anzuerkennen, die es jetzt nicht gibt und die wahrscheinlich nie in einer Tischbasis gespeichert werden .