图论〔Graph Theory〕是数学的一个分支。它以图为研究对象。主要应用在计算机学科方法论的三个过程中的（）。

A.抽象

B.理论

C.实验和论证

D.自动化设计及实现