字典

有限個の要素からなる集合上の二項関係を研究する数学の一分野。 1736年にオイラーによってその端緒が開かれ， 計算機科学の発達とともに重要性が認識された。 特に， 地図色分けに関する定理（四色定理）は， この分野の重要な結果の一つ。