有向グラフ の 理論 は 、 数学 の 一部門 である 。