解法: レインボー木によるリンゲル予想の証明(2020年)
ざっくり言うと
本の辺を持つ木は 個の頂点を持ち閉路を持たない——最も単純な連結形状である。リンゲルは問うた: 個の点のすべての組が結ばれた完全グラフ は、選んだ1つの木の 個のコピーへと、各辺をちょうど1回使って常に完璧に分割できるか?ワレツキは1882年に木が単なる長いパスである特別な場合を解決していた。リンゲルの1963年の予想は、木がどのように枝分かれしていても同じことが成り立つと主張する。
詳しい解説
モンゴメリー、ポクロフスキー、スダコフ(2021年、序論)は、リンゲルが1963年に予想1.1を提示したことを振り返る: は 本の辺を持つ任意の木のコピーに分解できる。これはグラフ分解に関する最も古くよく知られた未解決問題の1つであり、以前は特別な木の形状(毛虫木、葉が最大 枚の木、頂点が最大 個の木、その他)や、近似的・次数有界の制限付き(Joos-Kim-Kuhn-Osthusは次数有界の木について証明し、Ferber-SamotijおよびAdamaszek-Allen-Grosu-Hladkyは最大次数 について近似版を証明した)でしか検証されていなかった。この論文の主定理は、木の形や次数に関するあらゆる制限を取り除く:十分大きいすべての に対し、 は 本の辺を持つ任意の木 の 個のコピーに分解できる(定理1.2)。
- グラフ分解
- グラフ の辺を、固定されたグラフ と同型な辺素な部分グラフへと分割し、 の各辺がちょうど1つの のコピーに属するようにすること。
- 木
- 閉路を持たない連結グラフのこと。 本の辺を持つ木は自動的に 個の頂点を持つ。