本文链接：https://blog.csdn.net/qq_46450354/article/details/139178207

图论知识汇总

——原创作者：青年有志

🎉 博主相信： 有足够的积累，并且一直在路上，就有无限的可能！！！

👨‍🎓个人主页： 青年有志的博客

💯 Gitee 源码地址：

序号
1	第一章图的基本概念	详细介绍
2	第二章树	详细介绍
3	第三章图的连通性	详细介绍
4	第三章图的连通性	详细介绍
5	第四章欧拉图与哈密尔顿图	详细介绍
6	第五章匹配与因子分解	详细介绍
7	第六章平面图	详细介绍
8	第七章图的着色	详细介绍
9	第八章 Ramsey 定理	详细介绍
10	第九章有向图	详细介绍
11	复习课件	详细介绍

序号
1	图论定理汇总（一）	详细介绍
2	图论定理汇总（二）	详细介绍
3	图论特殊结论（一）	详细介绍
4	图论特殊结论（二）	详细介绍
5	图论作业（一）	详细介绍
6	图论作业（二）	详细介绍

第一章图的基本概念——概念部分

序号	符号	说明
1	$K_n$	$n$ 阶完全图
2	$K_{m, n}$	具有二分类 $(X, Y)$ 的完全偶图, 其中 $X$ 的每个顶点与 $Y$ 的每个顶点相连, $∣ X ∣ = m ， ∣ Y ∣ = n$
3	$H$	$G$ 的补图，记为 $H=\overline{G}$
4	$G\cong\overline{G}$	图 $G$ 是自补图， $\cong$ 表示同构
5	$δ (G) / δ$	图 $G$ 的最小度
6	$Δ (G) /Δ$	图 $G$ 的最大度
7	$d (v)$	$G$ 的顶点 $v$ 的度，即 $G$ 中与 $v$ 关联的边的数目
8	$\color{red}G\left[V^{\prime}\right]$	$V^{\prime}$ 为顶点集，以两个端点均在 $V^{\prime}$ 中的边集组成的图，点导出子图
9	$\color{red}G\left[E^{\prime}\right]$	以 $E^{\prime}$ 中边的所有端点为顶点集组成的图，称为图 $G$ 的边导出子图
10	$\color{red}G-V^{\prime}$	在 $G$ 中删去 $V^{\prime}$ 中的顶点和G中与之关联的所有边
11	$\color{red}G-v$	如果只删去一个点 $v$ ，及其与之关联的边
12	$\color{red}G - E^{\prime}$	在 $G$ 中删去 $E^{\prime}$ 中的所有边，产生的导出子图
13	$\color{red}G-e$	只删去一条边 $e$ ，两边的顶点保留
14	$G_1\cup G_2$	$G_1$ 与 $G_2$ 并是指由 $V\left(G_{1}\right)\cup V\left(G_{2}\right)$ 为顶点集，以 $(G_1)\cup E(G_2)$ 为边集组成的子图
15	$\color{red}G_1 + G_2$	如果 $G_1,G_2$ 不相交(没有公共顶点)，则 $G_1\cup G_2 = G_1 + G_2$
16	$\color{red}G_1\cap G_2$	$G_1$ 与 $G_2$ 交是指由 $V\left(G_{1}\right)\cap V\left(G_{2}\right)$ 为顶点集，以 $(G_1)\cap E(G_2)$ 为边集组成的子图
17	$\color{red}G_1-G_2$	$G_1$ 与 $G_2$ 的差是指从 $G_1$ 中删去 $G_2$ 中的边得到的新图
18	$G_1\Delta G_2$	$G_1$ 与 $G_2$ 的对称差, $G_1\Delta G_2=(G_1\cup G_2)-(G_1\cap G_2)$
19	$\color{red}G_1\vee G_2$	设 $G_1,G_2$ 是两个不相交的图，作 $\color{red}G_1+G_2$ ，并且将 $G_1$ 中每个顶点和 $G_2$ 中的每个顶点连接
20	$\color{red}G_1\times G_2$	$G_1$ 与 $G_2$ 的积图， $u_1=v_1$ 和 $u_2$ adj $v_2)$ 或 $u_2=v_2$ 和 $u_1$ adj $v_1)$
21	$\color{red}G_1[\text{ G }_2]$	$G_1$ 与 $G_2$ 的合成图， ( $u_1$ adj $v_1)$ 或 $u_1=v_1$ 和 $u_2$ adj $v_2)$
22	$d (u, v)$	$u$ 与 $v$ 间最短路的长度称为 $u$ 与 $v$ 间距离
23	$\color{red}ω(G)$	$G$ 的连通分支的个数，称为 $G$ 的分支数
24	$d (G)$	图G的直径
25	$w (e)$	边的权值
26	$A(G)=(a_{ij})$	图 $G$ 的邻接矩阵 $a_{ij}=\begin{cases}l,~~~~v_i\text{与 }v_j\text{间边数}\\\textbf{0,}~~~~v_i\text{和 }v_j\text{不邻接}&\end{cases}$
27	$M(G)=(a_{ij})_{n\times m}$	图 $G$ 的关联矩阵
28	$f(G,\lambda)=\left\|\lambda E-A\right\|$	图 $G$ 的特征多项式
29	$\Lambda\left(G\right)$	邻接代数
30	$\begin{aligned}V&=\bigcup_{i=1}^lV_i,V_i\cap V_j=\Phi,i\neq j\end{aligned}$	所有的 $V_i$ 非空， $V_i$ 内的点均不邻接，称 $G$ 是一个 $l$ 部图
31	$T_{l, n}$	$n$ 阶完全 $l$ 几乎等部图

