图论 | 期末复习笔记 | （一）

第一章：基本概念

预备知识

无序积、笛卡尔积、多重集合

• 无序积：$(a,b)|a\in Aandb\in B$，记作$A\&B$（$A\&B=B\&A$）
• 笛卡尔积：$<a,b>|a\in A,b\in B$，记作$A\times B$）（只有$A=B$时有$A\times B=B\times A$​）
• 多重集合：元素可以重复出现的集合（重复次数称为重复度）

无向图、有向图以及xx图

无向图

• 无向图：一个有序的二元组$<V,E>$，记作$G$，$V\ne \varnothing$ 顶点集，E为边集，是无序积$V\&V$ 的多重子集

有向图

• 有向图：一个有序的二元组$<V,E>$，记作$D$，$V\ne \varnothing$ 顶点集，E为边集，是笛卡尔序积$V\times V$​ 的多重子集

若$|V(G)|=n$，则称$G$为n阶图。如果$|V(G)|=n,|E(G)|=m$，$G$也表示为$(n,m)$图

• 有限图：$|V(G)||E(G)|$ 均为有限数的图
• 零图：$E(G)=\varnothing$ 此时若$G$为$n$阶图，则称$G$为$n$阶零图，记作$N_n$
• 平凡图：$N_1$​
• 空图：顶点集为空的图（$\varnothing$）
• 标定图与非标定图：顶点或边（没）用字母标定的图（常用$e_k$表示无向边$(V_i,v_j)$有向边$<v_i,v_j>$）
• 基图：将有向图各有向边改成无向边后的无向图（为原图的…）
• 简单图：既不含平行边也不含环的图
• 多重图：含平行边的图

平行边：无向图中，关联一对顶点的无向边如果多于1条，就称这些边为平行边；有向图中，关联一对顶点的无向边如果多于1条，且这些边的始点和终点相同

• 正则图：若对$\forall v\in V$, $d(v)=k$ ,则称$G$​为k-正则图
• 无向完全图：设$G$为$n$阶无向简单图，若$G$中的每个顶点均与其余的$n-1$个顶点相邻，则称$G$为$n$阶无向完全图，简称$n$阶完全图。在同构意义下，$n$个顶点的完全图只有一个，记作$K_n(n⩾1)$。
• 有向完全图：设$D$为$n$阶有向简单图，若$D$中的每个顶点都邻接到其余的$n-1$个顶点，又邻接于其余的$n-1$个顶点，则称$D$为$n$阶有向完全图。
• n阶竞赛图：设$D$为$n$阶有向简单图，若$D$的基图为$n$阶无向完全图$K_n$，则称$D$是$n$​阶竞赛图。

结论：

• n阶无向完全图的边数为：$\frac{n(n-1)}{2}$​
• n阶有向完全图的边数为：$n(n-1)$
• n阶竞赛图的边数为：$\frac{n(n-1)}{2}$​

• 补图：设$G=<V,E>$为$n$阶无向简单图， E 1 = { u v ∣ u ≠ v , u , v ∈ V } E_1=\{uv|u\neq v,u,v\in V\} E1​={uv∣u=v,u,v∈V}，称$H=(V,E_1\backslash E)$称为$G$的补图，记作$\bar{G}$或者$G^c$。若图$G\cong \bar{G}$，则称$G$​为自补图。（补图就像是给原图的边关系做了一个"反转"，原来相连的现在不连，原来不连的现在相连。）
  • 定理：若$n$阶图$G$是自补图则有$n=0,1\mathrm{mod}4$​。（证明通过G与其补图边数之和等于n阶完全图的边数）
• 二部图(两分图、偶图)：设$G=<V,E>$为一个无向图，若能将$V$分成$V_1$和$V_2$两部分，其中$V_1\cup V_2=V,V_1\cap V_2=\varnothing$，使得$G$中的每条边的两个端点都是一个属于$V_1$，另一个属于$V_2$，则称$G$为二部图（二分图、偶图），称$V_1$和$V_2$为互补顶点子集。常将二部图$G$记为$<V_1,V_2,E>$
• 完全二部图：若$G$是简单二部图，$V_1$中每个顶点均与$V_2$中的所有顶点相邻，则称$G$为完全二部图，记为$K_{r,s}$，其中$r=|V_1|,s=|V_2|$​​​。

