Postanowiłem rozszerzyć to na bardziej ogólny przegląd zastosowania silników do różnych podgatunków retro.
Silniki szachowe (np. Stockfish) są dobre w wypróbowywaniu wszystkich ruchów w przyszłości w pozycji, ale słynie z złej abstrakcji ogólnych cech, takich jak fortece.
W ten sam sposób możesz łatwo spróbować cofnąć możliwe najmniejsze ruchy, po prostu zmuszając pionki do ruchu do tyłu, wykluć przeciwne elementy zamiast je przejmować i uciekać z dala od przeciwnych królów, którzy ich „sprawdzają”. Trudność polega na wyodrębnieniu ogólnych cech, aby dowiedzieć się, czy pozycję można wyprowadzić z pozycji wyjściowej. Rozróżnienie między ruchami prawnymi a pozycjami legalnymi jest tutaj kluczem i jest to rozróżnienie również w przepisach FIDE.
Gry sprawdzające Jedna domena retro, która odniosła wielki sukces w zakresie silników to gry dowodowe. Są jak problemy retro, z tym wyjątkiem, że otrzymałeś dodatkowe informacje o spodziewanej liczbie ruchów. To pojęcie zegara ogromnie upraszcza proces retro, w podobny sposób, w jaki można wydedukować gry Othello, ponieważ zna się dokładną liczbę ruchów. Niektórzy uważają je za warunki do przodu, ponieważ zaczynasz od tablicy gry i możesz grać do przodu, ale są one ogólnie postrzegane jako retros. Wiodącymi silnikami w tej przestrzeni są Natch, Euclide, Popeye i Jacobi dla problemów z wróżkami.
Ogólne retros Jest mniej silników do ogólnych problemów retro. Działają one, umożliwiając rozwiązującemu określenie ograniczeń, które są wywnioskowane przez człowieka rozwiązującego. Jacobi robi to w ramach pewnej teoretycznej liczby ruchów, ale najlepsze, co znam, to enigmatyczny Rawbats, narzędzie używane tylko przez jego twórcę Mario Richtera i znane tylko z wyników w zwiększaniu umiejętności programisty.
Retraktory dla współpracowników Dla kogoś, kto potrafi skomputeryzować, istnieje duża szansa na zbudowanie prostego mechanizmu wycofywania, który po prostu próbuje wycofać ostatnie ruchy, nie martwiąc się o globalną legalność, a następnie gra naprzód jak zwykły silnik problemów. Taki silnik, w połączeniu z odrobiną ludzkiego zdrowego rozsądku, byłby w stanie zweryfikować setki kompozycji retraktorów pomocniczych, których obecnie nie można przetestować.
Na koniec chcę wspomnieć o dwóch obszarach retros, które są mniej podatne na silnik napaść.
Problemy oparte na konwencjach Jedna z nich to domena konwencji retro: roszady, en passant i innych pokrewnych zasad. Nie wykonano połączenia logicznego systemu rozumowania z silnikiem szachowym, aw niektórych przypadkach istnieją głębokie niejednoznaczności w samych konwencjach. Ta praca jest zwykle pozostawiona człowiekowi do rozwiązania, ale w zasadzie, jeśli konwencje mogłyby być logicznie ugruntowane, byłby to interesujący temat badawczy.
Retraktory obronne Inny trudny gatunek kompozycji retro zawiera wysoce technicznych przeciwników defensywnych różnego rodzaju. Zasadniczo polegają one na grze w szachy wstecz w konkurencyjny sposób, a kwestie legalności pozycji są zwykle kluczem, bez którego problemy kompozycje nie mają sensu.