《图论与网络优化》学习笔记（第1-5章）

《图论与网络优化》学习笔记（第1-5章）

上课时间：2023年10月——2024年1月
上课地点：国防科技大学
授课老师：戴丽
教材：戴丽.《图论与网络优化》
注：部分笔记根据自己的理解进行改动，可能不是很严谨，但便于理解。

第一章 图论发展历史

1.1 图论的起源与发展

1736年，Euler研究并解决了konigsberg七桥问题（格林森堡七桥问题）。20世纪图论经历了一场爆炸性的发展，1936年第一本图论著作《有限图和无限图理论》诞生。

• 电网络中的图论
• 有机化学中的图论
• 四色问题

1.2 图论的现状与应用

图论具有很高的实用价值，例如：地图导航、人物关系图、蛋白质网络图、无人机集群网络图等。

第二章 基本概念与运算

2.1 图的定义

图的组成：
图：图 $G$ 是一个有序的三元组，记作 $G=<V(G),E(G),\psi (G)>$ 。
顶点集：表示为 $V(G)$ ，顶点数表示为 $\nu (G)$ 。
边集：表示为 $E(G)$ ，边数表示为 $ϵ(G)$ 。
关联函数：表示为 ψ(G)={ uv∣u∈V(G),v∈V(G),u≠v}\psi(G) = \{uv | u \in V(G), v \in V(G), u \neq v\}ψ(G)={ uv∣u∈V(G),v∈V(G),u=v} ，也就是顶点对表示的边集。

关联，端点，相邻：设 $e$ 是图 $G$ 中的边， $u,v$ 为顶点，且 $\psi (e)=uv$ ，则称 $e$ 与 $u$ 及 $v$ 关联，称 $u$ 和 $v$ 是 $e$ 的端点，称 $u$ 与 $v$ 是相邻的。
邻域：图 $G$ 中所有与顶点 $\nu$ 相邻的顶点的集合称为 $\nu$ 的邻域，记作 $N(\nu )$ 。
环：两个端点重合的边称为环。
连杆：两个端点不重合的边称为连杆。
$k$重边：连接同一对顶点的 $k(k\ge 2)$ 条边称为 $k$重边。
单边：若一对顶点之间只有一条边，该边称为单边。
简单图：既没有环，也没有重边的图，称为简单图。

度：与顶点 $v$ 关联的边的数目称为顶点的度，记作 $d(v)$ 。
度序列：若 $v_1,v_2,...,v_{\nu }$ 为图的全部顶点，则 $(d(v_1),d(v_2),...,d(v_{\nu }))$ 为图的度序列。
孤立点：度为 0 的顶点称为孤立点。
悬挂点：度为 1 的顶点称为悬挂点。
悬挂边：与悬挂点相关联的边称为悬挂边。
偶点：度为偶数的顶点称为偶点。
奇点：度为奇数的顶点称为奇点。
最大度：图 $G$ 中顶点度的最大值，记作 $\Delta (G)$ 。
最小度：图 $G$ 中顶点度的最小值，记作 $\delta (G)$ 。

定理1 握手引理 对于任意图 $G$ ，均有 ${\sum }_{v\in V}d(V)=2ϵ$ 。（顶点的度数和等于边数的两倍）

图序列：简单图的度序列称为图序列。
同构：如果能够在两个图 $G_1$ 和 $G_2$ 的顶点集之间建立一一对应关系，并且每对顶点之间的边数对应相等，则称 $G_1$ 和 $G_2$ 是同构的，表示为 $G_1\approxeq G_2$ 。

定理2 （给出一个顶点度的序列，判断能否构成图）
非负整数序列 $(d_1,d_2,...,d_{\nu })(d_1\ge d_2\ge ...,\ge d_{\nu })$ 是图序列当且仅当 ${\sum }_{i=1}^{\nu }{d}_i$ 是偶数，并且对于一切整数 $k(1\le k\le \nu -1)$ ，有 ∑i=1kdi≤k(k−1)+∑i=k+1νmin{ k,di}\sum_{i=1}^kd_i\le k(k-1)+\sum_{i=k+1}^{\nu}min\{k,d_i\}∑i=1k​di​≤k(k−1)+∑i=k+1ν​min{ k,di​} 。

2.2 子图和连通分支

子图相关概念：
子图：设 $H$ 和 $G$ 是两个图，若 $V(H)\subseteq V(G)$ 且 $E(H)\subseteq E(G)$ ，则称 $H$ 为 $G$ 的子图，记作 $H\subseteq G$ 。
图的相等：两个图的顶点和边都对应相等，则称 $H$ 与 $G$ 相等，记作 $H=G$ 。
真子集：若 $H\subseteq G$ 且 $H\ne G$ ，则称 $H$ 是 $G$ 的真子图，记作 $H\subset G$ 。
支撑子图 / 生成子图：若图 $H$ 包括了图 $G$ 全部顶点和部分边，则称 $H$ 是 $G$ 的支撑子图。
基础简单图：不含环且不含重边的图为基础简单图。
导出子图：由图 $G$ 的部分顶点或部分边导出的子图。
顶点导出子图：取出图 $G$ 的部分顶点，连接两端都与这些顶点相邻的边，生成顶点导出子图 $H$ 。
边导出子图：取出图 $G$ 的部分边，加入这些边相邻的顶点，生成边导出子图 $H$ 。

