Częściowa analiza wsteczna

Analiza wsteczna rozumuje od diagramu ku przeszłości, aby ustalić, jaka legalna historia mogła doprowadzić do pozycji. Częściowa analiza wsteczna, czyli PRA, ma zastosowanie, gdy praw do określonych ruchów specjalnych nie można ustalić niezależnie.

Prawa te zwykle dotyczą możliwości wykonania roszady i bicia w przelocie. Roszada jest specjalnym ruchem, w którym król i wieża poruszają się razem, i wymaga między innymi, aby żadna z tych bierek wcześniej się nie poruszyła. W kompozycji uznaje się ją za dozwoloną, dopóki pozycja nie dowiedzie czegoś przeciwnego. Bicie w przelocie pozwala pionkowi bić tak, jakby pionek przeciwnika, który właśnie przesunął się o dwa pola z pola początkowego i stanął obok, przesunął się tylko o jedno pole. Jeżeli bicie w przelocie jest pierwszym ruchem rozwiązania, trzeba dowieść, że ten podwójny ruch był bezpośrednio poprzednim posunięciem.

Czasami historia potrzebna do zachowania jednego prawa wyklucza historię potrzebną do zachowania innego. Zamiast arbitralnie wybierać jedną wersję, PRA dzieli rozwiązanie na wzajemnie wykluczające się części. Każda część przyjmuje jeden spójny zestaw praw, a razem muszą one obejmować wszystkie możliwe kombinacje dopuszczone przez konwencje roszady i bicia w przelocie.

Gdy dwa prawa do roszady zależą od siebie

Jeżeli wzajemnie zależne prawa do roszady nie dają rozwiązania w PRA, stosuje się konwencję Retro-Strategy, oznaczaną skrótem RS. Pierwszą faktycznie wykonaną roszadę uznaje się wtedy za dozwoloną. Jest to formalny sposób rozwiązania zależności, a nie twierdzenie, że oba prawa współistniały w jednej historii.