あなたが参加した抽選は、本当に公平だったと言い切れるでしょうか。
抽選の公平性は感覚ではなく、数学と統計学で厳密に定義・証明できます。この記事では、抽選方法の公平性を科学的な視点から解説します。数式は最小限に、分かりやすさを重視して説明します。
数学的に「公平」と言えるための条件は以下の4つです。
すべての参加者が、すべての結果に到達する確率が等しいことを意味します。
数式で表すと次のようになります。
P(参加者i が結果j に到達) = 1/n
n = 参加者数(=結果の数)
たとえば5人で5つの結果を抽選する場合、各自が各結果を得る確率は 1/5 = 20% です。
前回の抽選結果が、次回の抽選に影響を与えないことを指します。
P(今回の結果 | 前回の結果) = P(今回の結果)
前回Aさんが1位だったとしても、今回Aさんが1位になる確率は変わりません。
抽選実行前に結果を予測できないことです。判断基準として、人間の計算能力では予測不可能であること、一定以上の複雑性(エントロピー)があることが求められます。
すべての参加者が、必ず異なる結果を得ることです。数学的には次のように表現します。
写像 f: 参加者集合 → 結果集合 が全単射
全射はすべての結果に誰かが到達すること(欠落なし)、単射は同じ結果に複数人が到達しないこと(重複なし)を意味します。
定理: あみだくじは、必ず1対1対応を満たす。
証明は以下の手順で進めます。
ステップ1として、構造を確認します。n本の縦線 L₁, L₂, ..., Lₙ と、m本の横線 h₁, h₂, ..., hₘ があり、各横線は隣接する2本の縦線のみを結びます。
ステップ2として、パスの一意性を示します。各縦線から出発すると、下に進み、横線に出会ったら必ず渡り、再び縦線を下に進みます。これを繰り返してゴールに到達します。このプロセスは決定的であり、同じスタート地点からは必ず同じゴールに到達します。
ステップ3として、置換の証明を行います。あみだくじは、数学的には置換(permutation)を表します。
横線1本の効果は次の通りです。
縦線の位置 i と i+1 を交換する
m本の横線の効果は次の通りです。
m個の置換の合成
置換は必ず全単射(bijection)なので、1対1対応が保証されます。
結論: あみだくじは数学的に1対1対応が保証されている。■
定理: 横線がランダムに配置される場合、すべての置換が等確率で生成される。
n本の縦線の置換は、n! 通り存在します。
例: 3本なら 3! = 6通り
各横線の位置が独立にランダムに選ばれる場合、十分な本数の横線を引くことで、すべての置換を等確率で生成できます。これは Fisher-Yates シャッフルの理論にもとづきます。
数学的に公平な分布を得るために必要な横線の本数は、n人の場合おおよそ n² log(n) / (2π²) 本です(隣接転置シャッフルの混合時間、Lacoin 2016)。たとえば10人なら約12本が理論上の閾値ですが、20人では約61本、50人では約495本と、人数が増えると急激に必要数が増加します。
結論: 横線が十分にランダムに配置されれば、等確率性が満たされる。■
定理: 横線が3本以上あれば、人間が視覚的に結果を予測するのは困難。
計算量を分析すると、横線0本の場合は予測時間が O(1) で、各縦線は自分自身に到達します。横線1本でも O(1) で、横線で結ばれた2本だけが交換されます。横線2本では O(n) の線形時間で追跡可能であり、慣れれば視覚的に予測できます。
横線が3本以上になると、予測時間は O(m) となり横線の本数に比例します。横線が増えるほど複雑性が増し、10本以上では実質的に予測できません。
人間の視覚追跡能力は、3つ以上の交差点で急激に低下します。
結論: 横線が3本以上あれば、予測不可能性が実用的に満たされる。■
くじ引きでは、n個のくじ k₁, k₂, ..., kₙ に結果を割り当て、参加者が引く順番を決めます。
問題点として、まず重複・欠落の可能性があります。くじの作成ミスにより結果が重複したり欠落したりする場合があり、数学的な保証はありません。次に、作成者の操作可能性があります。くじの作成者が結果を知っている状態で特定のくじを推奨できるため、透明性が低くなります。
等確率性は正しく作られれば満たされます。独立性も満たされます。一方、予測不可能性は作成者が知っている点でやや弱く、1対1対応は保証されません。
デジタルルーレットは疑似乱数生成器(PRNG)を使用し、線形合同法などのアルゴリズムで動作します。
X(n+1) = (a × X(n) + c) mod m
問題点として、疑似乱数は真の乱数ではなく決定的アルゴリズムであるため、シード値が分かれば結果を予測できます。また、疑似乱数は必ず周期を持ちます。さらに、ユーザーがアルゴリズムを検証できず、ブラックボックス化しやすいという課題があります。
等確率性はアルゴリズム次第で満たされます。独立性はシード依存であり、予測不可能性もアルゴリズムに依存します。1対1対応は設計次第です。
じゃんけんは2人ゼロ和ゲームとしてモデル化でき、ナッシュ均衡は (1/3, 1/3, 1/3) です。
問題点として、まず心理的バイアスがあります。人間は完全にランダムな選択ができず、初手は「グー」が多い傾向があります。次に引き分けが頻発し、2人の場合は引き分け確率が1/3、n人ではさらに高くなります。また、同時に複数人が勝つ可能性があるため、1対1対応が成立しません。
等確率性は心理的バイアスにより不完全です。独立性は相手の選択に依存するため満たされません。予測不可能性も戦略性があるため限定的で、1対1対応は保証されません。
| 抽選方法 | 等確率性 | 独立性 | 予測不可能性 | 1対1対応 | 透明性 |
|---|---|---|---|---|---|
| あみだくじ | ◎ | ◎ | ◎ | ◎ | ◎ |
| くじ引き | ○ | ○ | △ | △ | △ |
| ルーレット | ○ | △ | △ | ○ | × |
| じゃんけん | △ | × | △ | × | ◎ |
| Excel乱数 | ○ | △ | △ | ○ | △ |
実際の抽選が公平かどうかを統計的に検証する方法を紹介します。
各結果の出現回数が等しいかを検証する手法です。
手順として、まず帰無仮説 H₀(すべての結果が等確率で出現)と対立仮説 H₁(偏りがある)を設定します。次に抽選を100回実施し、各結果の出現回数を記録します。
統計量は以下のように計算します。
χ² = Σ [(観測値 - 期待値)² / 期待値]
χ²値が臨界値より小さければ偏りなし、臨界値以上なら偏りありと判定します。
たとえば5つの結果で100回抽選した場合の例を示します。
| 結果 | 観測値 | 期待値 | (O-E)²/E |
|---|---|---|---|
| A | 22 | 20 | 0.2 |
| B | 19 | 20 | 0.05 |
| C | 18 | 20 | 0.2 |
| D | 21 | 20 | 0.05 |
| E | 20 | 20 | 0 |
| 合計 | 100 | 100 | 0.5 |
χ² = 0.5 < 臨界値(9.49) → 偏りなし
分布の均一性を検証する手法で、大規模データ(1000回以上)での検証に適しています。
ランダム性の度合いを定量化する手法です。シャノンエントロピーは次の式で計算します。
H = -Σ [P(i) × log₂ P(i)]
完全にランダムな場合の最大エントロピーは次の通りです。
H_max = log₂ n
たとえば5つの結果なら H_max = log₂ 5 ≈ 2.32 です。実際のエントロピーがこの値に近ければ、ランダム性が高いと判断できます。
3本の縦線と3本の横線で、すべての可能な結果(3! = 6通り)を確認してみましょう。
1. (1,2,3) → (1,2,3)
2. (1,2,3) → (1,3,2)
3. (1,2,3) → (2,1,3)
4. (1,2,3) → (2,3,1)
5. (1,2,3) → (3,1,2)
6. (1,2,3) → (3,2,1)
横線の配置パターンを変えて、各結果が等確率で出現することを確認してみてください。
無料で使えるあみださんで、10人で100回抽選を実施し、各自が「1位」を取った回数を記録してみてください。理論値10回に近い結果が得られるはずです。各自が1位を取る回数は約10回(±3回程度のばらつき)となります。
横線が少ないと、すべての置換が等確率で生成されず、特に端の位置ほど元の位置に留まりやすくなります。数学的に公平な分布を得るには n² log(n) に比例する本数が必要です。あみださんではアルゴリズムで公平性を保証しています。
ツールによって異なります。信頼できるツールの条件として、オープンソースで検証可能であること、暗号学的に安全な乱数生成器(CSPRNG)を使用していること、透明性の高い仕組みであることが挙げられます。
あみださんでは参加者全員が横線を追加するため、運営者も結果を操作できません。
理論的には、真の乱数生成器(TRNG)を使ったデジタル抽選が最も公平です。しかし、TRNGは特殊なハードウェアが必要で、透明性が低く(ブラックボックス)、参加者が検証できません。あみだくじは公平性と透明性のバランスに優れています。
抽選の公平性を科学的に証明するには、等確率性(すべての結果が等確率)、独立性(前回の結果に影響されない)、予測不可能性(事前予測が困難)、1対1対応(全員が異なる結果)の4条件を満たす必要があります。
あみだくじは、置換の性質により1対1対応が保証され、十分な横線で Fisher-Yates 理論にもとづく等確率性が成り立ち、3本以上の横線で予測不可能性も実用的に満たされます。加えて、プロセスが完全に可視化されるため透明性も高い方法です。
科学的に証明された公平な抽選を実現するなら、あみださんをご活用ください。