Đường đi, trò chơi và tối ưu

Tìm trạng thái hợp lệ, đếm đường và chứng minh chiến lược bằng cận, cách dựng và xét hết trường hợp.

Mô tả trạng thái và phân biệt đếm với tối ưu.

Chứng minh cận và dựng cách hợp lệ đạt cận.

Kiểm tra mọi nhánh của chiến lược hữu hạn.