Suy luận logic, quy luật và điều kiện

Nhận ra mô hình, giải thích quy tắc và tự giải bài.

Viết lại mỗi phát biểu thành một điều kiện có thể kiểm tra trên từng cách sắp xếp.

Dùng bảng để loại trừ trong bài ghép đôi một-một, và giải thích vì sao mỗi cặp được xác nhận.

Tìm một đại lượng không thay đổi qua mọi bước được phép, rồi dùng nó để chứng tỏ không thể đạt được trạng thái đích.

Chứng minh giá trị nhỏ nhất gồm hai phần: đưa ra ví dụ đạt giá trị đó và giải thích vì sao không thể ít bước hơn.