图论考前瞄一眼

一些总结

图的基本概念

• 一些证明思想
  • 方体二分图的分类(奇数个1与偶数个1)
  • 二分图无奇圈(证明二分图的分类，距离到一点为偶数的集合与为奇数的集合，证明集合内部不相邻)
  • 证明图连通或两点之间连通，通常反证法
  • 找最长轨道，度数大于1，则该边另一点必在轨道上，可形成圈
• 一些算法
  • $Dijsktra$算法：输入一点$u_0$，求出该点到其他顶点的最短路径
    • $d(u):$表示最短距离，$l(u):$表示该路径的$u$的前继结点，$S:$为已被选择的顶点的集合
    • 1、初始化：$d(u_0)=0，l(u_0)=u_0，d(u)=\infty ，l(u)=\ast$，其中$u\in V(G)$，且$u\ne u_0$，$S=u_0$
    • 2、更新数据：对任给$u\in V(G)-S,v\in S$，若$d(v)+w(uv)<d(u)$，则令$d(u)=d(v)+w(uv),l(u)=v$
    • 3、加入新点：选出$u\in V(G)-S$，使得$d(u)$最小的点， S = S ∪ { u } S=S\cup\{u\} S=S∪{u}
    • 重复$2、3步|V(G)|-1$次，结束算法

---

树

• 一些证明思想
  • 连通图不是树必有圈
  • 生成树可被分为两类(不包含边$e$，$\tau (G-e)$，包含边$e$，$\tau (G\cdot e)$)
  • 为$n$个结点标号，每次删号最小的叶，输出与其相邻的顶点号，并删除该边，直至剩两个顶点，可标定生成树
  • 证明最优二叉树，可任选两点交换位置，证明交换前权值比交换后权值小
• 一些算法
  • $Kruskal$算法(选边)：
    • 选择边权最小的边e
    • 从未选的边中选择与已选边不能构成圈的最小的边权的边，直至不能选。
  • $Prim$算法(选边和顶点)：
    • $V$为已选顶点集合，$E$为已选边集合
    • 任选一点$s$，使$V=s$，选择与$s$相连权最小的边$e$，$E=e$
    • 选择一点在V中一点不在V中的最小权边$st$， V = V ∪ { t } V=V\cup\{t\} V=V∪{t}， E = E ∪ { s t } E=E\cup\{st\} E=E∪{st}
    • 反复执行上一步，直至$|V|=|V(G)|$
  • 破圈法(删边)：
    • 保证图G的连通性的情况下，删除边权最大的边
  • $Huffman$算法：
    • 不断选择权值最小的两个顶点，新形成的分支点权值为其和并加入选择顶点集合中，不断重复此过程，直至形成一棵树

---

图的连通性

• 一些证明思想
  • 两两无公共内顶轨道的数量为最小顶割集的顶点数$p(u,v)=c(u,v)$
  • $k$连通图加一点且让该点与任意图中$k$个顶点连边，得到的新图仍是$k$连通图
  • 证明$k$连通图：取$k-1$个顶点集合，证明图减去这$k-1$个顶点仍连通
  • $k$连通图上任意$k$个点都在一个圈$C$上($k\ge 2$)
  • 两两无公共边的轨道最大数量为最小边割集的边数$p^{\prime }(u,v)=c^{\prime }(u,v)$
• 一些算法
  • 构造完全图权值为1的k-连通生成子图$H_{n,k}$方法如下(Harary提出)，设 V ( H n , k ) = { 0 , 1 , 2 , ⋯   , n − 1 } V(H_{n,k})=\{0,1,2,\cdots,n-1\} V(Hn,k​)={0,1,2,⋯,n−1}
    • $k$为偶，设$k=2r$，令$0与1,2,\cdots ,r$连线，$1与2,3,\cdots ,r+1$连线，$\cdots$，$n-1与0,1,\cdots ,r-1$连线。
    • $k=2r+1,n为偶$，先做$H_{2r,n}$，再在$i$与$(i+\frac{n}{2})$间添加边$i(i+\frac{n}{2})(1\le i\le \frac{n}{2})$
    • $k=2r+1,n为奇$，先做$H_{2r,n}$，再在$0和\frac{n-1}{2}$，$0和\frac{n+1}{2}$，$i$和$(i+\frac{n+1}{2})$间添加边$i(i+\frac{n}{2})(1\le i\le \frac{n-1}{2})$

