吳 躍 生

(華東交通大學(xué)理學(xué)院，江西 南昌 330013)

?

圖(s〈C4，3〉)∪Pm的優(yōu)美性

吳 躍 生

(華東交通大學(xué)理學(xué)院，江西 南昌 330013)

[摘要]研究了圖(s〈C4，3〉)∪Pspan的優(yōu)美性，證明了當(dāng)s為大于等于2的自然數(shù)，m為任意正整數(shù)時，圖(s〈C4，3〉)∪Pspan是優(yōu)美的.其中圖〈C4，3〉是將3個C4中每個C4的一個頂點粘接到一起得到的新圖，Pspan是有m+1個頂點的路，而(s〈C4，3〉)∪Pspan是s個〈C4，3〉與一個Pspan的非連通并.文中所得結(jié)果部分解決了已有文獻(xiàn)給出的猜想.

[關(guān)鍵詞]優(yōu)美圖；交錯圖；非連通圖；路

1預(yù)備知識

優(yōu)美圖因其應(yīng)用性和趣味性，引起眾多學(xué)者的廣泛研究.[1-10]文獻(xiàn)[7-8]研究了圖(s〈C4，n〉)∪Pm的優(yōu)美性，文獻(xiàn)[7]中還給出了如下猜想：?m，n，?s≥2，圖(s〈C4，n〉)∪Pm是優(yōu)美的.本文證明了當(dāng)n=3時，此猜想成立.

定義1[1]對于一個圖G=(V，E)，若存在一個單射

使得對所有邊e=uv∈E(G)，由

定義2[2]設(shè)θ是圖G的優(yōu)美標(biāo)號，

V(G)=X∪Y，X∩Y=?.

如果

則稱θ是G的交錯標(biāo)號，稱G是在交錯標(biāo)號θ下的交錯圖，稱k為交錯圖G關(guān)于交錯標(biāo)號θ的特征.

定義3[7-8]指定圖C4的一個頂點為根，將n個C4的根粘在一起得到的圖記為〈C4，n〉，粘結(jié)點記為b，則稱〈C4，n〉中的每個C4為分支.Pm是有m+1個頂點的簡單通路，圖(s〈C4，n〉)∪Pm是s個〈C4，n〉與一個Pm的非連通并.

2主要結(jié)果及其證明

引理1[5]設(shè)路Pm=v0v1v2…vm.?a∈{0，1，2，…，m}，路Pm存在一個優(yōu)美標(biāo)號θ，使得θ(v0)=a.

V(Gi)=(Xi，Yi)，

引理3[8]當(dāng)n>2時，非連通圖2〈C4，n〉存在特征為4n，缺4n+2和8n-1標(biāo)號值的交錯標(biāo)號.

引理4[11]當(dāng)T為優(yōu)美樹時，設(shè)T⊙K1是優(yōu)美樹T中優(yōu)美值為1的頂點粘接一條懸掛邊后所形成的樹，則非連通圖Gk+2∪T⊙K1是優(yōu)美圖；當(dāng)T為交錯樹時，設(shè)T的交錯標(biāo)號θ1的特征為k1，(X1，Y1) 是T的二分劃，

則非連通圖Gk+2∪T⊙K1是交錯圖.

引理5非連通圖3〈C4，3〉存在特征為18，缺20和35標(biāo)號值的交錯標(biāo)號.

證明如圖1所示，非連通圖3〈C4，3〉存在特征為18，缺20和35標(biāo)號值的交錯標(biāo)號.

定理1當(dāng)s≥2為自然數(shù)，m為任意正整數(shù)時，非連通圖(s〈C4，3〉)∪Pm是優(yōu)美的.

證明由引理1—引理5即可推出本定理結(jié)論.

例1非連通圖(3〈C4，3〉)∪P3的交錯標(biāo)號如圖2所示.非連通圖(3〈C4，3〉)∪P5的優(yōu)美標(biāo)號如圖3所示.

引理6(ⅰ) 如果T為優(yōu)美樹，且T⊙K1是優(yōu)美樹T中優(yōu)美值為2的頂點粘接一條懸掛邊后所形成的樹，則非連通圖Gk+3∪T⊙K1是優(yōu)美圖；

(ⅱ) 如果T為交錯樹，設(shè)T的交錯標(biāo)號θ1的特征為k1，(X1，Y1)是T的二分劃，

則非連通圖Gk+3∪T⊙K1是交錯圖.

證明(ⅰ) 設(shè)樹T的優(yōu)美標(biāo)號為θ1，θ1(v1)=2.在v1處粘接的一條懸掛邊為v1v2，頂點v2為懸掛點(或葉)，

定義非連通圖Gk+3∪T⊙K1的標(biāo)號θ2如下：

下面證明θ2是非連通圖Gk+3∪T⊙K1的優(yōu)美標(biāo)號.

