MathLabs

第6問

円周上に nn 個のランプ L0,…,Ln−1L_0,\ldots,L_{n-1} があり、n>1n>1、Ln+k=LkL_{n+k}=L_k とする。ステップ sis_i では、Li−1L_{i-1} が点灯していれば LiL_i を反転し、そうでなければ何もしない。初めは全ランプが点灯している。(a) ある正整数 M(n)M(n) が存在し、M(n)M(n) 回後に全点灯へ戻ることを示せ。(b) n=2kn=2^k なら M(n)=n2−1M(n)=n^2-1 とできることを示せ。(c) n=2k+1n=2^k+1 なら M(n)=n2−n+1M(n)=n^2-n+1 とできることを示せ。
ステップ 2/5: 1 周の線形写像
ざっくり言うと

無限に見える過程は有限線形力学系である。

T(x0,…,xn−1)=(y0,…,yn−1)T(x_0,\ldots,x_{n-1})=(y_0,\ldots,y_{n-1})
詳しい解説

この漸化式は 2^n 個の二進状態からなる有限ベクトル空間上の線形写像 T を定める。元の過程は座標更新を周期的に行い、n ステップ写像が T である。