四色定理とは？
よんしょくていり
平面上のどんな地図も四色以内で隣接する領域を塗り分けられるという定理。
1976年にアッペルとハーケンがコンピュータを使って633の場合を検証することで証明した最初の主要コンピュータ証明。
使い方・例文
四色定理によれば世界地図のどんな複雑な国境も四色だけで塗り分けることが可能だ。
この用語をシェア
最終更新: