chap9图的连通性分解.ppt

构造H4,6 * 0 5 1 2 3 4 H4,6： i 0: 1-0 1≤2, 0—1 2-0 2≤2, 0—2 0+6-4 2≤2, 0—4 0+6-5 1≤2, 0—5 i 1: 2-1 1≤2, 1—2 4-1 3 2 1-5 2≤2, 1—5 i 2: 3-2 1≤2, 2—3 4-2 2≤2, 2—4 i 3: 4-3 1≤2, 3—4 5-3 2≤2, 3—5 i 4: 5-4 1≤2, 4—5 r 2 |E H4,6 | 12 4×6/2 kp/2 3-0 3 2 3-1 2≤2, 1—3 5-2 3 2 构造H2r+1,2s 当k是奇数，p为偶数时，设k 2r+1，p 2s。构造H2r+1,2s如下： 构造H2r, 2s； 连接i与i+p/2 mod p 即对面的顶点 ，1≤i≤s 。 * H 2r+1, 2s ： H 2r, 2s ； //构造H2r,p for i 1;i s;i++ //连接对面的顶点 j i+s mod p ； 连接i和j； 从算法中可以清楚地看到每个顶点的度为2r+1。2q1 p 2r+1 pk，∴q1 kp/2 构造H5,6 * 0 5 1 2 3 4 H4,6： i 1：连接1与4（1+3 mod 6 ） i 2：连接2与5（2+3 mod 6 ） i 3：连接3与0（3+3 mod 6 ） H5,6： r 2，s 3 |E H5,6 | 15 5×6/2 kp/2 构造H2r+1, 2s+1 当k与p均为奇数时，设k 2r+1，p 2s+1。构造H2r+1, 2s+1如下： 构造图H2r,p； 连接i与i+s+1 mod p 右斜对面的顶点 ，1? i s； 连接0与s和s+1 0的斜对面的两个顶点 。 * H 2r+1, 2s+1 ： H 2r, 2s+1 ；//构造H2r, p for i 1;i s;i++ //连接右斜对面的顶点 j i+s+1 mod p ；连接i和j； 连接0和s；连接0和s+1; //连接0与斜对面顶点 显然，除0的度为2r+2外，其它顶点度均为2r+1。2q1 p-1 2r+1 +2r+2 pk+1，∴q1 kp+1 /2 构造H5,7 * 0 1 2 3 4 5 6 H4,7: i 1, 连接1和5 //1+3+1 mod 7 i 2, 连接2和6 //2+3+1 mod 7 连接0和3 // 0+3 连接0和4 // 0+3+1 H5,7: |E H5,7 | 18 5×7+1 /2 kp+1 /2 图Hk,p是 k –连通的 1 定理9.3.1 Harary,1962 图Hk,p是 k –连通的。 证明： 先证k 2r时? H k,p ≥ k，反证法 假设V*是顶点割且| V* | 2r ，则H 2r,p –V*至少有两个连通分支H[V1]和 H[V2]。设i∈ V1, j∈ V2 于是i与j不连通），令 S i,i+1, …,j–1, j ；T j,j+1, …,i–1, i ， 其中加法取模p。 * 例如：取i 2，j 5，p 7，则 S 2, 3, 4, 5 ， T 5, 6, 7, 1, 2 注意：S和T除i和j外没有其他共同的顶点。 图Hk,p是 k –连通的 2 * 若|V*∩S| ≥ r，则考虑T，必有|V*∩T| r 。 于是在S–V*中有一个顶点不重复的序列：i1 i , i2 ,…, im j ,使得|ih–ih+1|? r ,其中1 ? h ? m –1。但由H 2r,p 的构造，这样的序列是 H2r,p –V*中的一条 i,j ––通路。即i , j仍连通，这与假设相矛盾，因此，H 2r,p 是 k ––连通的。 对于k 2r+1的情形，也可用类似的方法来证明H 2r+1,p 是 k ––连通的。 证明： 续前 由于|V*| 2r ，所以不妨设|V*∩S| r。 即在S中去掉属于V*的顶点，去掉的顶点数少于r。 ∵|V*∩S|﹤r，使得S-V*中各相邻顶点的编号的差的绝对值仍能小于或等于r。例如：S 1,2, ③, ④,5,6,7,8,9,10 ，r 3，则在S中去掉2个顶点后仍能保持|ij-ij+1|≦r。 Hk,p是边最少的 k –连通图 * 根据Hk,p的构造方法，我们有： 对于H2r,p ，q H2r,p 2r×p/2 对于H2r+1,2s ，q H2r+1,p 2r×p/2 + s 对于H2r+1,2s+1 ，q H2r+1,p 2r×p/2 + s + 1 即q Hk,p ? kp/2? ，由于f k,p 定义为边数最少的k—连通图的边数,∴f