注意：

• $n$阶零图为二部图。

• $K_{1,n}$也叫做星，$K_{1,3}$也叫做爪图。

• 多部图：设$G=<V,E>$为一个无向图，若能将$V$分成$V_1,V_2,\dots ,V_k$ $k$部分，其中$V_1\cup V_2\cup \cdots \cup V_k=V,V_i\cap V_j=\varnothing ,\forall i,j$，使得$G$中的每条边的两个端点都是一个属于$V_i$，另一个属于$V_j$，则称$G$为**$k$部图**。常将$k$部图$G$记为$<V_1,V_2,\dots ,V_k,E>$。

• 完全多部图：若$G$是简单$k$部图，$V_i$中每个顶点均与$V_j$中的所有顶点相邻，则称$G$为完全$k$部图，记为$K_{r_1,r_2,\dots ,r_k}$，其中$r_i=|V_i|$​。

• 边图（线图）：设$G$是一个无环图，边图$L(G)$这样构成。将$E(G)$中的每条边作为$L(G)$的顶点集，即$V(L(G))=E(G)$，$L(G)$中的两项相邻当且仅当它们是$G$​中的两条相邻的边。

  • 线图顶点的度数：$d_{L(G)}(uv)=d_G(u)+d_G(v)-2$（uv对应的顶点数为除uv这条边以外的与u，v相邻的边的条数之和）

  • 线图的边数：$|E(L(G))|=\sum _{v\in G}{C}_{d_G(v)}^2$（定义证明与握手定理证明）​

  • 线图总是无爪图，即线图的所有导出子图均不是$K_{1,3}$

  • $G\cong L(G)$当且仅当$G$是一个圈。

  • 若$G\cong H$，则$L(G)\cong L(H)$。在他们都不是三角形$K_3$或爪形$K_{1,3}$时，若$L(G)\cong L(H)$，则$G\cong H$。

  • 多次应用线图：$L^n(G)=L(L^{n-1}(G))$​。

• 子图：设$G=<V,E>,G^{\prime }=<V^{\prime },E^{\prime }>$为两个图（同为无向图或同为有向图），若$V^{\prime }\subseteq V$且$E^{\prime }\subseteq E$，则称$G^{\prime }$是$G$的子图，$G$为$G^{\prime }$的母图，记作$G^{\prime }\subseteq G$。

  • 真子图：若$V^{\prime }\subset V$或$E^{\prime }\subset E$，则称$G^{\prime }$为$G$的真子图
  • 若$V^{\prime }=V$，则称$G^{\prime }$为$G$​的生成子图（支撑子图）

  定义中一定要保证$G^{\prime }$​是图这个前提

• 导出子图：

  • 设$G=<V,E>$为一图，$V_1\subset V$且$V_1\ne \varnothing$，称以$V_1$为顶点集，以$G$中两个端点都在$V_1$中的边组成边集$E_1$的图为$G$的$V_1$导出的子图，记作$G[V_1]$。
  • 设$G=<V,E>$为一图，$E_1\subset E$且$E_1\ne \varnothing$，称以$E_1$为边集，以$E_1$中边关联的顶点为顶点集$V_1$的图为$G$的$E_1$导出的子图，记作$G[E_1]$。

关联与关联次数、环、孤立点

• 关联：边$e_k$与其两个端点$V_i,V_j$彼此关联
• 关联次数：$v_i=v_j\to$ 关联次数为2，$e_k$为环；$v_i\ne v_j\to$关联次数为1； ∀ v l ∈ V , i f   v l ∉ { v i , v j } \forall v_{l}\in V,if\,v_{l}\notin \{v_{i},v_{j}\} ∀vl​∈V,ifvl​∈/{vi​,vj​}，关联次数为0
• 孤立点：无边关联的点（无向图、有向图定义均一致）

相邻与邻接

• 相邻：在无向图中，$\exists e_t\in E,s.t.e_t=(v_i,v_j)$, 则$v_i$与$v_j$相邻；若$\exists v_u\in V(G),v_u=e_k\cap e_l$,则称两边相邻
• 邻接：在有向图中，$\exists e_t\in E,s.t.e_t=<v_i,v_j>$,则称$v_i$为$e_t$的始点，$v_j$为$e_t$的终点，并称$v_i$邻接到$v_j$，$v_j$邻接于$v_i$; 若$e_k$的终点为$e_l$的始点，则称$e_k$与$e_l$​相邻

邻域

• 设无向图$G=<V,E>$，$\forall v\in V$，称 { u ∣ u ∈ V ∧ ( u , v ) ∈ E ∧ u ≠ v } \{u|u \in V \wedge (u,v) \in E \wedge u \neq v\} {u∣u∈V∧(u,v)∈E∧u=v}为$v$的邻域，记作$N_G(v)$。称 N G ( v ) ∪ { v } N_G(v) \cup \{v\} NG​(v)∪{v}为$v$的闭邻域，记作${\bar{N}}_G(v)$。称 { e ∣ e ∈ E ∧ e 与 v 相关联 } \{e|e \in E \wedge e与v相关联\} {e∣e∈E∧e与v相关联}为$v$的关联集，记作$I_G(v)$。

• 设有向图$D=<V,E>$，$\forall v\in V$，称 { u ∣ u ∈ V ∧ < v , u > ∈ E ∧ u ≠ v } \{u|u \in V \wedge <v,u> \in E \wedge u \neq v\} {u∣u∈V∧<v,u>∈E∧u=v}为$v$的后继元集，记作${\Gamma }_D^{+}(v)$。称 { u ∣ u ∈ V ∧ < u , v > ∈ E ∧ u ≠ v } \{u|u \in V \wedge <u,v> \in E \wedge u \neq v\} {u∣u∈V∧<u,v>∈E∧u=v}为$v$的先驱元集，记作${\Gamma }_D^{-}(v)$。称${\Gamma }_D^{+}(v)$为$v$的出邻域，${\Gamma }_D^{-}(v)$为$v$的入邻域。${\Gamma }_D^{+}(v)\cup {\Gamma }_D^{-}(v)$为$v$的邻域，记作$N_D(v)$。称 N D ( v ) ∪ { v } N_D(v) \cup \{v\} ND​(v)∪{v}为$v$的闭邻域，记作${\bar{N}}_D(v)$。

• 子集的邻域：$V$的子集$S$的邻域：$N(S)=\bigcup _{v\in S}N(v)\forall S\subseteq V$

注意区分概念：相邻、邻接、关联、邻域

顶点的度

• 定义：$d_G(v)$表示与顶点$v$​相关联的边的次数（环计算两次）

$d(v)\ne |N(v)|$ $v$上有环或者与$v$​关联的边有重边时不对

• 有向图：$d_D^{+}(v)$为出度（边的始点次数），$d_D^{-}(v)$为入度（边的终点次数），$d(v)=d^{+}(v)+d^{-}(v)$​

某个点上的有向环要对这个点计算一次入度计算一次出度

• 最大度： Δ ( G ) = max ⁡ { d ( v ) ∣ v ∈ V ( G ) } \Delta(G)=\max\{d(v)|v\in V(G)\} Δ(G)=max{d(v)∣v∈V(G)}, 最大出（入）度： Δ + ( − ) ( D ) = max ⁡ { d + ( − ) ( v ) ∣ v ∈ V ( D ) } \Delta^{+(-)}(D)=\max\{d^{+(-)}(v)|v\in V(D)\} Δ+(−)(D)=max{d+(−)(v)∣v∈V(D)}
• 最小度： δ ( G ) = min ⁡ { d ( v ) ∣ v ∈ V ( G ) } \delta(G)=\min\{d(v)|v\in V(G)\} δ(G)=min{d(v)∣v∈V(G)}, 最小出（入）度： δ + ( − ) ( D ) = min ⁡ { d + ( − ) ( v ) ∣ v ∈ V ( D ) } \delta^{+(-)}(D)=\min\{d^{+(-)}(v)|v\in V(D)\} δ+(−)(D)=min{d+(−)(v)∣v∈V(D)}​
• 悬挂顶点与悬挂边：度数为1的顶点，与悬挂顶点关联的边
• 偶度（奇度）顶点：度为偶数（奇数）

