763
个编辑
更改
跳到导航
跳到搜索
第52行：
第52行： − 为避免歧义，上面定义的对象可被更精准地称作'''有向简单图 directed simple graph'''。+ 第58行：
第58行： − 允许重边时，上述定义可以推广：'''有向图'''是有序三元组 ordered triple <math>G=(V,E,\phi)</math>，其中 + 第64行：
第64行： − 为避免歧义，上面定义的对象可被更精准地称作'''有向多重图''' directed multigraph。+ 第70行：
第70行： − +
→有向图
为避免歧义，上面定义的对象可被更精准地称作有向简单图 directed simple graph。
允许重边时，上述定义可以推广：有向图是有序三元组 ordered triple <math>G=(V,E,\phi)</math>，其中
* <math>V</math> 是点集；
* <math>V</math> 是点集；
* <math>E</math> 是边集；
* <math>E</math> 是边集；
为避免歧义，上面定义的对象可被更精准地称作有向多重图 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>。
== 应用 ==
== 应用 ==