国際「明日から本気だす」撤廃定理
| 名前 | 国際「明日から本気だす」撤廃定理 |
|---|---|
| 分野 | グラフ理論 |
| 主張 | 遅延自己正当化ラベルを除去しても完備化が保存される条件を与える |
| 証明者 | 高瀬 仁三郎、M. E. Hargrove、ウラジーミル・セメーノフ |
| 初出年 | 1978年 |
| 前提対象 | 有限単純グラフ、時刻付き彩色、準周期順序 |
| 帰結 | 撤廃後の遅延核が空であることと正規完備化の保存が同値 |
| 通称 | 本気だす定理 |
における国際「明日から本気だす」撤廃定理（こくさい「あすからほんきだす」てっぱいていり、英: International Procrastination Abolition Theorem）は、の頂点集合に対し、遅延の自己正当化を表すラベルを消去したときにが一意に保たれる条件について述べた定理である[1]。特に、で定式化されたとされ、のちにとの研究者によって国際的に再証明された。
概要[編集]
国際「明日から本気だす」撤廃定理は、において、ある種の遅延ラベルを持つから、自己正当化的な「明日から本気だす」部分を除去しても、構造の核となる連結性が保存されることを述べる定理である。形式的には、頂点の各成分に割り当てられた延期指標が、局所的な条件と整合するならば、撤廃写像の像は同型類を保つとされる[2]。
この定理は、後半にの私設研究会「夜明け前離散構造セミナー」で初めて語られたとされる。その後、の応用離散数学班との組合せ論グループが相次いで再発見し、国際会議の座長が発表題目を短くした結果、現在の奇妙な名称が定着したという。
定理の主張[編集]
グラフ G=(V,E) に対し、各頂点 v∈V に延期値 λ(v)∈{0,1,2} を与え、λ(v)=2 を「明日から本気だす」型、λ(v)=1 を「来週から考える」型、λ(v)=0 を「現在進行」型と定義する。さらに、辺 {u,v} が λ(u)+λ(v)≤2 を満たすときにのみ活性化されると仮定すると、G の撤廃核 K(G,λ) は、全ての極大安定集合から導かれる補助木の直和として一意に表される。
このとき、G がであり、かつ各連結成分の延期平均が 4/3 未満であれば、K(G,λ)=∅ となることが示された。逆に、K(G,λ)=∅ であるならば、G の完備化 G は、撤廃写像 ρ の下で準同型的に保存される。これを「撤廃可逆性」と呼ぶ[3]。
証明[編集]
基本補題[編集]
証明ではまず、各頂点の延期値に対して「先送り余剰」δ(v)=deg(v)-λ(v) を導入する。すると、δ(v)≥0 を満たす頂点のみが逐次的に「今日やる」集合へ移されることが分かる。ここでに似た追跡法を用い、延期値の総和が奇数である成分では必ず一本の辺が先に消滅することが示された。
この補題は、がにの喫茶店「モジュール」において、紙ナプキン17枚に分けて書いたと伝えられている。なお、同席していたは、証明より先にミルクティーの泡の形が木構造に見えることを指摘し、後年の図式証明に影響を与えたとされる。
撤廃操作の不変量[編集]
次に、撤廃操作の前後で不変な量として、(i) 連結成分数、(ii) 最長遅延鎖の長さ、(iii) 反本気数 b*(G,λ) を導入する。ここで b*(G,λ) は、各成分内で「明日から本気だす」と発話された回数を重み付きで数えたものであり、2回以上の再主張は1回に圧縮される。
不変量の保存は、による補題「繰り返しの明日は一意化される」に依存する。この補題は一見自明であるが、証明にはの次数評価が必要であり、当時の学位論文審査では「やけに人生相談的である」と注記されたという[要出典]。
完成[編集]
最後に、撤廃核が空でない場合には、最小反例の頂点を一つ削除する帰納法が用いられる。削除後のグラフで定理が成り立つと仮定すると、残った部分グラフは必ず延期値の再配分により再び同型な核を持つことが示される。これにより、反例の存在は無限降下を生み、の整列性に矛盾する。
この部分の美しさは、ので配布された要旨集において、証明の最後の一行だけが「以上、明日は来ない」と印字されていたことでも知られる。印刷事故か編集方針かは定かでないが、参加者の間では決定打として広く記憶された。
歴史的背景[編集]
用語の起源[編集]
「明日から本気だす」という表現自体は、末期の研究者文化において、締切前の自己防衛的な合言葉として使われていたとされる。これを定理名に取り込んだのは、数理科学研究科の院生有志が作成した研究ノート『遅延の形式化と情緒的安定性』であり、そこでは延期を単なる怠慢ではなく、上のラベル変換として扱っていた。
国際化の契機は、ので開かれた小規模なワークショップである。発表タイトルが長すぎたため、座長が「Procrastination Abolition Theorem」と略記し、さらにその場にいた日本人研究者が「明日から本気だすの撤廃定理でよい」と言い換えたことから、二重引用符付きの現在の名称が生まれたという。
研究者たちの対立[編集]
初期の研究では、延期値を0と1の二値で扱う保守派と、2以上の無限系列を許す拡張派が激しく対立した。特には、2以上を導入すると証明が「社会学になる」と反対したが、は「社会学であってもよいが、定理は崩れない」と応じたと記録されている。
この対立は、の会合で妥協に達した。以後、延期値は {0,1,2} に固定され、2 を超える値はすべて「口だけモード」として同値類に潰されることになった。この決定が、後の一般化理論を急速に安定させた。
一般化[編集]
一般化としては、への拡張、への拡張、ならびにへの移植が知られている。とくにので提案された「季節性延期グラフ」は、λ(v) を月ごとに変化させるもので、年度末にのみ定理が成立することがある。
また、には、確率的撤廃定理が提案され、各辺が 0.73 の確率で「本気化」するモデルが研究された。これにより、平均延期長が 2.4 を下回るとき、ほぼ確実に撤廃核が消失することが示されたが、査読者の一人は「数字が都合よすぎる」とコメントしたという[4]。
さらに、との接続も試みられている。特定のに対しては、撤廃操作がの生成元を1つずつ減らすことがあり、これを「本気化ホモトピー」と呼ぶ流儀もある。ただしこの分野では用語が先に盛られ、定理が後から追いつく傾向が強い。
応用[編集]
応用として最も有名なのは、研究室の進捗管理における「締切前倒し最適化」である。各メンバーを頂点、共同作業を辺とみなし、延期値を付与して撤廃核を求めることで、実際に着手すべき最小集合を抽出できるとされた。あるの研究チームでは、この手法により月例報告の提出遅延が平均 14.2 日から 3.1 日に減少したという。
教育分野では、の科で「本気だすラベル」を用いた演習が採用された例がある。生徒の自己申告をグラフ化し、撤廃定理を適用すると、最終的に「締切を一緒にする友人」を減らすことが学習改善に寄与したとされる。ただし、これは心理的効果なのか数学的効果なのか、現在も議論がある。
なお、の防災訓練でも一部応用が試みられた。避難経路をグラフに見立て、「明日から本気だす」状態の住民を除いた場合でも避難所への到達性が保たれるかを検証するもので、の試行では参加者の97%が「定理より先に担当者の熱意が撤廃された」と回答した[5]。
脚注[編集]
関連項目[編集]
脚注
- ^ 高瀬仁三郎『遅延ラベルの撤廃と完備化保存』日本数理学会誌, Vol. 31, 第4号, pp. 201-229, 1978.
- ^ Margaret E. Hargrove, "On the International Abolition of Tomorrow-First Strategies", Journal of Applied Combinatorics, Vol. 12, No. 2, pp. 88-117, 1979.
- ^ ウラジーミル・セメーノフ「反本気数の一意性について」『離散構造研究』第8巻第1号, pp. 15-42, 1980.
- ^ 高瀬仁三郎・M. E. Hargrove・V. Semenov『撤廃核と準同型保存の理論』東京大学出版会, 1981.
- ^ L. Beaumont, "Procrastination-Free Kernels in Bipartite Graphs", Proceedings of the Cambridge Symposium on Graphs, Vol. 7, pp. 303-335, 1982.
- ^ 佐伯真一『延期値 {0,1,2} の社会的意味論』数学評論社, 1984.
- ^ A. Kovacs and N. Aydın, "Seasonal Delay Graphs and Their Completion", Annals of Discrete Structures, Vol. 19, No. 3, pp. 455-489, 1991.
- ^ 渡辺浩一「撤廃可逆性の教育応用」『情報教育と数理』第14巻第2号, pp. 61-79, 2007.
- ^ H. C. Lin, "Probabilistic Abolition Theorems with Peculiarly Precise Thresholds", International Journal of Graph Abstractions, Vol. 5, No. 1, pp. 1-26, 2022.
- ^ 国際「明日から本気だす」撤廃定理編集委員会『注釈付き要旨集 1978-1985』日本離散数学協会, 1986.
外部リンク
- 日本離散構造アーカイブ
- 本気化定理データベース
- 国際グラフ撤廃研究連盟
- 文京区私設数学史研究室
- 離散数学噂話年鑑