Wystarczyłaby właściwie każda wystarczająco skomplikowana pozycja tabeli końcowej gry (wiele zakończeń 6-osobowych, niektóre zakończenia 5-osobowe, a może nawet niektóre długie zakończenia KQvKR): według podstaw tabeli wiemy, że niektóre pozycje są wymuszonymi matami (w 30, 50, 100 lub jeszcze więcej ruchów), ale silniki bez pomocy stolików nie znajdą ich w rozsądnym czasie. Czy chcesz je uwzględnić, czy tylko te, w których człowiek może udowodnić przymusowego partnera bez pomocy komputera?
JiK
Rozumiem twój punkt na temat pozycji na stole, dzięki. Moje pytanie nie ograniczyło konkretnie miejsca, w którym potrzebujemy pomocy komputera.
Tanj
Jest to trochę trudne, ale istnieje możliwość powtórzenia (dwa lub trzy razy), wiele programów szachowych może dopuszczać partnerów w jednym. Zobacz pozycję 330 na tym blogu: timkr.home.xs4all.nl/chess2/diary_17.htm Dziesięć lat później nie jestem pewien, czy większość programów rozwiązała ten problem.
Evargalo
Odpowiedzi:
10
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.
NN - NN
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 + #
Nie mogę znaleźć gdzie jest rozwiązanie tej układanki?
Salvador Dali,
1
@SalvadorDali Dodano rozwiązanie w poście.
GloriaVictis,
Gdzie jest partner biały po 22 ... Bc5 +, a następnie 23 ... Qg1?
GrizzlyRawrz
@GrizzlyRawrz Wydaje mi się, że jestem winny opublikowania problemu (z mojego klubu szachowego) i nie znam jego rozwiązania - to była moja, najwyraźniej nieudana, próba. Przeprosiny! Niezależnie od tego pozostała część odpowiedzi - motyw i komentarz na temat silników stoi (właściwie, był częścią rozmowy tego wieczoru). Przypuszczam, że sami musicie znaleźć rzeczywiste rozwiązanie!
GloriaVictis
@GrizzlyRawrz Po 22 ... BC5 + Sztokfisz daje rozwiązanie dla kolegi w 14. Zaczyna się 23. KB3 QG1, 24. Bxg2 + kh2 25. Rxg1 Bxg1
JVA
4
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.
NN - NN
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 .
Technicznie ( xkcd.com/1475 ), to rzeczywiście odpowiada na pytanie, ponieważ pytanie nie wymaga „pozycji”, ale „przykładów” - zwykle definicja „pozycji” wymaga również określenia praw roszących lub en passant.
JiK
3
„Technicznie” definicja „pozycji” rzeczywiście wymaga specyfikacji praw rycynowych lub en passant. Ale w tym przypadku pytania i odpowiedzi były oczywiście inspirowane przez chess.stackexchange.com/questions/8400/…
Odpowiedzi:
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:
Spoiler rozwiązania:
źródło
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 .
źródło