数学者たちが40年来の予想を証明、ついに「グラフサンドイッチ」が完成
Mathematicians Build Long-Awaited Graph Sandwich
2004年にKimとVuが提唱した「サンドイッチ予想」は、ランダム正則グラフをランダム二項グラフで挟み込むことで、解析が難しい正則グラフの性質を容易に導けるというもの。2025年、Montgomery、Behague、Iľkovičの3人がエッジを1本ずつ同時に構築する巧妙な手法で完全証明を達成。これにより、正則グラフの多くの性質が二項グラフの既知の結果から自動的に得られるようになった。
「その概念はとても美しい。私を最も惹きつけるのは、実際その美しさです」と、この問題に取り組んできたウォータールー大学の数学者、Pu Gaoは語った。
HNでの議論
20- omnicognate
笑える。俺が知る限りAIとはまったく関係ない数学の成果なのに、コメントの75%がAIの話、このコメントも含めてな！
- mindleyhilner
- Sniffnoy
疑問なんだが、サンドイッチの上の部分のプロセスが下の部分のプロセスの補集合なら、なぜこんなに難しかったんだ？ 以前の下サンドイッチのプロセスの一つを取って、同じように補集合を取ったら何がうまくいかないんだ？ 何かあるのは間違いないと思うが、それは何だ？