握手定理

• 定义1：设$G=<V,E>$ 为任意无向图， V = { v 1 , v 2 , … , v n } V=\{v_{1},v_{2},\dots,v_{n}\} V={v1​,v2​,…,vn​}, $|E|=m$ 则有

$$\sum _{i=1}^{n}d(v_i)=2m$$

• 定义2：设$D=<V,E>$为任意有向图， V = { v 1 , v 2 , … , v n } V=\{v_{1},v_{2},\dots,v_{n}\} V={v1​,v2​,…,vn​}, $|E|=m$​ 则有

$$\sum _{i=1}^{n}d(v_i)=2mand\sum _{i=1}^n{d}^{+}(v_i)=\sum _{i=1}^n{d}^{-}(v_i)=m$$

• 证明：分为简单图和非简单图来证明（非简单图转化到简单图的证法）

• 推论1：任意图中，奇度顶点的个数为偶数

  • 证明：
    设 $G=<V,E>$为任意一图，令
    V 1 = { v ∣ v ∈ V ∧ d ( v ) 为奇数 } V_1 = \{v | v \in V \land d(v) \text{为奇数}\} V1​={v∣v∈V∧d(v)为奇数}

    V 2 = { v ∣ v ∈ V ∧ d ( v ) 为偶数 } V_2 = \{v | v \in V \land d(v) \text{为偶数}\} V2​={v∣v∈V∧d(v)为偶数}

    则 $V_1\cup V_2=V$，$V_1\cap V_2=\varnothing$，由握手定理可知
    $$2m=\sum _{v\in V}d(v)=\sum _{v\in V_1}d(v)+\sum _{v\in V_2}d(v)$$

    由于 $2m$ 和 $\sum _{v\in V}d(v)$，所以$d(v)$​为偶数，
    $$\sum _{v\in V}d(v)\text{为偶数}$$

    但因 $V_1$ 中顶点度数为奇数，所以 $|V_1|$ 必为偶数。

• 推论2：正则图的阶数和度数不能同时为奇数

  • 证明：设$G$是k-正则图，且顶点数为$n$，边数为$m$,由握手定理知：$2m=kn$ 由于$2m$是偶数，则$k,n$中至少有一个为偶数。$Q.E.D.$

• 推论3：$\delta \le \frac{2m}{n}\le \Delta$ 其中$\delta$为最小度,$\Delta$​最大度（握手定理证明）

度序列

• 定义：$d(v_i),i\in [1,n]$ （是图的“拓扑不变量”—对于与图G同构的所有图来说不会发生改变）
• 有向图的出度列和入度列
• 性质：一个简单图G的n个点的度不能互不相同（证明分孤立点个数、鸽笼原理）

图的同构

• 定义：设$G_1=<V_1,E_1>,G_2=<V_2,E_2>$为两个无向图，若存在双射函数$f:V_1\to V_2$，使得对于任意的$v_i,v_j\in V_1,(v_i,v_j)\in E_1$当且仅当$(f(v_i),f(v_j))\in E_2$，并且$(v_i,v_j)$与$(f(v_i),f(v_j))$的重数相同，则称$G_1$与$G_2$是同构的，记作$G_1\cong G_2$​。图的同构关系是等价关系。

• 简单的来说，图的同构就像是两张纸画的两个图形，如果可以通过折叠、拉伸但不撕裂或重叠，使得它们的形状完全一致，那么这两个图形就是同构的。

• 必要条件：

  • 顶点数相同
  • 边数相同
  • 关联边数相同的顶点数相同

• 单星妖怪（Petersen图，常用作反例）

图序列

图序列

• 任何一个图都有一个非负整数列为其度序列。
• 可图化：对于给定的非负整数列 d = { d 1 , d 2 , … , d n } d=\{d_1,d_2,\ldots,d_n\} d={d1​,d2​,…,dn​}，若存在以 V = { v 1 , v 2 , … , v n } V=\{v_1,v_2,\ldots,v_n\} V={v1​,v2​,…,vn​}为顶点集的$n$阶无向图$G$，使得$d(v_i)=d_i$，则称$d$是可图化的（或者称$d$为图序列）
• 判定定理：非负整数列$d=(d_1,d_2,\dots ,d_n)$是一个图的度序列当且仅当${\sum }_{j=1}^n{d}_j\equiv 0(\mathrm{mod}2)$​。

