also: ししょくていり
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.