图论生疏点

完全图

无向完全图：任意两个结点间都有边相连的简单图，边数$C_n^2$，记作$K_n$
有向完全图：任意两个结点间都有方向相反的两条有向边，边数$2C_n^2$，记作$D_n$

正则图

无向简单图中，每一个结点度数均为k，则称其为$k-正则图$，完全图是$K_n$是$(n-1)-正则图$

生成子图

结点个数与母图一致，边在母图范围内变化

导出子图

$G[V_1]$表示从母图$G$中导出$V_1$结点集合的子图
$G[E_1]$表示从母图$G$中导出$E_1$边集合的子图

自补图

与自身度补图同构的图，n=4k or 4k+1 (0,1,4,5,8,9)

握手定理

• 奇度偶个
• 出度和=入度和=边数
• 总度和=2m
• 若$G$为无向简单图则$\Delta (G)<=n-1$

判断一个度序列是否可图化：奇度偶个
判断一个度序列是否可简单图化：先看$\Delta (G)是否<=n-1$，不成立则不可简单图化，成立则需要具体动手画图来判断

图的同构

1. 证明两个图是否是同构：建立结点之间的双射函数和边之间的双射函数

2. 判断两个图是否同构的必要条件：
   1 ) 比较结点数、边数、度序列、回路长度
   2 ) 随意拖动结点看能否一样(化学中的同分异构体)

3. 给出结点数、边数、总度数来画出其所有的不同构图
   1 ) 先按0的个数来分类写出所有度序列
   2 ) 根据握手定理和实际画图来排除

短线程与结点间距离

短线程：两结点间长度最短的通路
结点间距离：短线程的长度，记作$d(v_i,v_j)$

判断4阶图中v1到v4的距离：

1. 先求出1到4阶邻接矩阵
2. 依次看1到4阶矩阵中的a14，最低阶数且非0，则最低阶数为其距离

关联矩阵M(G)——纵v行e

无向图：(点与边关联1，点与环关联2，不关联0)

1. 每一列和均为2
2. 每一行和为对应结点度数(行和为0则是孤立结点)

有向图：(点是边的起点1，点是边的终点-1，不关联0)

1. 每一列和均为0
2. 每一个行中1的个数为结点出度，-1个数为结点入度

邻接矩阵A(G)——纵v行v

行出列入

可达矩阵P(G)——纵v行v

• 对角线元素均为1
• 无向图的P(G)对称
• 有向图的P(G)不一定对称

无向连通图

1. 任意两结点都是可达的
2. $w(G)$表示连通分支数
3. 割点与割边
   1 ) 割点：一个图存在割点则该图一定存在两个可达结点到达另一个结点时一定通过割点
   2 ) 割边：割边不包含在图中任何回路中
4. $K(G)$表示点连通度，$\lambda (G)$表示边连通度

有向连通图

1. 强连通图：G中存在经过每个结点至少一次的回路
2. 单向连通图：G中存在经过每个结点至少一次的通路
3. 弱连通图：没有上述的回路和通路，但是忽略边方向后是连通的

二部图

G是二部图，当且仅当G中无奇数长度的回路

欧拉图的判定定理

无向图：

• 欧拉图：G是连通的且每个结点都数偶度结点
• 半欧拉图：G是连通的且有两个奇度结点，其余均为偶度结点

有向图：

• 欧拉图：G是连通的且每个结点入度=出度
• 半欧拉图：G是连通的且存在两个奇度结点，其余均为偶度结点，一个奇度结点出度比入度大1，另一个入度比出度大1

哈密顿图的判定定理

• 一个图删去某个结点集合后的连通分支数$>$删去的结点数，则该图不是哈密顿图(通常删去高度数结点)
• 有割点的图一定不是哈密顿图
• 不相邻的两个结点度数和$>=n-1$，则存在哈密顿通路
• 不相邻的两个结点度数和$>=n$，则存在哈密顿回路
• 二部图的$|V_1|=|V_2|$，则为哈密顿图
• 二部图的$|V_1|+1=|V_2|$，则为半哈密顿图
• 二部图的$|V_1|+2<=|V_2|$，则不是哈密顿图

树

1. m=n-1
2. 求最小生成树
3. 求最优二叉树