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