前回の記事で紹介した「点の個数・直線の個数が最小の3-配置は9個の点と9本の直線からなる」という主張の証明を書きます。なお3-配置などの用語の定義については適宜前回の記事を参照してください。 まずどんな3-配置においても、そこに現れる点の個数と直線…

9は、いろいろな性質を持つ、楽しくて、すごい数。たくさんの可能性があるんだ。あ、これは数学の話なんだけど…… （夕霧綴理、104期 OPENING！Fes×LIVEでのMCにて*1） 点と直線をいくつか用意して、それらを平面上に配置することを考えます。ただし点同士を…

この記事は組合せ論 Advent Calendar 2024 8日目の記事です。 adventar.org 四色定理という定理があります。これはKenneth AppelとWolfgang Hakenによって1976年に示された*1定理で、その主張はグラフの言葉で書けば次の通りです：任意の平面グラフは -彩色…