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