数学 離散数学 グラフ理論 四色問題 四色定理