コンピュータ– tag –

どんな地図も、隣り合う国が異なる色になるように塗るには、たった4色で足りるという「四色問題」。 この一見単純な問いが、実は数学界を長年悩ませた超難問でした。 この記事を読むことで、四色問題の概要とコンピュータによる証明の意義がわかり、論理的...

どんな地図も、隣り合う国が異なる色になるように塗るには、たった4色で足りるという「四色問題」。 この一見単純な問いが、実は数学界を長年悩ませた超難問でした。 この記事を読むことで、四色問題の概要とコンピュータによる証明の意義がわかり、論理的...