离散数学第八章一些特殊的图知识点总结

图论部分 第八章、一些特殊的图 8.1 二部图 二部图：定义 设无向图 G=<V,E>, 若能将 V 划分成 V1 和 V2 (V1V2=V, V1V2=), 使得 G 中的每条边的两个端 点都一个属于 V1, 另一个属于 V2, 则称 G 为二部图, 记为<V1,V2,E>, 称 V1 和 V2 为互补顶点子集. 完全二部图：又若 G 是简单图, 且 V1 中每个顶点都与 V2 中每个顶点相邻, 则称 G 为完全二部图, 记为 Kr,s, 其中 r=|V1|, s=|V2|. 注意: n 阶零图为二部图.
得证 m=k+1 时结论也成立. 证毕.
欧拉公式的推广
设 G 是有 p (p2) 个连通分支的平面图, 则
nm+r=p+1
证 设第 i 个连通分支有 ni 个顶点, mi 条边和 ri 个面.
对各连通分支用欧拉公式,
ni mi + ri = 2, 求和并注意 r = r1+…+rp+ p1, 即得
极大平面图: 定义 若 G 是简单平面图, 并且在任意两个不相邻的顶点之 间加一条新边所得图为非平面图, 则称 G 为极大平面图. 性质
• 若简单平面图中已无不相邻顶点，则是极大平面图. 如 K1, K2, K3, K4 都是极大平面图.
• 极大平面图必连通. • 阶数大于等于 3 的极大平面图中不可能有割点和桥.
8.2 欧拉图
欧拉通路: 图中行遍所有顶点且恰好经过每条边一次的通路. 欧拉回路: 图中行遍所有顶点且恰好经过每条边一次的回路.
欧拉图: 有欧拉回路的图. 半欧拉图: 有欧拉通路而无欧拉回路的图. 几点说明： 上述定义对无向图和有向图都适用. 规定平凡图为欧拉图. 欧拉通路是简单通路, 欧拉回路是简单回路. 环不影响图的欧拉性.
例 设 G 为 n 阶无向连通简单图, 若 G 中有割点或桥, 则 G 不是哈密顿图. 证 (1) 设 v 为割点, 则 p(Gv) 2>|{v}|=1. 根据定理, G 不是哈密顿图.
(2) 若 G 是 K2(K2 有桥), 它显然不是哈密顿图. 除 K2 外, 其他的有桥连通图均有割点. 由(1), 得证 G 不是 哈密顿图. 无向哈密顿图的一个充分条件 定理 设 G 是 n 阶无向简单图, 若任意两个不相邻的顶点 的度数之和大于等于 n1, 则 G 中存在哈密顿通路. 当 n3 时, 若任意两个不相邻的顶点的度数之和大 于等于 n, 则 G 中存在哈密顿回路, 从而 G 为哈密顿 图. 哈密顿通路(回路)的存在性(续) 定理中的条件是存在哈密顿通路(回路)的充分条 件, 但不是必要条件. 例如, 设 G 为长度为 n1(n4)的路径, 它不满足定理 中哈密顿通路的条件, 但它显然存在哈密顿通路.
设 G 是长为 n 的圈, 它不满足定理中哈密顿回路的条 件, 但它显然是哈密顿图. 由定理, 当 n3 时, Kn 均为哈密顿图. 判断某图是否为哈密顿图至今还是一个难题 判断是否是哈密顿图的可行方法
观察出一条哈密顿回路 例如 右图(周游世界问题)中红 边给出一条哈密顿回路, 故它 是哈密顿图. 注意, 此图不满足定理的条件.
欧拉公式: 定理 8.11 (欧拉公式) 设 G 为 n 阶 m 条边 r 个面的连通平面图，
则 nm+r=2.
证 对边数 m 做归纳证明.
m=0, G 为平凡图, 结论为真.
设 m=k(k0)结论为真, m=k+1 时分情况讨论如下:
(1) G 中无圈, 则 G 必有一个度数为 数、边数与面数之间的关系: 设 G*是平面图 G 的对偶图，n*, m*, r*和 n, m, r 分别 为 G*和 G 的顶点数、边数和面数，则 (1) n*= r (2) m*=m (3) r*=n-p+1, 其中 p 是 G 的连通分支数 (4) 设 G*的顶点 vi*位于 G 的面 Ri 中, 则 d(vi*)=deg(Ri)
平面图的对偶图 定义 设平面图 G, 有 n 个顶点, m 条边和 r 个面, 构造 G
的对偶图 G*=<V*,E*>如下： 在 G 的每一个面 Ri 中任取一个点 vi*作为 G*的顶点,
V*= { vi*| i=1,2,…,r }. 对 G 每一条边 ek, 若 ek 在 G 的面 Ri 与 Rj 的公共边界上, 则作边 ek*=(vi*,vj*), 且与 ek 相交; 若 ek 为 G 中的桥且在 面 Ri 的边界上, 则作环 ek*=(vi*,vi*).
8.3 哈密顿图 哈密顿通路: 经过图中所有顶点一次且仅一次的通路.
哈密顿回路: 经过图中所有顶点一次且仅一次的回路. 哈密顿图: 具有哈密顿回路的图. 半哈密顿图: 具有哈密顿通路而无哈密顿回路的图. 几点说明： 平凡图是哈密顿图. 哈密顿通路是初级通路，哈密顿回路是初级回路. 环与平行边不影响图的哈密顿性.
欧拉图的判别法 定理 无向图 G 为欧拉图当且仅当 G 连通且无奇度顶点.
无向图 G 是半欧拉图当且仅当 G 连通且恰有两个奇度顶点. 定理 有向图 D 是欧拉图当且仅当 D 连通且每个顶点的入度都等于出度.
有向图 D 具有欧拉通路当且仅当 D 连通且恰有两个奇度顶点, 其中一个入度 比出度大 1, 另一个出度比入度大 1, 其余顶点的入度等于出度.
• 设 G 为 n(n3)阶极大平面图, 则 G 每个面的次数均为 3. • 任何 n(n4)阶极大平面图 G 均有 δ(G)3.
极小非平面图: 定义 若 G 是非平面图, 并且任意删除一条边所得图 都是平面图, 则称 G 为极小非平面图. 说明:
K5, K3,3 都是极小非平面图 极小非平面图必为简单图 下面 4 个图都是极小非平面图
定义 如果能将图 G 除顶点外边不相交地画在平面上, 则称 G 是平面图. 这个画 出的无边相交的图称作 G 的平面嵌入. 没有平面嵌入的图称作非平面图. 例如 下图中(1)~(4)是平面图, (2)是(1)的平面嵌入，(4)是(3)的平面嵌入. (5) 是非平面图.
平面图的面与次数 设 G 是一个平面嵌入 G 的面: 由 G 的边将平面划分成的每一个区域 无限面(外部面): 面积无限的面, 用 R0 表示 有限面(内部面): 面积有限的面, 用 R1, R2,…, Rk 表示 面 Ri 的边界: 包围 Ri 的所有边构成的回路组 面 Ri 的次数: Ri 边界的长度，用 deg(Ri)表示 说明: 构成一个面的边界的回路组可能是初级回路, 简单回 路, 也可能是复杂回路, 还可能是非连通的回路之并. 定理 平面图各面的次数之和等于边数的 2 倍.
满足充分条件 例如 当 n3 时, Kn 中任何两个不同的顶点 u,v, 均 有 d(u)+d(v) = 2(n1) n, 所以 Kn 为哈密顿图.
例 某次国际会议 8 人参加，已知每人至少与其余 7 人中 的 4 人有共同语言，问服务员能否将他们安排在同一张 圆桌就座，使得每个人都能与两边的人交谈？ 解 图是描述事物之间关系的最好的手段之一. 作无向图 G=<V,E>, 其中 V={v|v 为与会者}，E={(u,v) | u,vV, u 与 v 有共同语言, 且 uv}. G 为简单图. 根据条件, vV, d(v) 4. 于是，u,vV, 有 d(u)+d(v)8. 由定理可知 G 为哈密顿 图. 服务员在 G 中找一条哈密顿回路 C，按 C 中相邻关系 安排座位即可. 由本题想到的：哈密顿图的实质是能将图中所有的顶点 排在同一个圈中. 8.4 平面图 平面图与平面嵌入
联的边, 记作 G . G 连通, 有 n-1 个顶点, k 条边和 r 个面. 由归
纳假设, (n-1)-k+r=2, 即 n-(k+1)+r=2, 得证 m=k+1 时结论成立.
(2) 否则,删除一个圈上的一条边,记作 G . G 连通, 有 n 个顶
点,k 条边和 r-1 个面. 由归纳假设, n-k+(r-1)=2, 即 n-(k+1)+r=2,
无向哈密顿图的一个必要条件 定理 设无向图 G=<V,E>是哈密顿图, 则对于任意 V1V 且 V1, 均有 p(GV1)|V1|. 证 设 C 为 G 中一条哈密顿回路, 有 p(CV1) |V1|. 又因为 CG, 故 p(GV1) p(CV1) |V1|. 几点说明 定理中的条件是哈密顿图的必要条件, 但不是充分条件. 可利用该定理判断某些图不是哈密顿图. 由定理可知, Kr,s 当 sr+1 时不是哈密顿图. 当 r2 时, Kr,r 是哈密顿图, 而 Kr,r+1 是半哈密顿图.
匹配：设 G=<V,E>, 匹配(边独立集): 任 2 条边均不相邻的边子集 极大匹配: 添加任一条边后都不再是匹配的匹配 最大匹配: 边数最多的匹配 匹配数: 最大匹配中的边数, 记为 1 例 下述 3 个图的匹配数 依次为 3, 3, 4.
设 M 为 G 中一个匹配 vi 与 vj 被 M 匹配: (vi,vj)M v 为 M 饱和点: M 中有边与 v 关联 v 为 M 非饱和点: M 中没有边与 v 关联 M 为完美匹配: G 的每个顶点都是 M 饱和点
定理(Hall 定理) 设二部图 G=<V1,V2,E>中，|V1||V2|. G 中存 在从 V1 到 V2 的完备匹配当且仅当 V1 中任意 k 个顶点至少与 V2 中的 k 个顶点相邻(k=1,2,…,|V1|). 由 Hall 定理不难证明, 上一页图(2)没有完备匹配. 定理 设二部图 G=<V1,V2,E>中, 如果存在 t1, 使得 V1 中每个 顶点至少关联 t 条边, 而 V2 中每个顶点至多关联 t 条边，则 G 中存在 V1 到 V2 的完备匹配. Hall 定理中的条件称为“相异性条件”, 第二个定理中的条件 称为 t 条件. 满足 t 条件的二部图一定满足相异性条件.