問題. ABC013 D:阿弥陀
本の縦線と
本の横線からなるあみだくじが与えられる.このあみだくじを縦に
個つなげる.左から
番目の縦線を選んであみたくじを行ったときの結果が下端で左から何番目にあるのかを答えよ.
制約: ,
,
あみだくじと置換の関係
ここ を参考に説明をする.
集合 に対して,
から
への全単射を置換と呼ぶ.写像
を左から
番目の縦線を選んであみだくじを行ったときの結果が左から
番目であると定義すると
は置換である.すなわち,任意のあみだくじに対してある置換が唯一に存在する.ただし,任意の置換に対してその置換を構成するようなあみだくじは複数ありうるので注意が必要である(しかし,横線の数の偶奇は一致:互換の数の偶奇性).
上の置換全体は写像の合成を演算子として群をなしており 対称群 と呼ばれている.また,
上の置換を集めた集合も群をなしており 置換群 と呼ばれている.ここで,与えられたあみだくじに対応する置換を
とする.
は恒等置換から始めて上から順番に横線
に対して
と
を交換することによって構成できる(隣接互換の積).求める答えは置換群の言葉で言うと
を求めることである.
解法1. 冪乗法
を求めるのに冪乗法を使用する.ちなみに,冪乗法は結合法則を満たせば使用できる(群は定義より満たす).
を構成するのに
時間,2つの置換の積を計算するのに
時間で,
を計算するときの積の回数は冪乗法を用いて
回である.したがって,全体で
時間で答えを求めることができる.
計算時間:
解法2.巡回記法
を巡回記法で表す.巡回記法とは置換を互いに素な巡回置換の積で表したものである.
を頂点集合として,
から
へ弧を張ることによって構成される有向グラフ
とする.このとき,
が置換であることから,各頂点の入次数と出次数はちょうど1である.すなわち,
の各強連結成分は自己ループのみからなる1頂点か,有向閉路のいずれかである.
の各有向閉路は
の巡回記法のある巡回置換に対応する.
は
上で頂点
から隣接する頂点へ移動することを
回繰返して到達できる頂点と一致する.したがって,各有向閉路
に対して,
の値は
となる.
計算時間:
巡回記法は有向グラフを意識すると分かりやすくなった