度序列的简单图化

• 定义：一个非负整数组$d$如果是某个简单图的度序列，我们称它为简单图序列或者称可简单图化。

简单图序列的条件

充要条件

• 定理：若$d_1,d_2,\dots ,d_n$是简单图的次序列，且$d_1\ge d_2\ge \dots \ge d_n$，则${\sum }_{i=1}^n{d}_i$是偶数，且对$1\le k\le n$​。
  ∑ i = 1 k d i ⩽ k ( k − 1 ) + ∑ i = k + 1 n min ⁡ { k , d i } \sum_{i=1}^{k}d_i\leqslant k(k-1)+\sum_{i=k+1}^{n}\min\{k,d_i\} i=1∑k​di​⩽k(k−1)+i=k+1∑n​min{k,di​}

必要条件

• 定理：设$G$为任意$n$阶无向简单图，则$\Delta (G)⩽n-1$​
• 作用：快速判断某些非负整数列不是简单图的度序列

结论总结

• 总结：虽然有判断一个非负整数列是否可简单图化的充要条件，但即使判断能简单图化，也没有有效的算法计数及构造，但对小规模的数组， 我们可以采用「枚举+性质」等方式来构造出所有的简单图。构造过程中可以通过拿掉最小度数点和最大度数点简化情况。
• 思路：先判断是否为图序列${\sum }_{j=1}^n{d}_j\equiv 0(\mathrm{mod}2)$​ ,再判断简单图序列的必要条件

简单图化的算法

• 定理：设$\pi =(d_1,d_2,\dots ,d_n)$是非负整数的非增序列，${\pi }_1$是序列$d_2-1,d_3-1,\dots ,d_{d_1+1}-1,d_{d_1+2},\dots ,d_n$，则$\pi$是简单图次序列的充要条件是${\pi }_1$​是简单图次序列。（迭代使用）

图运算

图的删边删点运算

删边运算

• 设$G=<V,E>$为无向图，设$e\in E$，用$G-e$表示从$G$中去掉边$e$，称为删除$e$。设$E^{\prime }\subset E$，用$G-E^{\prime }$表示从$G$中删除$E^{\prime }$中所有的边，称为删除$E^{\prime }$。

删点运算

• 设$G=<V,E>$为无向图，设$v\in V$，用$G-v$表示从$G$中去掉$v$及$v$所关联的一切边，称为删除顶点$v$。设$V^{\prime }\subset V$，用$G-V^{\prime }$表示从$G$中删除$V^{\prime }$中所有顶点，称为删除$V^{\prime }$

说明:

• 删边只删边，保留顶点，而删点必须删除这个点及与这个点关联的所有边
• 删边相当于道路网络中某条主干道坏了，删点则是坏掉一个十字路口

图的边收缩、加边运算

边收缩

• 设边$e=(u,v)\in E$，用$G\backslash e$表示从$G$中删除$e$后，将$e$的两个端点$u,v$用一个新的顶点$w$（或用$u$或$v$充当$w$）代替，使$w$关联除$e$外$u,v$关联的所有边，称为边$e$的收缩

加边运算

• 设$u,v\in V$（$u,v$可能相邻，也可能不相邻），用$G\cup (u,v)$（或$G+(u,v)$）表示在$u,v$之间加一条边$(u,v)$​，称为加新边

在收缩边和加新边过程中可能产生环和平行边。收缩边时一定会产生环，为了和原图的环区别，一般这个环都不记录。当还原成原图只需记录那些边被收缩了

图不交、边不交

• 设$G_1=<V_1,E_1>,G_2=<V_2,E_2>$为两个图。
• 若$V_1\cap V_2=\varnothing$，则称$G_1$与$G_2$是不交的
• 若$E_1\cap E_2=\varnothing$，则称$G_1$与$G_2$是边不交的或边不重的。
• 不交的图，必然是边不交的，但反之不真。

图的并、差、交、环和

