更改

为避免歧义，上面定义的对象可被更精准地称作'''有向简单图 directed simple graph'''。

为避免歧义，上面定义的对象可被更精准地称作有向简单图 directed simple graph。

允许重边时，上述定义可以推广：'''有向图'''是有序三元组 ordered triple <math>G=(V,E,\phi)</math>，其中  

允许重边时，上述定义可以推广：有向图是有序三元组 ordered triple <math>G=(V,E,\phi)</math>，其中  

* <math>V</math> 是点集；

* <math>V</math> 是点集；

* <math>E</math> 是边集；

* <math>E</math> 是边集；

为避免歧义，上面定义的对象可被更精准地称作'''有向多重图''' directed multigraph。

为避免歧义，上面定义的对象可被更精准地称作有向多重图 directed multigraph。

带自环的有向简单图<math>G</math>在其顶点上诱导出一个对称齐次关系 homogeneous relation，称为<math>G</math>的'''邻接关系 adjacency relation'''。具体来说，对每条边<math>\{ x,y \}</math>，端点<math>x</math>和<math>y</math>称为彼此'''邻接 adjacent''' ，表示为<math>x\sim y</math>。

带自环的有向简单图<math>G</math>在其顶点上诱导出一个对称齐次关系 homogeneous relation，称为<math>G</math>的邻接关系 adjacency relation。具体来说，对每条边<math>\{ x,y \}</math>，端点<math>x</math>和<math>y</math>称为彼此邻接 adjacent，表示为<math>x\sim y</math>。

== 应用 ==

== 应用 ==