Điều kiện logic và bất biến

Dựng mô hình, giải thích vì sao áp dụng được và kiểm tra kết quả.

Chuyển mỗi phát biểu thành một điều kiện rõ ràng và thử nó trên một cách sắp xếp cụ thể.

Dùng bảng loại trừ cho bài ghép đôi một-một và giải thích vì sao mỗi ô bị loại.

Tìm một đại lượng mà mọi bước đi được phép đều giữ nguyên và dùng nó để chứng tỏ không thể đạt trạng thái đích.

Chứng minh giá trị nhỏ nhất gồm hai phần: chỉ ra cách đạt được giá trị đó và lập luận rằng không thể nhỏ hơn.