嚴(yán)謙泰

(安陽師范學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，河南 安陽 455000)

1 引言

優(yōu)美圖由于其有趣性及較好的應(yīng)用價(jià)值和研究前景，其研究十分活躍。最近十幾年來，國內(nèi)外取得不少優(yōu)美圖的研究成果[1]，它們也被用于許多領(lǐng)域[2].它的研究始于1963年G.Ringel的一個(gè)猜想[3]和1966年A.Rosa的一篇論文[4].1972年，S.W.Golomb明確給出了優(yōu)美圖的定義[5].之后，Gnanajoethi又提出了：每棵樹都是奇優(yōu)美的[6]，開始了奇優(yōu)美圖的研究。但由于缺少系統(tǒng)和有力的工具，到底滿足什么條件的圖是優(yōu)美圖，即表征優(yōu)美圖仍是一個(gè)世界難題，因此至今只能對(duì)一些特殊圖類研究其優(yōu)美性. 圖的強(qiáng)協(xié)調(diào)標(biāo)號(hào)問題是圖論中的一個(gè)十分有趣的研究課題,自1982年，D·Fank Hsu引入圖的強(qiáng)協(xié)調(diào)標(biāo)號(hào)，已有許多這方面的結(jié)果. 之后，作者提出了奇強(qiáng)協(xié)調(diào)圖和k-強(qiáng)協(xié)調(diào)圖的概念，拓寬強(qiáng)協(xié)調(diào)標(biāo)號(hào)問題的研究.

定義1[2]對(duì)于簡單圖G=〈V,E〉，如果存在一個(gè)映射f:V(G)→{0,1,2,…,|E|}，滿足1)對(duì)任意的u,v∈V，若u≠v，則f(u)≠f(v)；2)max{f(v)|v∈V}=|E|；3)對(duì)任意的e1,e2∈E,若e1≠e2,則g(e1)≠g(e2),此處g(e)=|f(u)-f(v)|,e=uv；4){g(e)|e∈E}={1,2,…,|E|},則稱G為優(yōu)美圖，稱f為G的優(yōu)美標(biāo)號(hào).

定義2[2]對(duì)于簡單圖G=〈V,E〉，如果存在一個(gè)映射f:V(G)→{0,1,2,…,2|E|-1}，滿足1)對(duì)任意的u,v∈V，若u≠v，則f(u)≠f(v)；2)max{f(v)|v∈V}=2|E|-1；3)對(duì)任意的e1,e2∈E,若e1≠e2,則g(e1)≠g(e2),此處g(e)=|f(u)-f(v)|,e=uv；4){g(e)|e∈E}={1,3,5,…,2|E|-1},則稱G為奇優(yōu)美圖，稱f為G的奇優(yōu)美標(biāo)號(hào).

定義3[8]設(shè)G=〈V,E〉是一個(gè)無向簡單圖.如果存在一個(gè)映射f:V(G)→{0,1,2,…,|E|}，滿足：(1)f是單射;(2)?uv∈E(G),令f(uv)=f(u)+f(v)，有{f(uv)∣uv∈E(G)}={1,2,…,|E|},則稱G是強(qiáng)協(xié)調(diào)圖，f稱為G的強(qiáng)協(xié)調(diào)標(biāo)號(hào).

定義4[10]設(shè)G=〈V,E〉是一個(gè)無向簡單圖.如果存在一個(gè)映射f:V(G)→{0,1,2,…,2|E|-1}，滿足：(1)f是單射;(2)Vuv∈E(G),令f(uv)=f(u)+f(v)，有{f(uv)∣uv∈E(G)}={1,3,5,…,2|E|-1},則稱G是奇強(qiáng)協(xié)調(diào)圖，f稱為G的奇強(qiáng)協(xié)調(diào)標(biāo)號(hào)或奇強(qiáng)協(xié)調(diào)值.顯然f導(dǎo)出了一個(gè)E(G)與{1,3,5,…,2|E|-1}的一個(gè)一一對(duì)應(yīng).

本文研究了一類網(wǎng)格圖類圖的優(yōu)美性和強(qiáng)協(xié)調(diào)性.未加說明的術(shù)語和記號(hào)見文獻(xiàn)[2].

2 主要結(jié)論及證明

定理1 設(shè)C1,C2,…,Cn是n(n≥2)個(gè)長為4的圈，其頂點(diǎn)集合v(Ci)={vi1,vi2,vi3,vi4}，把Ci和Ci+1中的頂點(diǎn)vij和vi+1,j間連一條邊(i=1,2,…,n-1；j=1，2，3，4)，所得圖記為Z4,n.那么，Z4,n是優(yōu)美圖.

