タグ: コンピュータ支援証明

← タグ一覧

• 四色定理：地図が4色で塗れる理由と、コンピュータが書いた最初の証明「隣り合う国を違う色にするには4色で足りる」という四色定理を、オイラーの公式から導く六色定理・五色定理の証明とともに追い、1976年のコンピュータ支援証明が数学に残した問いまで扱います。数学数学コラム高校〜一般グラフ理論四色定理平面グラフ彩色コンピュータ支援証明約 34 分