---

平面图

• 一些证明思想
  • 图可嵌入平面，当且仅当图可嵌入球面(投影)
  • $v-ϵ+\varphi =2$(数归)
  • $K_5和K_{3,3}$是非平面图
  • 圈的边数决定了平面图面的度数
  • 每个面至少由三条边组成，平面图必有$ϵ\le 3\nu -6(\nu \ge 3)$
  • 极大平面图的平面嵌入每个面都是三角形($ϵ=3v-6$)
  • 至少3个顶点的极大平面图不含割点和割边。
  • 顶点数大于等于4的极大平面图$\delta \ge 3$

---

匹配

• 一些证明思想
  • $M$是$G$的最大匹配当且仅当$G$种没有关于$M$的可增长轨道(反证，对称差)
  • Z = { v ∣ v ∈ V ( G ) , 且 u , v 之 间 存 在 交 错 轨 道 } Z=\{v|v\in V(G),且u,v之间存在交错轨道\} Z={v∣v∈V(G),且u,v之间存在交错轨道}，$S=X\cap Z$，$T=Y\cap Z$
  • 二分图集合划分为$X,Y$，$X$中所有顶点被匹配，当且仅当任给$S\subseteq X，|N(S)|\ge |S|$
  • 覆盖大于等于匹配，如果相等，则是最小覆盖和最大匹配
  • 二分图的匹配数等于覆盖数
  • $G$有完备匹配，当且仅当任取$S\subseteq V(G)$，都有$o(G-S)(奇片个数)\le |S|$
  • 三次正则图有完备匹配
• 一些算法
  • 交错树算法
    • 输入：二分图$G=(X,E,Y)$，$G$的匹配$M$，$G$中没有被$M$许配的顶点$u$，不妨假设$u\in X$
    • 输出：$G$中关于$M$的u-交错树$T_u=(U,E^{\prime },V)$
    • 初始化： U = { u } , E ′ = ∅ , V = ∅ , l p r e ( u ) = ∗ , v ≠ u , l p r e ( v ) = n u l l , l v i s i t e d ( v ) = 0 U=\{u\},E'=\varnothing,V=\varnothing,l_{pre}(u)=*,v\neq u,l_{pre}(v)=null,l_{visited}(v)=0 U={u},E′=∅,V=∅,lpre​(u)=∗,v​=u,lpre​(v)=null,lvisited​(v)=0
    • 找非M中的边：若存在$x\in X,l_{pre}(x)\ne null,l_{visited}(x)=0$，则对$Y$中所有满足$xy\in E-M$且$l_{pre}(y)=null$的顶点$y$，令 l p r e ( y ) = x ; E ′ ← E ′ ∪ x y ; V ← V ∪ { y } l_{pre}(y)=x;E'\leftarrow E'\cup{xy};V\leftarrow V\cup\{y\} lpre​(y)=x;E′←E′∪xy;V←V∪{y}，最后令$l_{visited}(x)=1$
    • 找M中的边：若存在$y\in Y,l_{pre}(y)\ne null,l_{visited}(y)=0$，则对$X$中所有满足$xy\in M$且$l_{pre}(x)=null$的顶点$x$，令 l p r e ( x ) = y ; E ′ ← E ′ ∪ x y ; U ← V ∪ { x } l_{pre}(x)=y;E'\leftarrow E'\cup{xy};U\leftarrow V\cup\{x\} lpre​(x)=y;E′←E′∪xy;U←V∪{x}，最后令$l_{visited}(y)=1$
    • 算法结束：找到可增长轨道(V中加入未被许配的顶点)立马结束，或没有新顶点加入U(无可增长轨道)
  • 匈牙利算法：
    • 输入：二分图$G=(X,E,Y)$
    • y输出：$G$的最大匹配$M$
    • 初始化:取$G$的一个初始匹配$M$，如$M=\varnothing ,G^{\prime }\leftarrow G$
    • 找交错树：取$G$中没有被$M$许配的顶点$u$，搜索u-交错树$T_u$，若找到可增长轨道，设为$P$，令$M\leftarrow M\oplus E(P)$(将$P$上属于$M$与不属于$M$的交换)，否则$G^{\prime }\leftarrow G^{\prime }-V(T_u)$
    • 算法结束：$G^{\prime }$为空，或$G^{\prime }$中顶点都被$M$许配，否则循环上一步

