Analisi retrograda parziale

L’analisi retrograda ragiona all’indietro dal diagramma per determinare quale storia legale possa avere prodotto la posizione. L’Analisi retrograda parziale, o PRA, si applica quando i permessi per determinate mosse speciali non possono essere stabiliti indipendentemente.

I permessi riguardano normalmente il diritto di arroccare e quello di catturare en passant. L’arrocco è la mossa speciale nella quale re e torre muovono insieme e richiede, tra le altre condizioni, che nessuno dei due abbia mosso in precedenza. Nella composizione è consentito a meno che la posizione dimostri il contrario. L’en passant permette a un pedone di catturare come se un pedone avversario, appena avanzato di due case dalla casa iniziale e arrivato al suo fianco, avesse mosso di una sola casa. Se l’en passant è la prima mossa della soluzione, il doppio avanzamento deve poter essere dimostrato come la mossa immediatamente precedente.

Talvolta la storia necessaria a conservare un diritto esclude quella necessaria a conservarne un altro. Invece di scegliere arbitrariamente una versione, PRA divide la soluzione in parti reciprocamente esclusive. Ogni parte assume una combinazione coerente di diritti e, considerate insieme, le parti devono coprire ogni combinazione possibile consentita dalle convenzioni di arrocco ed en passant.

Quando due diritti di arrocco dipendono l’uno dall’altro

Se diritti di arrocco reciprocamente dipendenti non producono alcuna soluzione con PRA, si applica la convenzione Retro-Strategy, abbreviata RS. Il primo arrocco effettivamente giocato viene allora considerato consentito. È un metodo formale per risolvere la dipendenza, non l’affermazione che entrambi i diritti siano coesistiti nella stessa storia.