Phân tích hồi tố

Phân tích hồi tố bắt đầu từ một thế cờ và đặt câu hỏi về quá khứ của nó. Thay vì tính điều có thể xảy ra tiếp theo, phương pháp này dùng luật cờ vua để suy ra điều gì chắc chắn đã xảy ra, điều gì có thể đã xảy ra hoặc điều gì là bất khả thi.

Một thế cờ chính thống, tức dùng các luật cờ vua bình thường, được coi là hợp lệ nếu có thể đạt tới từ thế xuất phát bằng các nước hợp lệ. Từ yêu cầu đó, một bài toán hồi tố có thể hỏi nước cuối cùng là gì, quân nào đã bị bắt hoặc được phong cấp, bên nào đến lượt đi, hay các quyền đặc biệt như nhập thành hoặc bắt tốt qua đường còn tồn tại hay không dựa trên diễn biến trước đó. Mọi kết luận phải xuất phát từ các ràng buộc có thể kiểm chứng trên sơ đồ.

Một ván cờ chứng minh có liên hệ chặt chẽ: xây dựng một chuỗi nước hợp lệ dẫn tới sơ đồ chứng minh rằng con đường đó là khả thi. Phân tích hồi tố còn có thể chứng minh một số lịch sử là bất khả thi hoặc một sự kiện quá khứ là bắt buộc, điều không thể hiện được chỉ bằng cách tìm ra một ván cờ khả dĩ.