MathLabs

Bài 1

Ngân hàng Oslo phát hành hai loại xu: nhôm (ký hiệu AA) và đồng (ký hiệu BB). Marianne có nn xu nhôm và nn xu đồng xếp thành một hàng theo một thứ tự ban đầu bất kỳ. Một chuỗi là bất kỳ dãy con nào gồm các xu liên tiếp cùng loại. Với một số nguyên dương cố định k≤2nk\le2n, Marianne liên tục thực hiện thao tác sau: xác định chuỗi dài nhất chứa xu thứ kk từ trái sang, rồi chuyển tất cả các xu trong chuỗi đó về đầu bên trái của hàng. Tìm tất cả các cặp (n,k)(n,k) với 1≤k≤2n1\le k\le2n sao cho với mọi thứ tự ban đầu, tại một thời điểm nào đó trong quá trình, nn xu ngoài cùng bên trái đều cùng một loại.
Bước 1 trên 5: Loại trừ k<nk<n bằng một cách sắp xếp bất biến
Hiểu nôm na

Nếu kk nhỏ, một cách sắp xếp có thể giữ xu thứ kk mãi mãi bên trong một chuỗi quá ngắn để không bao giờ đạt tới đầu trái một cách đầy đủ.

A…A B…B AA\ldots A\,B\ldots B\,A
Phân tích chi tiết

Với k<nk<n, lấy cách sắp xếp ban đầu A…A B…B AA\ldots A\,B\ldots B\,A (một khối các xu AA, rồi tất cả nn xu BB, rồi một xu AA cuối cùng), chọn sao cho xu thứ kk luôn nằm trong chuỗi AA dẫn đầu dài; thực hiện thao tác di chuyển chính chuỗi đó lên đầu và cách sắp xếp không đổi, nên nn xu ngoài cùng bên trái không bao giờ cùng loại.