N人の独身者問題
| name | N人の独身者問題 |
|---|---|
| field | 組合せ解析の社交数学 |
| statement | N人の独身者が「同一日の紹介受付」を受けるとき、紹介連鎖グラフは必ず特定の巡回構造を含む |
| proved_by | 渡辺精一郎（仮説講座の数学調停官） |
| year | 1893年 |
におけるN人の独身者問題（よみ、英: N-Bachelors Problem）は、が形成するの性質について述べた定理である[1]。
概要[編集]
は、独身者に相当する点集合が、紹介の受付手続を通じて辺を生む状況を、グラフ論と分配関数の混成として定式化するものである。
ここでいう紹介連鎖とは、ある独身者が紹介を受けた後に、その相手が次の紹介窓口へ「回覧」される過程を指し、結果として得られる連結成分の形が問われる。定理は、成分が必ずある巡回長を含むこと、またその長さがNの剰余に支配されることを主張する[2]。
なお、定理名の「問題」は、当事者の倫理を裁く趣旨ではなく、むしろ「集計の都合で数え方が変わってしまう」ことが原因で生じる数理上のねじれを、真面目に扱うための呼称として定着したとされる[3]。
定理の主張[編集]
N人の独身者を点集合Vとし、各独身者v∈Vに対して「紹介受付時刻」が整数ラベルとして割り当てられると仮定する。さらに、受付時刻が同値類ごとにまとめられ、同一日の受付を共有する独身者同士のあいだに、向き付き辺が自動生成されるものとする[4]。
このとき、紹介連鎖グラフGは必ず、長さL=N−k（ただし0≤k≤⌊log_2 N⌋）の単純巡回を含む。しかも、その巡回に属する点の集合のサイズは必ず少なくとも「⌈√N⌉」を満たすことが示される[5]。
さらに、受付ラベルの並べ替えを許すと、巡回長Lの取り得る値は高々⌊√(2N)⌋通りに制限される。換言すれば、「独身者を増やすほど巡回が増える」という直感に反し、増加はむしろ準周期的に頭打ちになるのである[6]。
証明[編集]
証明の骨子は、紹介受付を確率変数ではなく「検算制度」として扱う点にある。各点vから出る辺の本数をd(v)とし、全次数和をS=∑_{v∈V} d(v)と定義すると、Sは同一日の受付が“回覧帳”で管理される都合上、必ずS=N·(N−1)/2−Tを満たす[7]。ここでTは回覧帳の差し替え記号の総数であり、Tは0≤T≤N·⌊log_2 N⌋を満たすとされる。
次に、任意の頂点集合U⊂Vを取り、誘導部分グラフG[U]におけるエッジ数e(U)を数えると、仮定によりe(U)は単調増加ではなく、むしろ“受付日の分割”に従って段階的に変化する。これが「巡回が消える前に、段差が先に現れる」現象を作り、最小反例を仮定すると矛盾が導かれると示された[8]。
最小反例として、巡回長を含まないGを選び、その連結成分をC_1,…,C_mとする。このとき成分ごとの頂点数n_i=|C_i|はn_i≤N−⌈√N⌉を満たさねばならず、しかし次数和の下限からmが大きくなりすぎ、差し替え記号Tの上限と衝突する。したがって巡回は必ず存在することが証明された[9]。
最後に、巡回が存在するだけでなく「長さL=N−k」が現れることは、回覧帳の差し替えがk回発生したと解釈することで導かれる。kは⌊log_2 N⌋までしか起こりえず、そのためLの取り得る範囲が制限されるのである[10]。
歴史的背景[編集]
は、統一的な数学的関心というより、行政手続の曖昧さから生まれたとされる。1890年代、の名古屋近郊において、結婚紹介に似た「善意連絡」制度が試行され、その記録がの臨時窓口で「受付日」単位に整理されていたことが発端である[11]。
当時、記録係たちは紹介連鎖を“つながり”として理解していたが、数学者の側はそのつながりをグラフとして読む必要に迫られた。特に、窓口の統計係が「独身者の数がNのとき、巡回の長さを同じ値として扱ってよいか」を問い合わせたことが、定理の問いの形を固定したとされる[12]。
証明者として名が挙がるは、実務の書式を“辺の生成規則”に翻訳する人物だったと伝えられる。『社交記録の図解的検算法』では、受付日の差し替え記号Tを計上する表が付録されており、その表頭には「桁落ち防止のため、Nは最大で7桁まで」と書かれていたという逸話が残る[13]。この数え方が、後の定理で現れる⌊log_2 N⌋の上限に対応すると解釈されることがある。
ただし、年代については異説もあり、同時期のので別の勘定台帳が用いられていたという指摘がある。編集の都合で1893年が優勢になった、と回顧録に記されている[14]。
一般化[編集]
定理は最初、同一日の受付を同値類として扱う枠組みに限定されていたが、後に複数日の“準同値”へ一般化された。すなわち、受付時刻ラベルの差がd以内なら同値として扱うと仮定すると、巡回長はN−kからN−k−f(d)へずれることが示された[15]。
さらに、紹介の回覧帳に「遅延」を入れると、各辺が発生する確率ではなく、確率に似た“台帳の摩擦係数”を通じて制御される。すると、単純巡回の代わりに、長さが半整数となる“準巡回”が現れると報告される[16]。
この段階で、の一部門で行われた模擬調査（学生自治の紹介イベントを数学に見立てたもの）では、Nが317人のとき、巡回長の候補がちょうど⌊√(2N)⌋=⌊√634⌋=25通りに観測されたという。もっとも、この数は測定方法の脚色を含む可能性があると注記されてもいる[17]。
応用[編集]
応用として最も知られるのは、自治体の「窓口再編」を数学的に評価する試みである。例えばので行われた窓口統合の事前評価では、紹介連鎖グラフの巡回が増えると、応答時間が準周期的に長くなるという経験則を用い、定理から「再編のしきい値」を見積もるのに用いられた[18]。
また、保険会社における連絡系統（担当者間の引き継ぎを連鎖としてモデル化）でも、同一日受付の代わりに“同一締切”を置くことで、巡回の存在がチェックリスト化されたとされる[19]。
一方で、応用が過剰に進むと、独身者という比喩が現実の人間関係を露骨に数値化する危険を孕むとして批判が出た。そのため定理は「社会政策の説明」ではなく「台帳設計の一貫性確認」に限定して運用されるべきだ、と系統の内部文書で指摘された[20]。内部文書は“参照用”とされ、外部公開は限定されている。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎『社交記録の図解的検算法』明治図書館, 1893.
- ^ A. Thornton『On Periodic Ledger Structures in Directed Pairing Networks』Journal of Applied Combinatorics, Vol.12 No.3, 1901.
- ^ 藤堂誠次郎『同値類分割と巡回長の上限』東京数学会誌, 第7巻第2号, 1928.
- ^ M. K. Rivera『Latent Cycles under Queue-Style Edge Generation』Proceedings of the International Society for Counting, Vol.5, 1937.
- ^ 林信太郎『準同値による準巡回の出現』京都大学数理研究報告, 第31巻第4号, 1956.
- ^ S. Nakamori『検算制度としての分配関数（社交版）』統計的組合せ論集, pp.41-58, 1964.
- ^ R. Dubois『Administrative Graphs and Their Surprising Residues』Annals of Bureaucratic Mathematics, Vol.19 No.1, 1972.
- ^ 鈴木礼一『同一締切モデルの次数和評価』日本応用数学年報, 第44巻第6号, 1988.
- ^ E. Petrov『On “Pseudo-Log” Bounds in Record-Based Systems』Mathematical Sociology Letters, Vol.3 No.9, 1999.
- ^ “首都圏窓口再編と巡回検査”（匿名）『港区運用指針集』港区企画課, 2007.
外部リンク
- 社交数学アーカイブ
- Directed Pairing Ledger Wiki
- 東京窓口検査プロトコル
- 巡回図解ギャラリー
- 渡辺精一郎資料室