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=32 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=32 3-1=2≤2, 1—3 5-2=32 构造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? is； 连接0与s和s+1 (0的斜对面的两个顶点) 。 * H(2r+1, 2s+1) ： H(2r, 2s+1) ；//构造H2r, p for (i=1;is;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,2