---

$Euler$图与$Hamilton$图

• 一些证明思想
  • $Euler$图每个顶点的度数都是偶数，且是无公共边的圈之并
  • $G$是$Hamilton$图，则任取$S\subseteq G$，$w(G-S)\le |S|$(取$Hamilton$圈)
  • 取极大的非$Hamilton$图，加任意一条边后的图的每个$Hamilton$圈都包含新加的边
  • $\nu (G)\ge 3,\delta (G)\ge \nu (G)/2$，则$G$是$Hamilton$图
  • 简单图$G$是$Hamilton$图，当且仅当它的闭包$c(G)(连接度数和不小于顶点数的所有边)$是$Hamilton$图
  • $\nu (G)\ge 3$，任取$u,v\in V(G)$，$deg(u)+deg(v)\ge \nu (G)-1$，则$G$有$Hamilton$轨道，$deg(u)+deg(v)\ge \nu (G)$，则$G$是$Hamilton$图。
• 一些算法
  • $Fleury$算法
    • 输入：图$G=(V(G),E(G))$，输出：图$G$的一条行迹
    • 从任意一点不断加边，新的顶点继续加边，若有桥则最后选桥
  • 逐步插入回路算法：
    • 输入：Euler图$G=(V(G),E(G))$，输出：图$G$的一条Euler回路
    • 找圈，每找到一个圈判断是否已找全$G$，没有则找到与该圈中顶点相关联的边，将刚刚的圈改为以该顶点为起点(终点)的圈，继续找圈。
  • 最近邻法
    • 输入：加权图$G=(V(G),E(G),w(G))$，顶点$v_1$，输出：图$G$的一条$Hamilton$圈
    • 一句概括：找与P中最后顶点的最近顶点作为下一顶点
    • 复杂度：$O(v^2)$
    • $\frac{d}{d_0}\le \frac{1}{2}(┌lo{g}_{2}n┐+1)$.
  • 最小生成树法
    • 输入：加权图$G=(V(G),E(G),w(G))$，输出：图$G$的一条$Hamilton$圈
    • 造Euler图，找Euler回路：找最小生成树$T$，将$T$中各边都添加一条平行边，所得图为$G^{\ast }$，$G^{\ast }$为Euler图，从$v$出发找$Euler$回路$C_v$
    • 抄近路：$Euler$回路跳过已访问过的结点得到的$Hamilton$圈
    • 复杂度：$O(v^2)$
    • $\frac{d}{d_0}<2$.
  • 最小权匹配法
    • 输入：加权图$G=(V(G),E(G),w(G))$，输出：图$G$的一条$Hamilton$圈
    • 提升最小生成树法：在其算法基础上，另种方法求$Euler$图
    • 求Euler图：设$T$中度数为奇数的顶点集合为 V 0 = { v 1 , v 2 , ⋯   , v 2 k } V_0=\{v_1,v_2,\cdots,v_2k\} V0​={v1​,v2​,⋯,v2​k}，求$V_0$的导出子图$G[V_0]=K_{2k}$中总权最小的完备匹配$M$，将$M$中的$K$条边加到$T$上，得到Euler图$G^{\ast }$
    • $\frac{d}{d_0}<\frac{3}{2}$.

