图论III-几种特殊的图.pptVIP

* 同胚与收缩 消去2度顶点v 如上图从(1)到(2) 插入2度顶点v 如上图从(2)到(1) G1与G2同胚: G1与G2同构, 或 经过反复插入、或消去2度顶 点后同构 收缩边e 如下图从(1)到(2) * 库拉图斯基定理 定理 G是平面图?G中不含与K5同胚的子图, 也不 含与K3,3同胚的子图. 定理 G是平面图?G中无可收缩为K5的子图, 也无 可收缩为K3,3的子图. * 非平面图证明 例 证明下述2个图均为非平面图. 收缩2条边 ? ? ? 收缩2条边 ? ? ? K3,3 ? 取子图 K5 ? 取子图 * 平面图的对偶图 定义 设平面图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*). E*={ ek*| k=1,2, …,m }. * 平面图的对偶图的实例 例 黑色实线为原平面图, 红色虚线为其对偶图 * 平面图的对偶图的性质 性质： 对偶图是平面图，而且是平面嵌入. 对偶图是连通图 若边e为G中的环，则G*与e对应的边e*为桥; 若e为桥，则G*中与e对应的边e*为环. 同构的平面图的对偶图不一定同构. 上页两个平面图同构, 它们的对偶图不同构. * 地图: 连通无桥平面图的平面嵌入, 每一个面是一个 国家.若两个国家有公共边界,则称它们是相邻的. 地图着色(面着色): 对地图的每个国家涂一种颜色， 使相邻的国家涂不同的颜色. 地图着色问题: 用尽可能少的颜色给地图着色. 地图着色可以转化成平面图的点着色. 当G中无桥时, G*中无环. G的面与G*的顶点对应, 且G的两个面相 邻当且仅当G*对应的两个顶点相邻, 从而G的面着色 等同于G*的点着色. 地图着色 地图着色与平面图的点着色 * 例 红 红 兰 兰 绿 绿 绿 绿 绿 绿 黄 黄 黄 黄 黄 黄 四色定理 四色猜想(100多年前): 任何地图都可以用4种颜色着 色, 即任何平面图都是4-可着色的. 1890年希伍德证明五色定理: 任何平面图都是5-可着 色的. 1976年美国数学家阿佩尔和黑肯证明, 如果四色猜想 不成立, 则存在一个反例, 这个反例大约有2000种可 能(后来有人简化到600多种), 他们用计算机分析了 所有这些可能, 都没有导致反例. 四色定理 任何平面图都是4-可着色的. * * 第二课 几种特殊的图 2.1 二部图 2.2 欧拉图 2.3 哈密顿图 2.4 平面图 * 2.1 二部图 二部图 完全二部图 * 二部图 定义 设无向图 G=V,E, 若能将V 划分成V1 和 V2 (V1?V2=V, V1?V2=?), 使得G中的每条边的两个端 点都一个属于V1, 另一个属于V2, 则称G为二部图, 记为V1,V2,E, 称V1和V2为互补顶点子集. 又若G 是简单图, 且V1中每个顶点都与V2中每个顶点相邻, 则称G为完全二部图, 记为Kr,s, 其中r=|V1|, s=|V2|. 注意: n 阶零图为二部图. * 二部图(续) 例 下述各图是否是二部图? 定理 无向图G=V,E是二部图当且仅当G中无奇圈 不是 * 2.2 欧拉图 欧拉路与欧拉回路 存在欧拉路和欧拉回路的充分必要条件 * 哥尼斯堡七桥问题 要求找一条路线,经过每座桥一次且仅一次 * 欧拉图 欧拉路: 图中经过每个顶点且恰好经过每条边一次的路. 欧拉回路: 图中经过每个顶点恰好经过每条边一次的回路. 欧拉图: 有欧拉回路的图. 半欧拉图: 有欧拉路,但无欧拉回路的图. 几点说明：上述定义对无向图和有向图都适用. 规定平凡图为欧拉图. 欧拉路是迹, 欧拉回路是闭迹. 环不影响图的欧拉性. * 欧拉图实例 例 是否是欧拉图或半欧拉图? 欧拉图 欧拉图 半欧拉图 半欧拉图 不是 不是 * 欧拉图的判别法 定理 无向图G为欧拉图当且仅当G连通且无奇度顶 点. G是半欧拉图当且仅当G连通且恰有两个奇度顶 点. 定理 有向图D是欧拉图当且仅当D连通且每个顶点 的入度都等于出度. D是半欧拉图当且仅当D连通且 恰有两个奇度顶点, 其中一个入度比出度大1, 另一个 出度比入度大1, 其余顶点的入度等于出度. * 实例 例1 哥尼斯堡七桥问