第一章图的基本概念——概念部分

名词	概念
有限图	顶点集和边集都有限的图称为有限图；
平凡图	只有一个顶点而无边的图称为平凡图；其他所有的图都称为非平凡图
空图	边集为空的图称为空图；
n阶图	顶点数为n的图称为n阶图；
(n, m) 图	顶点数为n,边数为m的图称为(n, m) 图；
边的重数	连接两个相同顶点的边的条数称为边的重数；重数大于1的边称为重边；
环	端点重合为一点的边称为环；
简单图	无环无重边的图称为简单图；其余的图称为复合图；
顶点u与v相邻接	顶点u与v间有边相连接；其中u与v称为该边的两个端点；
顶点u与边e相关联	顶点u是边e的端点；
边 $e_1$ 与边 $e_2$ 相邻接	边 $e_1$ 与边 $e_2$ 有公共端点；
孤立点	不与任何边相关联的点；
自补图	图G与其补图同构
$k$ -正则图	$G = (V, E)$ 为简单图，如果对所有 $\in V$ ，有 $d (v) = k$ , 完全图和完全偶图 $K_{n,n}$ 均是正则图（n-1 正则图，所有 $d (v) = n - 1$ ）
途径（或通道或通路）	一个有限非空序列 $\color{red}w= v_0 e_1 v_1 e_2 v_2…e_k v_k$ ，它的项交替地为顶点和边（点和边可重复）
迹	边不重复的途径称为图的一条迹
路	顶点不重复的途径称为图的一条路。
闭途径、闭迹（回路）与圈	起点与终点重合的途径、迹、路
$k$ 圈	长度为 $k$ 的圈
奇圈	$k$ 为奇数
偶圈	$k$ 为偶数
$l$ 部图	简单图 $G$ 的点集 $V$ 有一个划分： $\begin{aligned}V&=\bigcup_{i=1}^lV_i,V_i\cap V_j=\Phi,i\neq j\end{aligned}$ 且所有的 $V_i$ 非空， $V_i$ 内的点均不邻接
完全 $l$ 部图	如果在一个 $l$ 部图 $G$ 中，任意部 $V_i$ 中的每个顶点同 $G$ 中其它各部中的每个顶点均邻接
完全 $l$ 几乎等部图	如果在一个 $n$ 个点的完全 $l$ 部图 $G$ 中有： $\begin{aligned}&n=kl+r,0\leq r<l\\&\|V_1\|=\|V_2\|=\cdots=\|V_r\|=k+1\\&\|V_{r+1}\|=\|V_{r+2}\|=\cdots=\|V_l\|=k\end{aligned}$
分支点	内点和树根统称