---

图的着色

• 一些证明思想
  • $X(G)\le \Delta (G)+1$.
  • 有边二分图$X(G)=2$，$X^{\prime }(G)=\Delta (G)$，有奇圈的图$X(G)\ge 3$
  • 证明某图的某色数为一个值，可证小于等于该值和大于等于该值
  • 证明色数时，可引入Euler回路或Hamilton圈。
  • 最佳k-边着色有一点关联的边中至少出现两次同一颜色另一颜色未出现，则两颜色的边导出子图必有奇圈
  • 二分图图$G$存在$p$个不相交匹配，$└ϵ/p┘\le |M_i|\le ┌ϵ/p┐$（课表排课问题）
  • 可$k$面着色的连通无环平面图当且仅当其对偶图可k-顶点着色。(平面图的对偶图必连通)
  • 任何平面图都是可5-顶点着色的

---

有向图

• 一些证明思想
  • $D$是强连通有向图当且仅当$D$中存在有向生成回路
  • 连通无向图$G$可定向成强连通有向图，当且仅当$G$中无桥
  • $D$是单向连通有向图，当且仅当$D$中存在有向生成路径
  • 有向图$D$中含有长度为$X(G)-1$的有向轨道，其中$G$为$D$的底图
  • 竞赛图(完全图的定向图)必有有向$Hamilton$轨道
  • 严格有向图$D$(无环无重边的有向图)，若 m i n { δ − , δ + } ≥ v 2 > 1 min\{\delta^-,\delta^+\}\geq \frac{v}{2}>1 min{δ−,δ+}≥2v​>1，则$D$是有向$Hamilton$图

---

网络流理论

