数据结构（C语言版）第七章 图-整理-7.1

7.1 图的定义和术语

顶点：图中的数据元素
V：顶点的有穷非空集合
VR：两个顶点之间的关系集合
有向图：
弧：若<v,w>属于VR，则<v,w>表示从v到w的一条弧
弧尾（初始点）：v
弧头（终端点）：w

G₁=(V₁,{A₁})
V₁={v₁,v₂,v₃,v₄}
A₁={<v₁,v₂>,<v₁,v₃>,<v₃,v₄>,<v₄,v₁>}

无向图：
边：若<v,w>属于VR必有<w,v>属于VR，即VR是对称的。以无序对(v,w)代替这两个有序对

G₂=(V₂,{E₂})
V₂={v₁,v₂,v₃,v₄,v₅}
A₁={(v₁,v₂),(v₁,v₄),(v₂,v₃),(v₂,v₅),(v₃,v₄),(v₃,v₅)}

n表示图中顶点数目，e表示边或弧的数目

完全图：有1/2n(n-1)条边的无向图
有向完全图：有n*(n-1)条弧的有向图
稀疏图：e<nlogn的图
稠密图：稀疏图的反例
权：与图的边或弧相关的数
网：带权的图

v的度（TD(v)）：与顶点v相关联的边的数目
v的入度（ID(v)）：以顶点v为头的弧的数目
v的出度（OD(v)）：以顶点v为尾的弧的数目
TD(v)=ID(v)+OD(v)
一个有n个顶点，e条边或弧的图：e=1/2${\sum }_{i=1}^n$TD(v_i)
路径的长度：路径上边或弧的数目
无向图
回路或环：第一个顶点和最后一个顶点相同的路径
简单路径：序列中顶点不重复的路径
简单回路或简单环：除了第一个顶点和最后一个顶点之外，其余顶点不重复出现的回路。
连通：在无向图中，如果从顶点v到顶点v^’ 有路径
连通图：对图中任意两个顶点v_i、v_j属于V，v_i和v_j都是连通的
连通分量：无向图中的极大连通子图
有向图
强连通图：对于每一对v_i、v_j属于V，从v_i到v_j和从v_j到v_i都存在路径
强连通分量：有向图中的极大强连通子图
连通图的生成树：一个极小连通子图，含图中全部顶点，只有构成一棵树的n-1条边
非连通图：一个图有n个顶点和小于n-1条边
有向树：一个有向图恰有一个顶点的入度为0，其余顶点的入度均为1
有向图的生成森林：由若干棵有向树组成，含有图中全部顶点，但只有构成若干棵不相交的有向树的森林