单项选择题

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

A.抽象
B.理论
C.实验和论证
D.自动化设计及实现