结点逻辑关系任意的非线性结构——图01

图的逻辑结构

对于图中结点与结点间“多对多”的关系，采用集合的方式描述。

1. 图的定义和基本术语

图的定义

图的表示形式

图的表示可以用文字符号表述，也可以用图形描述，有下面两种形式：
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 中无回路。

2. 图的操作定义