四よん色しょく定てい理り

noun

four-color theorem; four-color map theorem

A mathematical theorem stating that any map in a plane can be colored with at most four colors so that no two adjacent regions share the same color. Used in graph theory and topology.

• 四よん色しょく定てい理りは、コンピューターによって証しょう明めいされた最さい初しょの主しゅ要ような定てい理りの一ひとつです。

  The four-color theorem is one of the first major theorems to be proved using a computer.

• 地ち図ずの塗ぬり分わけには、四よん色しょく定てい理りが関かん係けいしています。

  The coloring of maps is related to the four-color theorem.