부분 역행 분석

역행 분석은 다이어그램에서 거꾸로 추론해 어떤 합법적 이력이 현재 포지션을 만들 수 있었는지 판단한다. 부분 역행 분석, 즉 PRA는 특정 특수 수의 허용 여부를 서로 독립적으로 확정할 수 없을 때 적용한다.

관련된 권리는 보통 캐슬링 권리와 앙파상으로 잡을 권리다. 캐슬링은 킹과 룩이 함께 움직이는 특별한 수이며, 두 기물이 이전에 움직이지 않았어야 한다는 조건 등이 있다. 체스 컴포지션에서는 포지션이 캐슬링 권리가 없음을 증명하지 않는 한 캐슬링을 허용한다고 본다. 앙파상은 시작 칸에서 두 칸 전진해 바로 옆에 도착한 상대 폰을 한 칸만 전진한 것처럼 잡는 폰의 특수 잡기다. 앙파상이 해법의 첫 수라면, 그 두 칸 전진이 바로 직전 수였음을 증명할 수 있어야 한다.

때로는 한 권리를 유지하는 데 필요한 이력이 다른 권리를 유지하는 데 필요한 이력을 배제한다. PRA는 임의로 한 이력을 고르는 대신 해법을 서로 배타적인 부분들로 나눈다. 각 부분은 일관된 권리 조합 하나를 가정하며, 전체 부분은 캐슬링과 앙파상 규약이 허용하는 모든 가능한 조합을 포괄해야 한다.

두 캐슬링 권리가 서로 의존할 때

서로 의존하는 캐슬링 권리 때문에 PRA 아래에서 해법이 나오지 않으면 Retro-Strategy 규약, 약칭 RS를 적용한다. 이 경우 실제로 먼저 실행된 캐슬링을 허용된 것으로 본다. 이는 의존성을 해결하는 형식적 방법이지, 두 권리가 하나의 이력에서 함께 존재했다는 뜻은 아니다.