Wymuszone przykłady matematycznych, w których zawodzą silniki

Czy znasz przykład, w którym ostatnie silniki szachowe (Houdini, Rybka, Komodo, ...) nie znalazły przymusowego mat.

Sądzę, że muszą cały czas znajdować partnera w 1 lub 2, ale może czasami nie są tak kreatywni jak ludzie.

Umieszczenie tej odpowiedzi w uzupełnieniu odpowiedzi / komentarzy dotyczących tabel i gier końcowych z absurdalnie długimi przymusowymi partnerami.

Biały się porusza i wygrywa (niestety nie znam autora tego opracowania). Silniki będą miały tendencję do awarii tego i podobnych problemów. O ile próbowałem, wszyscy zalecają przeniesienie hxg8 = Q. Niektóre pokazują 0,00, a wkrótce potem staną się czarne w impasie; niektórzy wykazują niewielką przewagę dla białych i starają się grać w tę grę, pozwalając czarnym aktywować swoje pionki. Dalsze wyjaśnienia (i podpowiedź do rozwiązania) podane w bloku spoilera pod schematem.

Wyjaśnienie spoiler:

Wymuszonego wiązania nie znaleziono, ponieważ silniki wykorzystują heurystykę przycinania. Usuwa niektóre gałęzie z drzewa wyszukiwania, po uznaniu ich za nieistotne dla wyniku wyszukiwania (patrz: http://chessprogramming.wikispaces.com/Pruning ). W przypadku tej łamigłówki rozwiązanie składa się z wielu kolejnych poświęceń, a jego gałąź zwykle odrzuca się podczas wyszukiwania. Uwaga: Być może przy poprawionych parametrach i heurystyce wyszukiwania wiązań, gdy podano dokładną liczbę wymaganych ruchów, mogliby znaleźć rozwiązanie, ale nie próbowałem tego.

Spoiler rozwiązania:

W zależności od wyboru ruchów czarnych istnieje kilka rozwiązań (pomysł jest zawsze taki sam, ale aż do ruchu 12 linia jest zawsze taka sama). Oto przykład: 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 + #

Istnieją pewne trudne pozycje, w których wygląda na to, że nie ma rozwiązania, ale potem okazuje się, że biały musi być w stanie przyjąć pasywnie. W tych pozycjach silniki mogą przeoczyć partnera, ponieważ nie mają informacji o ostatnim czarnym ruchu, podczas gdy człowiek może wydedukować te informacje na podstawie analizy wstecznej.

W tej pozycji nie można ustalić, która odmiana prowadzi do wiązania na pół. Można tylko wykazać, że partner musi być w dwóch odmianach. Albo czarny poruszył pionkiem w swoim ostatnim ruchu - a następnie przejmując pasywnie prowadzi do partnera. Albo przeniósł swojego króla lub wieżę - wtedy król e6 prowadzi do partnera, ponieważ nie ma już możliwości roszowania.

Edycja: Inna odpowiedź, która jest równie nieistotna dla wszystkich praktycznych celów: jak wszyscy wiemy dzięki bazom tabel, istnieje duża liczba wymuszonych mat, które są daleko poza horyzontem obliczeniowym dowolnego silnika. Oczywiście możemy użyć podstaw tabeli do wykrycia tych partnerów, ale nie wymaga to żadnej wyobraźni, aby potwierdzić istnienie przymusowych mat w przypadku tysięcy ruchów, których nie ma teraz i prawdopodobnie nigdy nie będą przechowywane w bazie tabeli .