《离散数学》特殊图-1.pptVIP

第8章 一些特殊的图 8.1 二部图 8.2 欧拉图 8.3 哈密顿图 8.4 平面图 8.1 二部图 二部图 完全二部图 匹配 极大匹配 最大匹配 匹配数 完备匹配 二部图 定义 设无向图 G=V,E, 若能将V 分成V1 和 V2 (V1?V2=V, V1?V2=?), 使得G中的每条边的两个端点都一个属于V1, 另一个属于V2, 则称G为二部图（二分图）,记为V1,V2,E, 称V1和V2为互补顶点子集. 若V1中每个顶点均与V2中每个顶点有且只有一条边相关联, 则称二部图G为完全二部图, 记为Kr,s r=|V1|, s=|V2|. 注意: n 阶零图（|E|＝0）为二部图. 二部图的判别法 定理 无向图G=V,E是二部图当且仅当G中无奇数长度的回路（无奇圈）. 例：述各图都是二部图 匹配 设G=V,E为无向图, E*?E 匹配(边独立集): 任2条均不相邻的边组成的边子集 任2条边的端点都不一样 极大匹配: 添加任一条边后都不再是匹配的匹配 最大匹配: 边数最多的极大匹配 匹配数: 最大匹配中的边数, 记为?1 最大匹配的边数不超过|V|的一半 例 3个图的匹配数 依次为3, 3, 4. 匹配 (续) 设M为G中一个匹配，v?V(G) v为M饱和点: M中有边与v关联 v为M非饱和点: M中没有边与v