局部逆向分析

逆向分析从图式向前史倒推，以确定什么样的合法历史可能产生该局面。局部逆向分析，简称 PRA，适用于某些特殊着法的许可无法彼此独立确定的情况。

这些许可通常涉及王车易位权和吃过路兵权。王车易位是王与车共同移动的特殊着法，其条件之一是两者此前都未移动过。在作题中，除非局面能证明不允许，否则默认可以易位。吃过路兵允许一枚兵吃掉刚从初始格前进两格并停在它旁边的敌兵，效果如同该敌兵只前进了一格。如果吃过路兵是解答首着，就必须能够证明该两格推进正是紧接图式之前的一着。

有时，保留一种权利所需的历史会排除保留另一种权利所需的历史。PRA 不会任意选择一个版本，而是把解答划分为相互排斥的部分。每一部分采用一种内部一致的权利组合，所有部分合在一起必须覆盖王车易位与吃过路兵约定所容许的每一种可能组合。

两项易位权相互依赖时

如果相互依赖的易位权在 PRA 下无法产生解答，则适用 Retro-Strategy 约定，简称 RS。实际首先执行的王车易位将被视为允许。这是一种解决依赖关系的正式方法，并不表示两项权利曾在同一段历史中同时存在。