第七章_图论.pptVIP

第七章 图论 定义7-1.2 在图G=V,E中与结点v关联的边数，称为该结点的度数，记作deg(v)。 另记 ⊿(G) = max{deg(v)| v∈V(G) } ?(G) = min{deg(v)| v∈V(G) } 分别为G的最大度和最小度。 第七章 图论 定理7-1.1——握手定理 设G为任意图，V={v1,v2,…,vn},|E|=m,则 证明： G中每条边（包括环）均提供2个端点，故在计算各结点度数的和时，每条边均提供2度，m条边共提供2m度。 =2m 即个结点度数之和等于边数的2倍。 第七章 图论 零星定义2 对于给定的非负整数列d=(d1, d2, …, dn),若存在以V={v1,v2,…,vn}为结点集的n阶无向图G使得d(vi)=di ,则称d是可图化的。 若所得图是简单图，则称d是可简单图化的。 如：考察下列整数列哪些可图化或可简单图化呢？ (1) (0,5,3,1,2,7,6,7,5,0,1) (2) (1,6,8,8,8) (3) (3,4,5,6) (4) (3,2,1,2) 不可图化 不可图化 可图化 可简单图化 如何判断一个整数序列可图化或可简单图化呢？ 补充 第七章 图论 定理7-3 设非负整数列d=(d1, d2, …, dn), 则d是可图化的当且仅当 定理 设G为任意n阶无向简单图，则⊿(G)≤n-1. 即各结点度数之和为偶数或奇数度结点数为偶数。 这两个定理可用来判断整数序列是否可图化或可简单图化。 补充 第七章 图论 例:考察下列整数列哪些可图化或可简单图化呢？ (1) (5,5,4,4,2,3) (2) (5,4,3,2,2) (3) (3,3,3,1) (4) (4,4,3,3,2,2) (5) (d1, d2, …, dn), d1d2…dn≥1且 为偶数。 (4)-1 (4)-2 补充 定义7-1.4 关联一对结点的无向边如果多于1条，则称这些边为平行边，平行边的条数称为重数。 含平行边的图称为多重图，既不含平行边也不含环的图称为简单图。 定义7-1.6 给定一个图G，有G中所有结点和所有能使G成为完全图的添加边组成的图，称为G的相对于完全图的补图，简称为G的补图，记作G` 若图G≌G,则称G为自补图 第七章 图论 定义7-1.5 简单图G=V,E中，若每个结点均与其余结点相连，则称G为完全图。 有n个结点的完全图称为n阶完全图，记作Kn(n≥1) 。 如： 。 。 。 。 。 。 。 。 。 考虑： Kn的边数为？？？ 定理7-1.4 Kn的边数为Cn2=n(n-1)/2。 第七章 图论 定义7-1.7 设G=V,E, G`=V`,E`为两个图(同时为无向图或有向图)，若V`? V且E`? E，则称G`为G的子图， G为G`的母图，记作G`?G。 若V` ? V或E`? E，则称G`为G的真子图。 若V` = V，则称G`为G的生成子图。 定义7-1.8 设G`=V`,E`是图G=V,E的子图，若存在另外一个图G``=V``,E``使得E``= E- E`，且V``中仅含有E``的边所关联的结点，则称G``是子图G`相对于G的补图。 第七章 图论 如：判断下列各图的母子关系。 (1) (2) (3) 母图 同时也是(1)的生成子图 子图 真子图 子图 真子图 生成子图 第七章 图论 定义7-1.9 设G1=V1,E1, G2=V2,E2为两个无(有)向图，若存在一一对应的映射f: V1→V2,对于 ?vi,vj ∈V1, (vi,vj)∈E1 (vi,vj∈E1 )?(f(vi),f(vj))∈E2 (f(vi),f(vj)∈E2 ) 并且(vi,vj)(vi,vj)与(f(vi),f(vj))(f(vi),f(vj))重数相同，则称G1与是G2同构的，记作G1≌G2 。 如何判断两个图是否同构呢？ 答案：迄今为止还没有有效的算法。 根据定义， 则 (1) |V(G1)|= |V(G2)|。 (2) |E(G2)|= |E(G2)|。 (3) 度序列相同。 但这仅仅是G1≌G2的必要条件。 第七章 图论 例：判断两组图是否同构？ 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 。 第七章 图