• 一些证明思想
  • 流函数的定义(各边函数小于容量，非源与汇的入流与出流相加必为零)
  • 截量$C(S,\overline{S})$是容量的和，截$(S,\overline{S})$是边的集合
  • 某流函数的流量等于某截的截量，则该函数为最大流，该截为最小截
  • 伴随网络加入新源$s^{\prime }$新汇$t^{\prime }$，加所有边，$c^{\prime }(e)=\{\begin{array}{ll}c(e)-b(e),& e\in E(D)\\ {\sum }_{e\in \alpha (v)}b(e),& e=(s^{\prime },v),v\in V(D)\\ {\sum }_{e\in \beta (v)}b(e),& e=(v,t^{\prime }),v\in V(D)\\ +\infty ,& e=(s,t)或(t,s)\end{array}$.
  • 附加网络加入源$x_0$与汇$y_0$，$x_0$和产地加边，$y_0$和售地加边，$c^{\prime }(e)=\{\begin{array}{ll}c(e),& e\in E(D)\\ \sigma (x_i),& e=(x_0,x_i)\\ \rho (y_j),& e=(y_j,y_0)\end{array}$.
• 一些算法
  • 可增载轨道算法
    • 输入：网络$N=(D,s,t,c)$，流函数$f$
    • 输出：一条可增载轨道，或指出当前流函数是最大流
    • 初始化： S = { s } S=\{s\} S={s}；令$prev(s)=\ast$
    • 扩增轨道1：若存在$u\in S,v\in \overline{S}$，使得$(u,v)\in E(D)$且$f((u,v))<c((u,v))$，则令 S ← S ∪ { v } , p r e v ( v ) = u S\leftarrow S\cup\{v\},prev(v)=u S←S∪{v},prev(v)=u
    • 扩增轨道2：当扩增轨道1无法增加时，若存在$u\in S,v\in \overline{S}$，使得$(v,u)\in E(D)$且边$(v,u)$正载，则令 S ← S ∪ { v } , p r e v ( v ) = u S\leftarrow S\cup\{v\},prev(v)=u S←S∪{v},prev(v)=u
    • 结束条件：两方法均无法扩增或$t\in S$时，结束算法
  • $Ford-Fulkerson$最大流算法
    • 输入：网络$N=(D,s,t,c)$
    • 输出：最大流函数$f$
    • 初始化：取初始流函数$f$，如$f(e)\equiv 0$
    • 构造新流函数：调用可增载轨道算法。若找到可增载轨道$P(s,t)$，如引理当中一样，构造新的流函数$\overline{f}=\{\begin{array}{ll}f(e)+l(P),& e是正向边\\ f(e)-l(P),& e是反向边\\ f(e)，& e其它\end{array}$，直至无法找到可增载轨道，算法结束
  • 容量有上下界网络的最大流算法
    • 输入：容量有上下界网络$N=(D,s,t,b,c)$
    • 输出：最大流函数$f$，或断定$N$没有可行流
    • 构造$N^{\prime }$；构造$N$的伴随网络$N^{\prime }$
    • 找$N^{\prime }$最大流函数：用$2F$算法求$N^{\prime }$的最大流函数$f^{\prime }$
    • 判断：若不满足$f^{\prime }((s^{\prime },v))=c^{\prime }((s^{\prime },v))$，则结束算法无可行流，否则令$f(e)=f^{\prime }(e)+b(e)$
    • 找$N$最大流函数：以$f$作为初始流函数，$2F$算法即可
  • 有供需约束网络的可行流算法
    • 输入：有供需约束的网络$N=(D,X,Y,\sigma ,\rho ,c)$
    • 输出：$N$的可行流函数$f$，或断定$N$没有可行流
    • 构造$N^{\prime }$；构造$N$的附加网络$N^{\prime }$
    • 找$N^{\prime }$最大流函数：用$2F$算法求$N^{\prime }$的最大流函数$f^{\prime }$
    • 判断：若不满足$f^{\prime }((y_j,y_0))=c^{\prime }((y_j,y_0))$，则结束算法无可行流，否则令$f(e)=f^{\prime }(e)$，$f(e)$即为$N$的可行流，算法结束

---

图矩阵与图空间

• 一些证明思想
  • $\forall \alpha ,\beta \in V^{\prime },\forall k,l\in F$，都有$k\alpha +l\beta \in V^{\prime }$，则$V^{\prime }$是$V$的线性子空间
  • $C(G)$圈空间是$ϵ(G)$边空间线性子空间，基为基本圈组(生成树加边)，维数$ϵ-\nu +1$
  • $S(G)$断集空间是$ϵ(G)$边空间线性子空间，基为割集，维数$\nu -1$
  • 任给连通图$G$的圈向量和断记向量，内积为0
  • $\tau (D)=det(B_f(D)\times B_f^T(D))$.$D$为无环连通无向图的任意定向的有向图
• 一些算法
  • $Warshall$算法
    • 输入：有向图$D$的邻接矩阵$A(D)=(a_{ij}{)}_{v\times v}$
    • 输出：可达性矩阵$R(D)=(r_{ij}{)}_{v\times v}$，若$v_i$在$G$中可达$v_j$，则$r_{ij}=1$，否则$r_{ij}=0$
    • 初始化：对所有$1\le i\le v,r_{ii}^{(0)}=0$，对所有$1\le i,j\le v$，若$a_{ij}>0$，令$r_{ij}^{(0)}=1$，否则$r_{ij}^{(0)}=0$，令$l=0$
    • 对所有的$1\le i\le v$，若$r_{i(l+1)}^{(l)}$=1，则对所有的$1\le j\le v$，令$r_{ij}^{(l+1)}=r_{ij}^{(l)}\vee r_{(l+1)j}^{(l)}$，$l=l+1$；否则，令$r_{ij}^{(l+1)}=r_{ij}^{(l)}$，$l=l+1$，直至$l=v$，算法停止