(1) 映射

θ2:V(Gk+3)→[0，k]∪[k+4+m，m+n]∪{k+1+m，k+2+m}

是單射，映射

θ2:V(T⊙K1)→[k+1，k+m]∪{k+m+3}

也是單射，所以映射

θ2:V(Gk+3∪T⊙K1)→[0，n+m]

是單射.

(2) 映射

是雙射.

由優(yōu)美標(biāo)號的定義可知θ2是非連通圖G∪T⊙K1的優(yōu)美標(biāo)號.

(ⅱ) 當(dāng)T為交錯樹時，令

X2=X1∪X，

Y2=Y1∪Y∪{v2}，

則由已知條件有

即θ2是非連通圖G∪T⊙K1的交錯標(biāo)號，此交錯標(biāo)號的特征為k1+1+k.證畢.

引理7圖〈C4，3〉存在特征為3，缺6標(biāo)號值的交錯標(biāo)號.

證明圖4為〈C4，3〉的交錯標(biāo)號，由圖4可知引理結(jié)論正確.

圖4　圖〈C4，3〉的交錯標(biāo)號

定理2當(dāng)m為大于等于2的自然數(shù)時，〈C4，3〉∪Pm是優(yōu)美的.

證明由引理1，引理6和引理7即可推出本定理結(jié)論.

例2非連通圖〈C4，3〉∪P4的交錯標(biāo)號如圖5所示.非連通圖〈C4，3〉∪P6的優(yōu)美標(biāo)號如圖6所示.

圖5　圖〈C4，3〉∪P4的交錯標(biāo)號

圖6　圖〈C4，3〉∪P6的優(yōu)美標(biāo)號

[1]馬克杰.優(yōu)美圖[M].北京：北京大學(xué)出版社，1991：1-247.

[2]楊顯文.關(guān)于C4m蛇的優(yōu)美性[J].工程數(shù)學(xué)學(xué)報，1995，12(4):108-112.

[3]吳躍生.非連通圖C4m-1∪G的優(yōu)美標(biāo)號[J].吉首大學(xué)學(xué)報(自然科學(xué)版)，2014，35(3):1-3.

[4]吳躍生.再探非連通圖C4m-1∪G的優(yōu)美標(biāo)號[J].吉首大學(xué)學(xué)報(自然科學(xué)版)，2015，36(1):1-4.

[5]FLANDRIN E，F(xiàn)OURNIER I，CERMA A.Numotations gracieuses des chemins[J].Ars Combin，1983，16:149-181.

[7]張志尚，張慶成，王春月.關(guān)于(s〈C4，n〉)∪Pm的優(yōu)美性[J].東北師大學(xué)報(自然科學(xué)版)，2011，43(3)：14-18.

[8]杜萬根.關(guān)于(s〈C4，n〉)∪Pm的優(yōu)美性[J].蘇州大學(xué)學(xué)報(自然科學(xué)版)，2012，28(2):7-11.

[9]FRUCHTRW，SAUNASLC.Gracefulnumheringofsnakeswithconstantsonthefirst1abe1[J].ArsCombin，1985，20：143-157.

[10]GALLIAN J A. A dynamic survey of graph labeling[J/OL].The Electronic Journal of Combinatorics，2014[2014-05-23].http://www.combinatorics.org/ojs/index.php/eljc/article/view/DS6.

[11]吳躍生，王廣富，徐保根.非連通圖G∪T⊙K1的優(yōu)美性[J].東北師大學(xué)報(自然科學(xué)版)，2014，46(1)：14-16.

(責(zé)任編輯：李亞軍)

On the gracefulness of (s〈C4，3〉)∪Pm

WU Yue-sheng

(School of Science，East China Jiaotong University，Nanchang 330013，China)

Abstract:This article deals with the gracefulness of graph (s〈C4，3〉)∪Pspanand proves that (s〈C4，3〉)∪Pspanis graceful when s≥2(s and m are positive integer)，where the graph 〈C4，3〉 is achieved by identifying a vertex of each C4 of 3C4s with one vertex，graph Pspanis the path with m+1 vertexes，and graph (s〈C4，3〉)∪Pspanis the disjoint union of (s〈C4，3〉)s and Pspan.

Keywords:graceful graph；alternating graph；unconnected graph；path

[中圖分類號]O 157.5[學(xué)科代碼]110·7470

[文獻(xiàn)標(biāo)志碼]A

[作者簡介]吳躍生(1959—)，男，碩士，副教授，主要從事圖論研究.

[基金項目]國家自然科學(xué)基金資助項目(11261019，11361024).

[收稿日期]2014-05-23

[文章編號]1000-1832(2016)01-0018-04

[DOI]10.16163/j.cnki.22-1123/n.2016.01.005