MathLabs

第1問

オスロ銀行はアルミニウム貨(AA と表す)と青銅貨(BB と表す)の二種類の硬貨を発行している。マリアンヌは nn 枚のアルミニウム貨と nn 枚の青銅貨を任意の初期順序で一列に並べている。チェーンとは同じ種類の連続する硬貨からなる部分列のことである。固定された正の整数 k≤2nk\le2n に対して、マリアンヌは次の操作を繰り返し行う。左から kk 番目の硬貨を含む最長のチェーンを特定し、そのチェーンに含まれるすべての硬貨を列の左端に移動する。すべての初期順序に対して、操作の過程のある時点で左端の nn 枚がすべて同じ種類になるような組 (n,k)(n,k)(1≤k≤2n1\le k\le2n)をすべて求めよ。
ステップ 3/5: kk がチェーンの内部にあれば二つのチェーンが融合する
ざっくり言うと

中間のチェーンを前方へ移動すると、それに隣接する同種の二つのチェーンが一つに結合するので、チェーンの総数は減ることしかできない。

B1=[l′,l−1],B2=[m+1,m′]B_1=[l',l-1],\quad B_2=[m+1,m']
詳しい解説

kk が l>1l>1、m<2nm<2n(最初でも最後でもないチェーン)を満たすチェーン [l,m][l,m] の内部にあるとする。[l,m][l,m] を前方へ移動すると、その直前のチェーン B1=[l′,l−1]B_1=[l',l-1] と直後のチェーン B2=[m+1,m′]B_2=[m+1,m'] が隣接するようになる。B1B_1 と B2B_2 は同じ硬貨の種類なので一つのチェーンに融合し、チェーンの総数は厳密に減少する。