あみだくじと置換群

ちょっと代数も勉強しておくべきかと思い、群論について読んでいたら、「置換群とゲーム」という節があった。
例として、１５並べ、Bubikキューブ、 Ten Billion、あみだくじが紹介されていたので、ゲームというよりパズルなのだが、まあいい。

さて、あみだくじだが、どのようなあみだくじをつくったことがあるだろうか。
縦棒が何本かあり、水平線で２つの縦棒を結ぶ線を書き加えるのが一般的だろうか。

しかし、そういうのは面白くない。
やはり、あみだくじは阿弥陀如来に由来していて、人間にはあみだくじはちょっと見ても分からないが、阿弥陀如来には一瞬で分かるはずである。
なので、阿弥陀如来にとっても手ごたえがあると思えそうな、もっと複雑なあみだくじを作ってみた。


こういう「あみだくじ」を昔から作っているのだが、ちゃんとあみだくじとして機能しなかったことはない。
ちゃんと機能するとは、上のｎ箇所と下のｎ箇所はちゃんと１対１対応するということだ。
上のあみだの場合、ＡＢＣＤのどれも下のどこかにたどり着き、かつ必ず異なるところにたどり着く。
つまり、出口での順番は、ＡＢＣＤの置換に必ずなる。

証明については書くのが面倒なので省略するが、通常のあみだくじの証明と同じで、鳩ノ巣原理を用いればできる（はず）。


いま世の中に存在するあみだくじアプリは単純過ぎて面白味がない。
ぜひ、このような線の入れ方をする「あみだくじジェネレータ」を作ってみよう。