图的逻辑结构
对于图中结点与结点间“多对多”的关系,采用集合的方式描述。
- 图的定义和基本术语
图的定义
图的表示形式
图的表示可以用文字符号表述,也可以用图形描述,有下面两种形式:
1)集合表示:对于一个图G,如果将其记为G = <V, E>,并写出V和E的集合表示,称为图的集合表示。
2)图形表示:用小圆圈表示V中的结点,用由u指向v的有向线段表示有向边<u, v>;无向线段表示无向边(u, v),称为图的图形表示。
图的基本术语
强连通图:在有向图中,若对于每一对顶点 vi 和 vj ,都存在一条从vi 到 vj 和从 vj 到 vi 的路径,则称此图是强连通图。
强连通分量:非强连通图中的极大强连通子图。强连通图只有一个强连通分量,即其自身;非强连通的有向图有多个强连通分量。
若 T 是 G 的生成树当且仅当 T 满足如下条件:
- T 是 G 的连通子图;
- T 包含 G 的所有顶点;
- T 中无回路。
- 图的操作定义