バカでもわかる定理
| name | バカでもわかる定理 |
|---|---|
| field | 娯楽数学 |
| statement | 任意の有限迷路に対し、最短“ほどけ方”は少なくとも1手存在し、かつその探索は3段階の手続きで完了する。 |
| proved_by | 菱谷エルミナス |
| year |
におけるバカでもわかる定理（よみ、英: Fool-Understood Theorem）は、のについて述べた定理である[1]。
概要[編集]
は、難解になりがちなに対して、直感的な手続きのみで“ほどける”ことを保証する定理である。
この定理が面白いのは、厳密性を犠牲にせず、説明の層を「子どもでも追える」「大人なら高速化できる」という二重構造にしている点である。実際、定理名は侮辱として流通したのち、数学教育現場では「説明が破綻しない安全標識」として再解釈されるようになったとされる。
なお、証明にはのような補助命題が用いられるが、これら自体が“読めば納得しそうな形”に設計されていることが多い。疑似的な親切さが数学の形式として立ち上がった好例として言及されることがある。
定理の主張[編集]
とは、頂点を（整数）上の有限点列として並べ、各辺に「足す」「引く」のどちらかの移動規則を割り当てた対象と定義される。
は、次の性質を主張する。
有限な迷路Mを任意に取る。Mが指定する開始整数からゴール整数へ至る任意の経路集合を考えると、最短の経路長Lは空でなく、さらに最短経路の発見は次の三段階で完了する： (1) まず“色分け”として各整数点を高々3色に分類する（色数は最大3であると示される）。 (2) 次に同色成分上で単調に進む経路のみを残す。 (3) 最後に残った経路のうち、増減量の総和が最小となるものを選ぶと、必ず最短経路が得られる。
以上より、迷路に対する“ほどける”結論は、探索の停止性まで含めて保証されるとされる。
証明[編集]
証明の骨格は、最短性をと呼ばれる擬似的な“疲労度”で評価し、三段階操作が測度を増やさないことを示す点にある。
まず、各経路pに対し測度μ(p)を「移動規則（足す/引く）の切替回数」および「経路上の最大絶対値」に依存する値として定義するとする。ここでμ(p)は、足す移動と引く移動が連続するたびに1ずつ増えるが、同時に最大絶対値が更新されるたびにも段階的に増えるよう調整される。
つぎに、三段階探索がμ(p)を少なくとも1単位は抑える場合があることを示す。特に(1)の色分けは、迷路Mに含まれる整数点のうち、との距離Dが偶数であるケースと奇数であるケースで分類規則が切り替わる。Dが奇数の場合には色数がちょうど3になることがあるとされ、実務上はこの分岐がバグ修正の契機にもなったとされる。
また、段階(2)では単調性により“反転”経路が測度を増やすため削除されることが示される。段階(3)では残存経路集合の中で総和最小のものが最短であることが確かめられ、結果として最短経路の存在と探索停止が同時に成立する。証明はに依拠しているとされる。
歴史的背景[編集]
の起源は、19世紀末の教育改革運動に置かれたとする説が有力である。具体的には、にの市民講座で“難しい数式を難しく書かない運動”が始まり、その中で「説明が読者の頭を安全に通過する」ことを数学で定式化しようとした研究が現れたとされる。
この運動に関わった人物として、（実在の文脈を参照する形で創作された組織として記述されることが多い）内の試験委員会が挙げられる。委員長はで、彼女は“最短経路は探せる”という主張を、実験授業の観察記録に基づいて体系化したと伝えられる。
ただし、当初の原案は“とにかく読め”の精神だけが先行し、測度μ(p)の定義が曖昧だったと記録される。そこでが提案され、色分け規則の上限を3に固定することで、教育用の分かりやすさと計算可能性を両立させたとされる。
なお、この定理名が侮蔑として広まったのは、の地方紙が誤って「理解が不要でも証明が通る」と見出しにしたことに由来するとする話がある。この逸話は誇張として扱われつつも、普及史としてはよく引用される。
一般化[編集]
定理は当初、迷路がである場合に限って述べられていたが、その後やを緩める一般化が試みられた。
まずを3からkへ拡張し、任意のk色で“ほどける”手続きが構成できるという系が研究された。ここでは、色数kは迷路の“転回回数”に依存し、転回回数が最大でも17回に収まる場合にはkが最大で5になる、といった半経験的な推定が先に流通したという。
つぎに、測度μ(p)の成分を入れ替え、切替回数だけに依存する簡約測度へ置き換えることも試された。しかしこの場合、いくつかの反例迷路により、最短性の保証が落ちると指摘された。これが“たった一成分では足りない”という教育的メッセージとして残ったとされる。
また、計算論的な見地からは、三段階探索のうち(1)と(2)を合体しても証明が崩れない範囲が調べられ、内の大学付属ラボで行われた擬似ベンチマーク（参加者が紙の迷路を実際に解き、正答までの秒数を測定した）では、平均59.2秒で手続きが完了したと報告された。
応用[編集]
応用面では、定理が“ほどける経路を見つける”という性質を持つため、形式手順としての利用が多い。
教育応用では、として三段階探索が採用され、「まず色を塗れ、次に単調だけ残せ、最後に総和最小を選べ」といった口述手順が定番化した。ここで教材はA4用紙を3枚に分け、各段階に対応する欄を用意する構成が好まれたとされる。
工学的には、経路探索アルゴリズムの“人間が理解できる停止条件”を作るために、色分けを状態圧縮に見立てることがある。具体的には、の企業研修で、在庫移動の意思決定を迷路に写像し、最短の移動回数が保証される形で提示されたという。
さらに、娯楽数学という観点からは、パズル作家がこの定理を“予告編”として利用し、難しそうに見える迷路を出しても実際には必ず解けることを読者に納得させる試みがなされた。結果として、解答ページがなぜか短くなる現象が観測されたと報告されることがある。
脚注[編集]
関連項目[編集]
脚注
- ^ 菱谷エルミナス「バカでもわかる定理の三段階探索について」『娯楽数学紀要』第12巻第3号, pp. 41-78, 1897.
- ^ マリナ・トレマー「教育手続きとしての測度μ(p)の定義」『Journal of Didactic Proofs』Vol. 8, No. 2, pp. 103-131, 1911.
- ^ サイモン・グラナート「Fool-Understood Theoremの探索停止性」『Computational Folklore』Vol. 3, No. 1, pp. 1-29, 1934.
- ^ 高品リュウ「色分けと単調性：初学者向け証明設計」『数学教育研究』第7巻第1号, pp. 12-56, 1958.
- ^ E. K. ハルシオン「Odd-even分岐が示す“色数の上限3”」『Proceedings of the Bridge Lemma Society』pp. 201-219, 1966.
- ^ ルイーザ・ベレンツ「転回回数と色数kの関係の試験的推定」『Annals of Semi-Experimental Mathematics』第2巻第4号, pp. 77-95, 1982.
- ^ 田辺ミズキ「測度成分の削減による反例迷路」『理論パズル論文集』Vol. 14, pp. 9-34, 2001.
- ^ 中塚ヨウタ「横浜研修における迷路写像の実務報告（要出典）[1]」『応用娯楽数学報告』第5巻第2号, pp. 55-68, 2012.
- ^ Kara H. Wex「Three-Stage Procedure and Human-Readable Termination」『International Review of Explainable Proofs』Vol. 19, Issue 6, pp. 501-533, 2019.
外部リンク
- 娯楽数学アーカイブ
- 三段階探索チュートリアル
- 色分け迷路ギャラリー
- 測度μ(p)解説ページ
- 数学教育局資料室