MathLabs

Problem 1

The Bank of Oslo issues two types of coin: aluminium (denoted AA) and bronze (denoted BB). Marianne has nn aluminium coins and nn bronze coins arranged in a row in some arbitrary initial order. A chain is any subsequence of consecutive coins of the same type. Given a fixed positive integer k≤2nk\le2n, Marianne repeatedly performs the following operation: she identifies the longest chain containing the kk-th coin from the left, and moves all coins in that chain to the left end of the row. Find all pairs (n,k)(n,k) with 1≤k≤2n1\le k\le2n such that for every initial ordering, at some moment during the process, the leftmost nn coins will all be of the same type.
Step 5 of 5: State the final answer
(n,k): n≤k≤⌈3n/2⌉(n,k):\ n\le k\le\lceil3n/2\rceil
Detailed analysis

Combining the two impossibility constructions with the merging argument, the pairs that always succeed are exactly those with n≤k≤⌈3n/2⌉n\le k\le\lceil3n/2\rceil.