ほぼ自分用のメモなので色々雑かも.
問題
問題文
円周上に 個の玉が等間隔で並んでおり,それぞれの玉に色を塗ることを考える.色は の 色があり,複数の玉を同じ色で塗ってもよいし,使われない色があってもよい.玉に色を塗る方法の数を で求めよ.ただし,回転や裏返しによって一致する塗り方は 通りとして数えるものとする.
制約
解法
コーシー・フロベニウスの定理 (バーンサイドの補題とも) が適用できる (バーンサイドの補題 - Wikipedia).
以下,適当な玉を起点として反時計回りに玉 と名前を付ける.また,玉 に塗る色を とする.回転および裏返しに対応する群は二面体群 であり,いま は集合
に作用している.
円を反時計回りに 回転する作用素を とおく. に対して の作用前後で一致する条件を考えると,
が成り立つことが必要十分条件であると分かる.従って,
である.
続いて,円を玉 と円の中心を通る軸 で折り返す作用素を とおく. は, と を用いて次のように表示できる.
は,円の中心を中心として軸 を だけ回転した対称軸に対応する.
が奇数であれば,対称軸は必ずある頂点とその向かいの辺の中点を通る直線となるので,
である.
一方, が偶数であれば,対称軸が向かい合う二頂点を通るケースと向かい合う二辺の中点を通るケースが交互に現れる.従って,
である.
以上の結果から,問題の答えを するとこれは以下のように表せる.
しかし,このまま計算すると となってしまうので工夫する必要がある.
注目すべきは, の値が取り得る値は の約数に限られるという点である.そこで, の値ごとに をまとめて足し上げることを考える.つまり,
という式変形を行う.以下, とする ( より, は整数であることに注意).
ここで, となるためには が必要であり,また, なので
である.ただし, はオイラーのトーシェント関数である.以上より,次が成り立つ.
あとは, を求めればよい. を の素因数全体の集合とすると
であり, は約数列挙の要領で で求められるので,結局 も で求められる.
の制約の下で の約数は最大でも 個なので,和の計算は十分高速に行うことができ,この問題を解くことが出来た.
結論
なお,裏返しを考慮しない場合の答え は,そのまま裏返し部分を消せばよく,次のように求められる.