Math Labs

Bài 4

Cho nn và kk là hai số nguyên dương. Cathy chơi trò chơi sau. Có nn viên bi và kk chiếc hộp, các viên bi được đánh số từ 11 đến nn. Ban đầu, tất cả các viên bi nằm trong một hộp. Mỗi lượt, Cathy chọn một hộp rồi chuyển viên bi có nhãn nhỏ nhất, giả sử là ii, sang một hộp trống bất kỳ hoặc sang hộp đang chứa viên bi i+1i+1. Cathy thắng nếu tại một thời điểm nào đó có một hộp chỉ chứa duy nhất viên bi nn. Xác định mọi cặp số nguyên (n,k)(n,k) sao cho Cathy có thể thắng trò chơi này.
Bước 1 trên 4: Bất biến đoạn liên tiếp và tính khả nghịch
Every non-empty box holds a consecutive interval {a,a+1,…,b}; moves are reversible\text{Every non-empty box holds a consecutive interval }\{a,a+1,\ldots,b\};\ \text{moves are reversible}
Phân tích chi tiết

Ban đầu hộp xuất phát chứa {1,…,n}\{1,\ldots,n\}. Vì Cathy luôn chỉ lấy phần tử nhỏ nhất của một hộp rồi đặt vào hộp trống hoặc ghép vào phần tử nhỏ nhất i+1i+1 của hộp khác, mỗi hộp khác rỗng luôn chứa một đoạn nhãn liên tiếp, và phép đảo ngược của mọi nước đi hợp lệ cũng hợp lệ.