【doc】矩阵序列的有理外推法.docVIP

【doc】矩阵序列的有理外推法 矩阵序列的有理外推法 应用数学与计算数学12卷 反证法,假设完全图中B+1个顶点同K,中r个顶点相邻,存在…映射 ,I?){1.2.…,B叶1+t),使得有一边(?)?E(c1)1rJ,?(K口+1)?(K,),《)= B+l+,【t-l=n育l,(t,)一,(11)l=+1+r—r=B+lgt;B矛盾于要构造的图 G的带宽B(G-l=B.所完全图‰+中至多有个顶点同嚣,中的个顶点相 邻. ,完全网K口中育足够的边被删去,则lK)lgt; 结论2就构造罔G-占 因为IE(K)I=口(口一1)gt;f口一lJ=!二?堕所以完全 罔口中有足够的边能被删去,即同K之一定存在有r(口一r+1)条件边 相连 图G1的作法:.. 由于完全罔D+的直径D《t)=1所以?+中每个顶点部处于平等的 地位.因此从D+中任意选取B个顶点同KLfJ的顶点相连即可 任意给定网Gl的一标号,_『I.-+{1.2,…,B+t-+l}_记,【f}I)==i,i=12,…B+ r+1,使得 ,:一{l,2,….r),t?(K), ,:一{r+1,rqz2,-,B+1+r}.t-E(KB+1) 取KB)_=川,?:.i=,.+l-一,Br,为,fJ?1中由口个顶点组成的完全 罔口的顶点集,显然I(口1l=B. 对K中的每一个顶点.?V(K),i=1,2,…,连边《Il1)满足: f1),{0)一,c..)=,一iSB.t+ISjSB+i.1,J?(D1, 且使得顶点的度数增加口一t+I; (!)删去岛7中相应的边使得的度数仍为 注:K的顶点f】.至多和口中+相邻,满足.-- ,fn+)一,(,):4+r—r=B 删去中相应边使得顶点,,口的度数为B,. 2)让明D{11=0.,. 由作法知,姓然{G)=B.- 戢任意给定一惦号,:-一一{1,2,…,B+rj而言,取,(il|1=i.I).?cG.).任意 一 边Lj?E{G)}面分情况讨论..,: 情形1午边c)?FcK),贝l,c)一,{)l曼r一1曼B 情彤a_荇边(1?F【K口+1).则. ,《)一,{I)】lB+,+1一(T-4-1)l=B 情彤3萧边{,J属于口同Kr之问的连边?则曲述作法知,If(.卜,【ll: 』一zSB+i—i=B由}述讨论知,(GI)S口,显然口cG『】?(11:口故 口IG1)=B.. 1期周贤伟等:带宽等千擐小度的的最小边敷47 二.构造图G 就余下的一1个部分顶点集言,分别构造一1个完全罔Kn+一,使得每一 个部分图G=KB+l,i:2.3.一,,. 构造罔G如I1: 步骤1,置:.为图G.与G+一之间所连的边集合? 步骤2在Gl中取一边(t,t,i)?B(G1),使得,{t):B+1+r,,():B+r? 其中标号,的定义同前面一样. 步骤3在G2中取一边{??,2)?B(G21. 步骤4删去边【)和(t.,i),连边(tt,?),{,,啦),记::LJ{(t,),(i,fJ2)) 步骤5在G1.1中取一边(t吐1)?(嘶_1.ffl—1),在中取一边{.),删去 边(1一l11,:一1)和边.).连边(t^:一l)和(t,:一l,)::u{(t^:_l_),{}一l,)J,i= 3.4.?一,. 步骤6反复运用步骤5即得G为一正则圈一 面证明就上面构造的图G而言,其带宽为口(G):B, 设,,是所构造的图G的一标号.,一{1,2,…,),对每一?(G),有 ,,():i,i:1,2.…,m将集合{1,2.…,】分成个部分: {1.2,….B+1+r), {B+2+t,??,2【B+1)+,】 f【一1)(口+1)+T+1,?一,t{口+1)+7】 对于G1.有,:,.Jj一{1.2.…,B+1+r).且有 ,()=,【l,):,【T口+l+r)=B+1+r ,{,)=,{i):,(+):B+ 对Gl中的其余顶点,,?:,{Tt),?(G1). 对于图G,.,:1—+({i一1)【口+1)+1+r-?一,(B+1)+r),i:2-3...,.t,?V(GI) 且 ,【1f)=(—il(B+1)+1+ ,(,)=(一1)口+1)+t-+2 ,(『):(B+1)+r一1. ,【Tl:):(口+1)+, 对于G.的其余顶点,给出任意的一环号, 任意一边)?{G).一1-面分情形讨论. 情形1若边,)?E.则由卜述的标法知,I,{)一,?I=2B. 情形2若边clJ??E(a),则由Gl的作法知 l,【n)一,{tr)I:I,【)一,【t?)jSB. 应用数学与计算数学l2卷 情形3若边()?E(Gi),i亏2,3,-- f,()一,()f曼f(口+1)+r