
ゴーストレッグとは、任意の数の物からなる2つのセットをランダムに組み合わせるくじ引きの手法です。ただし、各セットの要素数は同じである必要があります。これは、分配される物の数が人数と同じであるような場合に、人々に物を分配する際によく用いられます。例えば、雑用や賞品をこの方法で公平かつランダムに割り当てることができます。
日本語では阿弥陀籤(あみだくじ)、[注 1 ] 、韓国語ではサダリタギ(사다리타기、文字通り「はしご登り」) 、中国語では鬼腳圖(中国語:鬼足図)として知られています。
この図は、縦線と、その長さに沿ってランダムに散らばる隣接する2本の縦線を結ぶ横線で構成されています。横線は「脚」と呼ばれます。縦線の数はプレイする人数と同じで、各線の一番下にアイテム(プレイヤーとペアになるもの)が配置されています。このゲームの基本的なルールは、一番上の線を選び、その線を下にたどっていくことです。横線に出会ったら、それをたどって別の縦線に進み、さらに下にたどります。縦線の端に到達するまでこの手順を繰り返します。すると、プレイヤーは線の下に書かれたアイテムを受け取ります。
ゴーストレッグの上に書かれた要素をシーケンスとして扱い、ゴーストレッグが使用された後に同じ要素が下に書かれた場合、開始シーケンスは別の順列に変換されます。したがって、ゴーストレッグは一種の順列演算子と見なすことができます。
例として、演劇で俳優に役割を割り当てることを考えてみましょう。
もう一つの方法は、あらかじめ梯子を作り、それを隠しておくというものです。そして、参加者は順番に、上から始める道を選びます。もしあみだくじのどの部分も隠されていなければ、特定の組み合わせが保証されるようにシステムを修正することができ、偶然の偶然性という概念を覆すことができます。
このゲームの魅力の一つは、じゃんけんのようなランダムなゲームとは異なり、あみだくじは常に1:1の対応関係を生成し、任意の数のペアを処理できることです。上部の2つのアイテムが下部のアイテムに対応することは決してなく、下部のアイテムが上部のアイテムに対応しないこともありません。
水平線を何本追加しても、この方法は有効です。各人が1本、2本、3本、あるいは任意の本数の線を追加しても、1:1の対応関係は維持されます。
これがどのように機能するかを理解する一つの方法は、カップに入ったコインの例えを考えることです。n個のカップにはn枚のコインが入っており、これらはあみだくじの底にあるアイテムを表しています。そして、足が一つ増えるごとに、隣接する2つのカップの位置が入れ替わることを表します。したがって、最終的にはn個のカップが存在し、入れ替えを何回行っても、各カップには1枚のコインが入っています。
ゴーストレッグは、入力シーケンスを、同じ要素数を持ち、順序が(場合によっては)異なる出力シーケンスに変換します。したがって、これはn個のシンボルの順列と見なすことができます。ここで、nはゴーストレッグの垂直線の数です。[ 2 ]したがって、対応する順列行列で表すことができます。
ゴースト レッグ を入力シーケンスに有限回数適用すると、最終的に元の入力シーケンスと同一の出力シーケンスが生成されます。
つまり、M が特定のゴースト レッグを表す行列である場合、有限のnに対してM n = I となります。
行列表現Mを持つ任意のゴーストレッグに対して、表現M −1を持つゴーストレッグが存在し、M M −1 = Iとなる。
各レッグは両端の隣接する2つの要素を交換するため、レッグの数はゴーストレッグの奇数/偶数順列の性質を示します。レッグの数が奇数の場合は奇順列、レッグの数が偶数の場合は偶数順列となります。
あらゆる順列をゴーストレッグとして表現することは可能ですが、その表現は一対一ではありません。つまり、特定の順列が唯一のゴーストレッグに対応するわけではありません。無限の数のゴーストレッグが同じ順列を表します。
特定の順列を表すゴーストレッグは無限に存在するため、それらのゴーストレッグは一種の同値性を持ちます。これらの同値なゴーストレッグの中で、レッグの数が最も少ないものを「素数」と呼びます。
ゴーストレッグは任意に構成できますが、必ずしも素数であるとは限りません。バブルソートによって構成されるゴーストレッグのみがレッグ数が最も少なく、したがって素数であることが証明されています。これは、バブルソートがシーケンスをソートするために最小数の隣接交換を実行するということを意味します。
n個の要素を持つ順列の場合、隣接する要素の交換の最大数は =
同様に、n本のトラックを持つ素数の最大脚数 =
任意のゴーストレッグは、「バブリゼーション」と呼ばれる手続きによって素数に変換することができます。バブリゼーションが作用すると、以下の2つの恒等式が繰り返し適用され、「役に立たない」レッグが移動・除去されます。
2 つの恒等式がこれ以上適用できない場合、ゴースト レッグはバブル ソートによって構築されたゴースト レッグとまったく同じであることが証明されるため、バブル化によってゴースト レッグを素数に減らすことができます。
前述のように、レッグ数が奇数の場合は奇数の順列が生成され、レッグ数が偶数の場合は偶数の順列が生成されるため、特定のレッグ数では、最大で合計可能な順列の半分が生成されます (トラック数に比べてレッグ数が少ない場合は半分未満ですが、レッグ数が特定の臨界数を超えると半分になります)。
レグがランダムに抽選される場合(「ランダムに抽選される」という合理的な定義のもとで)、レグの数が増えるにつれて、組み合わせの分布の均一性は高まります。レグの数がトラックの数に比べて少ない場合、異なる組み合わせが達成される確率は大きく異なる可能性があります。レグの数が多い場合、異なる組み合わせが達成される確率はほぼ等しくなります。