グラフ理論形式の定義.