连通分支相关概念：
途径：图 $G$ 的途径是一个有限的非空序列 $W=v_0{e}_1{v}_1{e}_2{v}_2...e_k{v}_k$ ，其中 $v_n$ 为 $G$ 中的顶点， $e_n$ 为 $G$ 中的边，也可简化记为 $W=v_0{v}_1{v}_2...v_k$ 。 $v_0$ 称为 $W$ 的起点， $v_k$ 称为 $W$ 的终点，其他的点称为内部点， $k$ 称为 $W$ 的长。
迹：如果途径 $W$ 的边互不相同，则 $W$ 称为迹。（允许经过同一顶点）
链：如果途径 $W$ 的顶点互不相同，则 $W$ 称为链。（链必然也是迹）一个顶点也是一条链
闭途径：起点与终点重合的途径。
闭迹：起点与终点重合的迹。
圈：起点、内部点互不相同的闭迹称为圈，长为 $k$ 的圈称为$k$圈。 $k$ 为奇数则为奇圈， $k$ 为偶数则为偶圈。
连通图：若图 $G$ 中存在 $(u,v)$ 链，则称顶点 $u$ 和 $v$ 在图 $G$ 中是连通的。图中所有顶点都互相连通的图称为连通图。
连通分支：依据连通性将顶点集 $V$ 划分为 $V_1,V_2...V_{\omega }$ ，导出子图 $G[V_1],G[V_2]...G[V_{\omega }]$ 称为 $G$ 的连通分支。 $\omega (G)$ 表示图 $G$ 的连通分支数。
距离：顶点 $u$ 和 $v$ 之间的最短链 $(u,v)$ 的长为 $u,v$ 之间的距离，记作 $d(u,v)$ 。

2.3 重要图类

完全图：每对顶点都相邻的简单图为完全图，记作 $K_n$ 。
空图：边集为空的图。
平凡图：图中只有一个顶点的图。
非平凡图：不是平凡图的一切图。（顶点数大于1）

练习 证明：在任意6个人的聚会上，要么有3个人互相认识，要么有3个人互相不认识。

正则图：每个顶点的度都相等的图称为正则图。每个顶点的度都为 $k$ 的正则图称为 $k$正则图。
$\tau 1$法则（偶数正则图生成法则）：
$\tau 2$法则（奇数正则图生成法则）：

定理1 $n$ 阶 $k$正则简单图存在的充要条件是 $k\le n-1$ 且 $nk$ 为偶数。

练习 证明： $n$ 阶$k$正则图一定存在，当且仅当对于任意的正整数 $n$ ，若 $nk$ 为偶数，且 $n\ge k+1$ 。

二部图：设图 $G$ 的顶点集可以划分成两个子集 $X$ 和 $Y$ ，使得 $G$ 中每条边的一个端点在 $X$ 中，另一个端点在 $Y$ 中，则称 $G$ 图为二部图，记作 $G=(X,Y,E)$ 。
完全二部图：若 $X$ 中每个顶点与 $Y$ 中每个顶点之间都恰有一条边，且 $|X|=m\ne 0$ ， $|Y|=n\ne 0$ ，则称二部图 $G$ 为完全二部图，记作 $K_{m,n}$ 。

定理2 二部图的判断
图 $G$ 是二部图，当且仅当 $G$ 中不含奇圈。

2.4 有向图

有向图的组成：
有向图：有向图 $D$ 是一个有序三元组，记作 $(V(D),A(D),{\psi }_D)$ 。
顶点集：记作 $V(D)$ ，其元素为 $D$ 的顶点。
弧集：记作 $A(D)$ ，其元素为 $D$ 的弧（即有向边）。
关联函数：表示弧 $a$ 与有序顶点 $(u,v)$ 对之间的关系，记作 ${\psi }_D(a)=(u,v)$ ，其中 $u$ 称为 $a$ 的尾， $v$ 称为 $a$ 的头。

基础图：将有向图 $D$ 的弧的方向都去掉，称为是 $D$ 的基础图。
定向图：给无向图 $G$ 的边加上方向，称为是 $G$ 的定向图。
入弧、出弧、入度、出度：以顶点 $v$ 为头（指向 $v$ ）的弧称为入弧；以顶点 $v$ 为尾（离开 $v$ ）的弧称为出弧。顶点 $v$ 的入弧总数称为顶点 $v$ 的入度，记作 $d_D^{-}(v)$ ；顶点 $v$ 的出弧总数称为顶点 $v$ 的出度，记作 $d_D^{+}(v)$ 。

定理 对于任何有向图 $D$ ，所有顶点的入度总和等于出度总和，即 $\sum _{v\in V}{d}_D^{-}(v)=\sum _{v\in V}{d}_D^{+}(v)=ϵ(D)$ 。

回路相关概念：
有向途径：将途径概念中的图 $G$ 替换为有向图 $D$ ，边