• 设$G_1=<V_1,E_1>,G_2=<V_2,E_2>$为不含孤立点的两个图（同为无向图或同为有向图）。
  • 称以$E_1\cup E_2$为边集，以$E_1\cup E_2$中边关联的顶点组成的集合为顶点集的图为$G_1$与$G_2$的并图，记作$G_1\cup G_2$。
  • 称以$E_1-E_2$为边集，以$E_1-E_2$中边关联的顶点组成的集合为顶点集的图为$G_1$与$G_2$的差图，记作$G_1-G_2$​。
  • 称以$E_1\cap E_2$为边集，以$E_1\cap E_2$中边关联的顶点组成的集合为顶点集的图为$G_1$与$G_2$的交图，记作$G_1\cap G_2$。
  • 称以$E_1\oplus E_2$为边集，以$E_1\oplus E_2$中边关联的顶点组成的集合为顶点集的图为$G_1$与$G_2$的环和，记作$G_1\oplus G_2$。

图的联运算

• 设$G_1,G_2$是两个不相交的图，作$G_1\cup G_2$，并且将$G_1$中的每个顶点和$G_2$中的每个顶点连接，这样得到的新图称为$G_1$与$G_2$的联图，记为$G_1\vee G_2$​。

路与圈

路与圈

• $G$的一条**通路（或通道或途径）**是指一个有限非空序列$w=v_0{e}_1{v}_1{e}_2{v}_2\dots e_k{v}_k$，交替为顶点和边，使得对于任意的$i(1⩽i⩽k)$，$e_i$的端点是$v_{i-1}$和$v_i$。通路中边数称为通路的长度。$v_0,v_k$分别称为通路的起点与终点，其余顶点称为通路的内部点。

• 边不重复（或各边相异）的通路称为图的一条迹（行迹）。

• 顶点不重复的通路称为图的一条路（或轨道）。

  注：顶点不重边一定不重，边不重顶点不一定不重。

• 起点与终点重合的途径、迹、路分别称为图的闭途径、闭迹与圈。闭迹也称为回路。

  注：简单来说就是一般，边不重，点不重。

• 长度为$k$的圈称为$k$圈，$k$为奇数时称为奇圈，$k$​为偶数时称为偶圈。长度相同的圈都是同构的。

• 图中$u$与$v$间最短路的长度称为顶点$u$与$v$间的距离，记作$d(u,v)$。如果$u$与$v$间不存在路，定义$d(u,v)=\infty$​​。

  注：对于没加权图而言，路的长度指路上边的条数。对于加权图而言，路的长度指路上的边权之和。距离是最短路的长度。

路与圈的性质

• 定理：在$n$阶图$G$中，若从顶点$v_i$到$v_j(v_i\ne v_j)$存在通路，则从$v_i$到$v_j$一定存在长度小于等于$n-1$​的顶点不重复的路。
• 定理：在$n$阶图$G$中，若存在$v_i$到自身的回路，则一定存在$v_i$到自身长度小于等于$n$​的回路。
  • 推论：在$n$阶图$G$中，若存在$v_i$到自身边不重的回路，则一定存在$v_i$到自身长度小于等于$n$​的圈。

扩大路径法

• 设$G=<V,E>$为$n$阶无向图，$E\ne \varnothing$，设${\Gamma }_l$为$G$​中的一条路径，若此路径的始点或终点与通路外的顶点相邻，就将它们扩到通路中来。继续这一过程，直到最后得到的通路的两个端点不与通路外的顶点相邻为止。设最后得到的路径为${\Gamma }_{l+k}$，称为极大路径。有向图需要注意在每步扩大中保持有向边方向的一致性。
  • 由某条路经扩大出的极大路径不唯一。
  • 最长路径一定是极大路径。
  • 极大路径不一定是图中最长的路径。

简单的结论：

• 若简单图$G$的最小度数$\delta (G)⩾2$，则$G$中存在圈。若简单图$G$的最小度数$\delta (G)⩾k$，则$G$中存在长度为$k$的路。
• ⭐️设$G$为$n(n⩾3)$阶无向简单图，$\delta (G)⩾2$，则$G$中存在至少长度大于等于$\delta +1$的圈。
• 若$G$是简单图，$\delta (G)⩾3$，则$G$中各圈长的最大公约数是1或者2。圈的长度$i+1,j+1,j-i+2(j>i⩾2)$​。

