Bài 1
Ngân hàng Oslo phát hành hai loại xu: nhôm (ký hiệu ) và đồng (ký hiệu ). Marianne có xu nhôm và 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 , 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ứ 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 với sao cho với mọi thứ tự ban đầu, tại một thời điểm nào đó trong quá trình, 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ừ bằng một cách sắp xếp bất biến
Hiểu nôm na
Nếu nhỏ, một cách sắp xếp có thể giữ xu thứ 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 đủ.
Phân tích chi tiết
Với , lấy cách sắp xếp ban đầu (một khối các xu , rồi tất cả xu , rồi một xu cuối cùng), chọn sao cho xu thứ luôn nằm trong chuỗi 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 xu ngoài cùng bên trái không bao giờ cùng loại.