2022-08-19から1日間の記事一覧

笑わない数学 四色問題を見る

第3回は四色問題です。 どんなエリア式地図でも隣接する地域を違う色で塗り分けるには4色あれば十分であるという直感的には正しそうな事実を数学的に厳密に証明するという問題です。 で、この証明は代数的に解けないので実は意外なほどに難しく、証明界の…