连通性

• 设无向图$G=<V,E>$， $\forall u,v\in V$，若$u,v$之间存在通路，则称$u,v$是连通的，记作$u\sim v$。

  $\forall v\in V$，规定$v\sim v$。

• 若无向图$G$是平凡图或$G$中任意两个顶点都是连通的，则称$G$为连通图，否则则称$G$​是非连通图。

  完全图$K_n(n⩾1)$都是连通图。零图$N_n(n⩾2)$​都是非连通图。

连通图与连通分支

• 设无向图$G=<V,E>$，如果$V$能划分成 { V 1 , V 2 , … , V k } \{V_{1},V_{2},\ldots,V_{k}\} {V1​,V2​,…,Vk​}，当且仅当两顶点在同一子集时才连通，则称导出子图$G[V_i](i=1,2,\dots ,k)$为$G$的连通分支，连通支数$k$常记为$\omega (G)$​。

  图$G$的每个连通分支即为图的极大连通子图。

  若$G$为连通图，则$\omega (G)=1$。若$G$为非连通图，则$\omega (G)⩾2$。

  在所有的$n$阶无向图中，$n$阶零图是连通分支数最多的，为$n$。

  例：在$n$阶连通图中（1）至少有$n-1$条边；（2）如果恰有$n-1$条边，则至少有一个奇度点（悬挂点）。

  例：在仅两个奇次顶的图中，其二奇次顶连通。

  例：若$G$是简单图，且$m>C_{n-1}^2$，其中$m$为图$G$的边数，$n$为顶点数，则$G$是连通图。

  （$C_k^2+C_{n-k}^2⩽C_{n-1}^2$）

  例：若$G$是$\delta ⩾\left[\frac{n}{2}\right]$的简单图，则$G$​是连通图。

  例：若$G$是连通简单图，$G$不是完全图，则$G$中有三个顶点$u,v,w$使得$uv\in E(G),vw\in E(G),uw\notin E(G)$

• 性质：若图$G$不连通，则其补图连通。等价于$G$与其补图不能同时不连通。或者$G$与其补图至少一个是连通图

• 性质：$G$是连通图当且仅当$V(G)$的每个分成非空子集$V_1$与$V_2$的划分，总存在一条边，两端分别属于$V_1$与$V_2$​

周长、围长、半径、直径

• 设$u,v$为无向图$G$中任意两个顶点，若$u\sim v$，称$u,v$之间长度最短的通路为$u,v$之间的最短路，最短路的长度称为$u,v$之间的距离，记作$d(u,v)$。当$u,v$不连通时，规定$d(u,v)=\infty$。

  完全图$K_n(n⩾2)$中任何两个顶点之间的距离都是1；零图$N_n(n⩾2)$中，任何两个顶点之间的距离都是$\infty$

• 简单图中最长圈的圈长称为该图的周长。

• 简单图中最短圈的圈长称为该图的围长。

• 图中两顶点距离的最大值称为该图的直径，记为$d(G)$，即 d ( G ) = max ⁡ { d ( u , v ) ∣ ∀ u , v ∈ V ( G ) } d(G)=\max\{d(u,v)|\forall u,v\in V(G)\} d(G)=max{d(u,v)∣∀u,v∈V(G)}。

• 使得${\max }_{v\in V(G)}d(u,v)$最小的顶点称为图的中心。

• 图的半径记为$r(G)$，即$r(G)={\min }_{u\in V(G)}{\max }_{v\in V(G)}d(u,v)$。

• 定理：设图$G$为$n$阶简单图，若对$G$中任意两个不相邻顶点$u,v$，有$d(u)+d(v)⩾n-1$，则$G$是连通的，且$d(G)⩽2$​。

• 推论：设图$G$为$n$阶简单图，若$\delta ⩾\frac{n-1}{2}$，则$G$​连通。

二部图判定定理

• 一个无向图$G=<V,E>$是二部图当且仅当$G$​中无奇圈。

下一章请见：
图论 | 期末复习笔记 | （二）