證明給出Z4,n各頂點(diǎn)標(biāo)號(hào)f如下：

f(vij)=i-1,

f(vij)=4(2n-1)-2(i-1)-2,

f(vij)=(3n-2)-(i-1),

f(vij)=(3n-1)+2(i-1)-1,

易驗(yàn)證f是Z4,n的一個(gè)優(yōu)美標(biāo)號(hào)，所以Z4,n是優(yōu)美圖

定理2 設(shè)C1,C2,…,Cn是n(n≥2)個(gè)長為4的圈，其頂點(diǎn)集合v(Ci)={vi1,vi2,vi3,vi4}，把Ci和Ci+1中的頂點(diǎn)vij和vi+1,j間連一條邊(i=1,2,…,n-1；j=1，2，3，4)，所得圖記為Z4,n.那么，Z4,n是奇優(yōu)美圖.

證明圖Z4,n中，|V(Z4,n)|=4n,|E(Z4,n)|=4(2n-1)，.給出Z4,n各頂點(diǎn)標(biāo)號(hào)f如下：

f(vij)=2(i-1),

f(vij)=8(2n-1)-4(i-1)-1,

f(vij)=2(3n-2)-2(i-1),

f(vij)=2(3n-1)+4(i-1)-1,

易驗(yàn)證f是Z4,n的一個(gè)奇優(yōu)美標(biāo)號(hào)，所以Z4,n是奇優(yōu)美圖.

定理3 設(shè)C1,C2,…,Cn是n(n≥2)個(gè)長為4的圈，其頂點(diǎn)集合v(Ci)={vi1,vi2,vi3,vi4}，把Ci和Ci+1中的頂點(diǎn)vij和vi+1,j間連一條邊(i=1,2,…,n-1；j=1，2，3，4)，所得圖記為Z4,n.那么，Z4,n是k-優(yōu)美圖.

證明圖Z4,n中，|V(Z4,n)|=4n,|E(Z4,n)|=4(2n-1)，.給出Z4,n各頂點(diǎn)標(biāo)號(hào)f如下：

f(vij)=i-1,

f(vij)=k+4(2n-1)-2(i-1)-2,

f(vij)=(3n-2)-(i-1),

f(vij)=k+(3n-1)+2(i-1)-1,

易驗(yàn)證f是Z4,n的一個(gè)k-奇優(yōu)美標(biāo)號(hào)，所以Z4,n是k-優(yōu)美圖.

定理4 設(shè)C1,C2,…,Cn是n(n≥2)個(gè)長為4的圈，其頂點(diǎn)集合v(Ci)={vi1,vi2,vi3,vi4}，把Ci和Ci+1中的頂點(diǎn)vij和vi+1,j間連一條邊(i=1,2,…,n-1；j=1，2，3，4)，所得圖記為Z4,n.那么，Z4,n是奇強(qiáng)協(xié)調(diào)圖.

證明圖Z4,n中，|V(Z4,n)|=4n,|E(Z4,n)|=4(2n-1)，.給出Z4,n各頂點(diǎn)標(biāo)號(hào)f如下：

f(vij)=4(i-1),

f(vij)=2(i-1),

f(vij)=4(2n-1)-2-4(i-1),

f(vij)=4(2n-1)+1-2(i-1),

易驗(yàn)證f是Z4,n的一個(gè)奇強(qiáng)協(xié)調(diào)標(biāo)號(hào)，所以Z4,n是奇強(qiáng)協(xié)調(diào)圖.

定理5 設(shè)C1,C2,…,Cn是n(n≥2)個(gè)長為4的圈，其頂點(diǎn)集合v(Ci)={vi1,vi2,vi3,vi4}，把Ci和Ci+1中的頂點(diǎn)vij和vi+1,j間連一條邊(i=1,2,…,n-1；j=1，2，3，4)，所得圖記為Z4,n.那么，Z4,n是k-強(qiáng)協(xié)調(diào)圖.

證明圖Z4,n中，|V(Z4,n)|=4n,|E(Z4,n)|=4(2n-1)，.給出Z4,n各頂點(diǎn)標(biāo)號(hào)f如下：

f(vij)=2(i-1),

f(vij)=k+(i-1),

f(vij)=2(2n-1)-1-2(i-1),

f(vij)=k+2(2n-1)-(i-1),

易驗(yàn)證f是Z4,n的一個(gè)k-強(qiáng)協(xié)調(diào)標(biāo)號(hào)，所以Z4,n是k-強(qiáng)協(xié)調(diào)圖.