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

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.