侯遠(yuǎn),鄭藝容
(1.福州大學(xué) 至誠(chéng)學(xué)院,福建 福州 350002;2.廈門理工學(xué)院 應(yīng)用數(shù)學(xué)學(xué)院,福建 廈門 361024)
在化學(xué)理論中,基于分子圖的頂點(diǎn)間距離的拓?fù)渲笜?biāo)對(duì)刻畫分子圖以及建立分子結(jié)構(gòu)和特征間的關(guān)系有重要作用,同時(shí)被廣泛用于預(yù)測(cè)化合物的物理化學(xué)性質(zhì)和生物活性.Randic'在1993年提出了無圈圖的hyper-Wiener指標(biāo)的定義,之后klein等人[1-3]將Randicc'的定義推廣到所有連通圖.頂點(diǎn)u和v 間的距離d(u,v|G)表示頂點(diǎn)u和v 之間最短路的長(zhǎng)度,則圖G 的hyper-Wiener指標(biāo)為
Bo Zhou[5]提出了hyper-Wiener指標(biāo)的另一計(jì)算式.令d(G,k)表示圖G 中距離為k 的無序點(diǎn)對(duì)的個(gè)數(shù),則圖G 的hyper-Wiener指標(biāo)為
令G=(V,E)表示頂點(diǎn)數(shù)|V(G)|=n,邊數(shù)|E(G)|=m 的連通圖.若m=n+c-1,則G 被稱為c-圈圖.特別地如果c=1,則圖G 稱為單圈圖.Kn,Pn與K1,n-1分別表示n階完全圖,路及星.圖G 中不鄰接的2條邊稱為是獨(dú)立的.兩兩獨(dú)立的邊構(gòu)成的集合稱為圖G 的一個(gè)匹配.如果圖G 的所有頂點(diǎn)都包含在一個(gè)匹配中,則稱這個(gè)匹配為圖G 的一個(gè)完美匹配.
文獻(xiàn)[4-8]研究了樹的hyper-Wiener指標(biāo),因此有必要對(duì)非Kn的c-圈圖的hyper-Wiener指標(biāo)做進(jìn)一步研究.
猜想1:設(shè)完美匹配c-圈圖G(n,m)為取得最小hyper-Wiener指標(biāo)的極圖,則G 不包含P5且必有一頂點(diǎn)u度數(shù)為
令U3(s1,s2,s3)表示由3個(gè)頂點(diǎn)極小圈C3=r1r2r3r1和粘在極小圈頂點(diǎn)ri上的懸掛樹Tri構(gòu)成的單圈圖.其中|V(Tri)|=si表示懸掛樹Tri頂點(diǎn)個(gè)數(shù).引理1—3在文獻(xiàn)[9-10]中已給出證明:
引理1 設(shè)U3(s1,s2,s3),U3(s1+s2,0,s3)及U3(s1+s2+s3,0,0)為如上定義單圈圖,則
引理2 設(shè)G 和G′為由子圖A,B 和路Ps=p1p2…ps(s≥2)構(gòu)成的n 階簡(jiǎn)單連通圖(圖1),則WW(G)>W(wǎng)W(G′).
引理3 設(shè)H 和H′為如上所定義的n 階連通圖(圖1),則當(dāng)n≥5時(shí),WW(H)≥WW(H′),等號(hào)成立當(dāng)且僅當(dāng)|V(A)|=2.
令U+(2n)表示2n階完美匹配單圈圖的集合.設(shè)Uk(2n)為u+(2n)中由k個(gè)頂點(diǎn)極小圈Ck=r1r2…rkr1和粘在極小圈頂點(diǎn)ri上的懸掛樹Tri構(gòu)成的單圈圖.若邊e=uv為懸掛樹上一條非懸掛邊,施行圖形變換Ⅰ:收縮邊e=uv為頂點(diǎn)u,在頂點(diǎn)u上增加一條懸掛邊uu′;否則施行圖形變換Ⅱ:收縮邊uv 和邊u1u 到頂點(diǎn)u1,在頂點(diǎn)u1上增加長(zhǎng)為2的路u1u′v′(圖1),最終得到單圈圖(t1,t2,…,tk)(圖2).
圖1 引理2中的圖G 和G′與引理3的圖H 和H′Fig.1 Graphs Gand G′in Lemma 2,Hand H′in Lemma 3
推論1 設(shè)Uk(2n)和(t1,t2,…,tk)為如上所定義的完美匹配單圈圖,則
證明 將連通圖G=(V,E)的頂點(diǎn)集分為3部分,e=uv為連通圖G 的一條邊,
設(shè)x∈Nr2(e)-{r2}且y∈V(Tr2)-{r2},下列等式成立:
情形1:k為偶數(shù),設(shè)頂點(diǎn)x,y∈V(U+k)-{r1,r2},顯然
等號(hào)成立當(dāng)且僅當(dāng)k=4且t1=t2=|V(Trk)|=0.
等號(hào)成立當(dāng)且僅當(dāng)k=5且t1=t2=|V(Trk)|=0.證畢.
圖2 圖形變換Ⅳ與ⅤFig.2 Graph transformationⅣandⅤ
證明 設(shè)x∈Nr2(e)-{r2}且y∈V(Tr2)-{r2,},下列等式成立:
情形3:k為偶數(shù),顯然N=(e)是空集.設(shè)頂點(diǎn)x,y∈V(t1,t2,…,tk))-{r1,r2},顯然d(x,y|
等號(hào)成立當(dāng)且僅當(dāng)k=4且t1=t2=|V(Trk)|=0.
等號(hào)成立當(dāng)且僅當(dāng)k=5且t1=1,t2=|V(Trk)|=0.證畢.
設(shè)邊e=r1r2為圈Ck上的一條邊,若頂點(diǎn)r1和r2上都沒有懸掛邊,對(duì)邊r1r2施行圖形變換Ⅳ(圖2);若頂點(diǎn)r1,r2上各有一個(gè)懸掛邊,對(duì)邊r1r2施行圖形變換Ⅴ(圖2).
證明 由圖形變換Ⅲ及引理3可知,不等式(8)顯然成立.由等式(2)可知
不妨假設(shè)t1≠0且證畢.
定理1 設(shè)G∈u+(2n)(n>4),則
圖3 圖(t1,t2,t3)與(t1,t2,t3)Fig.3 Graphs (t1,t2,t3)and(t1,t2,t3)
[1] DOBRYNIN A A,GUTMAN I,KLAVZAR S,et al.Wiener index of hexagonal systems[J].Acta Appl Math,2002,72:247-294.
[2] KLAVZAR S,ZIGERT P,GUTMAN I.An algorithm for the calculation of the hyper-Wiener index of benzenoid hydrocarbons[J].Comput Chem,2000,24:299-233.
[3] KLEIN D J,LUKOVITS I.On the definition of the hyper-Wiener index for cyclecontaining structures[J].J Chem Inf Comput Sci,1995,35:50-52.
[4] GUTMAN I.Relation between hyper-Wiener and Winer index[J].Chem Phys Lett,2002,364:352-356.
[5] ZHOU Bo,GUTMAN I.Relations between Wiener,hyper-Wiener and Zagreb indices[J].Chem Phys Lett,2004,394:93-95.
[6] KHALIFEH M H,YOUSEFI-AZARI H,ASHRAFI A R.The hyper-Wiener index of graph operations[J].Comput Math Appl,2008,56:1402-1407.
[7] WIENER H.Structural determination of paraffin boiling points[J].J Amer Chem Soc,1947,69:17-20.
[8] CASH G G.Polynomial expressions for the hyper-Wiener index of extended hydrocarbon networks[J].Chem,2001,25:577-582.
[9] 侯遠(yuǎn).單圈圖的hyper-Wiener指標(biāo)[J].數(shù)學(xué)研究,2013,46:142-150.HOU Yuan.On the hyper-Wiener index of unicyclic graphs[J].Journal of mahthematical study,2013,46:142-150.
[10] 侯遠(yuǎn).完美匹配樹的hyper-Wiener指標(biāo)[J].閩江學(xué)院學(xué)報(bào),2013,34:10-12.HOU Yuan.Minimum hyper-Wiener index of trees with perfect matchings[J].Journal of Minjiang University,2013,34:10-12.