离散数学第9章图论

若不加特殊声明，用n代表点的个数，用m代表边/弧的个数

邻接/相邻/关联

点和点邻接，边和边相邻，点和边关联。

度

自环算两个度，无向图算2，有向图算出度+入度

孤立点

度为0

零图

全是孤立点

平凡图

仅一个孤立点

悬挂点

度为1，对于悬挂边

简单图

无自环，无重边

握手定理

出度 = 入度 = m

利用握手定理可以证明各种各样奇怪的结论：

奇顶点的个数为偶数

$度=出度+入度=2m$
$度=奇顶点\ast 奇数+偶顶点\ast 偶数$
故
$偶数=奇顶点\ast 奇数\Rightarrow 奇顶点=偶数$

简单无向图总有一个点的度数小于等于5

若每个节点的度都大于等于6，则$2m=sum度<=6n$，则$m<=3$，只有3条边怎么都不可能会有度大于等于6的情况，故总有一个点的度数小于等于5。

正则图

属于无向图

const int degree = k

完全图

简单图 && k = n - 1

利用握手定理可推出m = n(n-1)/2

子图

导出子图

$v\subseteq n$

生成子图

v = n

补图

把一个图一分为2，补的是边而不是点

可达/连通/通路

有向图

连接

无向图

基本

点都不同

简单

边都不同

连通性

强连通

每一对顶点之间可达

单向连通

每对顶点之间单向连通

弱连通

仅连接

3度连通

3强连通
2单向连通
1弱连通
0不连通

完备

通过所有顶点

完备回路

完备回路 <=> 强连通

距离

即最短距离或INF

割点/边

仅去掉该点/边，就能使图变得不连通

强分图

具有极大性的强连通子图

压缩

整个强分图当成一个点

顶点基

对任意一个目的地，总能从顶点基中找到一个点作为起点
顶点基具有极小性

寻找顶点基的诀窍就是求压缩。