鄭國(guó)彪

(青海民族學(xué)院學(xué)報(bào)編輯部,青海西寧 810000)

關(guān)于D-完全一致混合超圖上色數(shù)的一個(gè)結(jié)論的推廣

鄭國(guó)彪

(青海民族學(xué)院學(xué)報(bào)編輯部,青海西寧 810000)

混合超圖的上、下色數(shù)的研究是超圖研究中一個(gè)重要的話題.由于超圖本身結(jié)構(gòu)上的復(fù)雜性,近年來(lái)對(duì)超圖色性的研究也近局限于對(duì)一些特殊圖類的研究,其中完全一致混合超圖是最為熱門的圖類之一.給出了D完全(C不完全)一致混合超圖的概念,并運(yùn)用組合數(shù)學(xué)中有關(guān)分劃的思想和方法對(duì)該圖類的色性進(jìn)行了進(jìn)一步的研究,對(duì)相關(guān)文獻(xiàn)中給出的結(jié)論進(jìn)行了推廣,得到了一個(gè)較為一般化的結(jié)論.并在該定理的證明中得到并證明了一個(gè)關(guān)于混合超圖C穩(wěn)定集的重要論斷,對(duì)超圖色性研究有著重要的意義.

D-完全一致混合超圖;上色數(shù);下色數(shù)

1 基本概念及引理

則K(n,l,m)稱為n個(gè)頂點(diǎn)的完全(l,m)-一致混合超圖.顯然,對(duì)于給定的n,l,m,在同構(gòu)的意義下恰好存在一個(gè)K(n,l,m).

定義1.2[2-3]混合超圖H=(X,C,D)的存在嚴(yán)格i-著色的所有i中最大的i稱為H的上色數(shù),表示為(H).

定義1.3[1]如果混合超圖H=(X,C,D)的頂點(diǎn)集X的一個(gè)i分劃X=(X1,X2,…,Xi)滿足:

1)每一條C-超邊至少有兩個(gè)頂點(diǎn)在同一個(gè)分劃塊中;

2)每一條D-超邊至少有兩個(gè)頂點(diǎn)在不同的分劃塊中.

則該分劃被稱為H的可行性分劃.

顯然,H的任一嚴(yán)格i著色都對(duì)應(yīng)著某一嚴(yán)格i可行性分劃,反之亦然.因而二者是等價(jià)的.可將H的一個(gè)可行性分劃或一嚴(yán)格i-著色c表示為:

并用ri(H)=ri表示可行性i分劃的個(gè)數(shù).

定義1.4[1]混合超圖H=(X,C,D)的頂點(diǎn)集X的一個(gè)子集S如果不包含任何一條C-超邊(D-超邊)作為其子集,則稱其為C穩(wěn)定的或C獨(dú)立的(D穩(wěn)定的或D獨(dú)立的).

定義1.5[1]如果H的正常i-著色中,i種顏色都被用到,那么這一著色被稱為嚴(yán)格的i-著色.

顯然,對(duì)于可著色的混合超圖H,一個(gè)正常的χ(H)-著色一定是一嚴(yán)格著色.

定義1.6[1]在混合超圖H=(X,C,D)的任一著色c中,頂點(diǎn)集X的子集Y,如果滿足:對(duì)任意的y1∈Y,y2∈Y,有c(y1)=c(y2),則稱子集Y是單色的;如果每?jī)牲c(diǎn)的顏色都不相同,即c(y1)/=c(y2),則稱子集Y是多色的.

由混合超圖正常著色的定義可知,在混合超圖的任一正常著色中,D-超邊一定是非單色的子集,C-超邊一定是非多色的子集.

定義1.7[1]H的任意一個(gè)嚴(yán)格i-著色都導(dǎo)出一個(gè)頂點(diǎn)集X的i分劃,每一個(gè)分劃塊是一非空單色子集,稱為色類.

定義1.8[1]混合超圖H=(X,C,D)的頂點(diǎn)集X的一個(gè)子集S如果不包含任何一條C-超邊(D-超邊)作為其子集,則稱其為C穩(wěn)定的或C獨(dú)立的(D穩(wěn)定的或D獨(dú)立的).

引理1.1[4]混合超圖

2 主要結(jié)果

即當(dāng)p=1時(shí),結(jié)論成立.

假設(shè)對(duì)任意p＜t結(jié)論成立.則當(dāng)p=t時(shí),即從色類X1中取出t個(gè)頂點(diǎn)重新分配到其它色類且保持關(guān)系|Xj1|≥|Xj2|≥…≥|Xji|.不妨設(shè)第t次從X1中取出的頂點(diǎn)為x′(l+k-t-r),將它重新分配到色類Xj中.并設(shè)在此之前色類X2,…,Xj-1,Xj,Xj+1,…,Xr中所包含的頂點(diǎn)數(shù)分別為:n2,…,nj-1,nj,nj+1,…,nr,同時(shí)在此步操作前色類X1中的頂點(diǎn)數(shù)為l+k-r-t+1,則此步操作后各色類中的頂點(diǎn)數(shù)分別是:

易知第t-1步操作后,所得可行性分劃對(duì)應(yīng)的s的值為:

第t步操作后,所得可行性分劃對(duì)應(yīng)的s的值為:

又因?yàn)楦鶕?jù)證明開始時(shí)的約定,第t步操作后,色類X1中的頂點(diǎn)數(shù)(l+k-r-t)不小于

其它任何一個(gè)色類中的頂點(diǎn)數(shù),即:l+k-r-t≥nj+1,從而

所以,第t步操作后,所得可行性分劃對(duì)應(yīng)的s的值:

即當(dāng)p=t時(shí),結(jié)論也成立.

綜上可知,斷言對(duì)任意自然數(shù)p都成立.

在已證上述斷言的基礎(chǔ)上,下面再來(lái)證本定理結(jié)論.

顯然,由斷言容易得到下述結(jié)論:

[1]V italy,Voloshin V I.Coloring Mixed Hypergraphs:Theory,A lgorithm s and App lications[M].Rhode Island: Am erican Mathem atical Society Providence,2003.

[2]Voloshin V I.Them ixed hypergraphs[J].Com put.Sci.J.Moldova,1993(1):45-52.

[3]Voloshin V I.On the Upper Chrom atic Number of a Hypergraph[M].Chisinau:Preprint of Moldova State University,1992.

[4]鄭國(guó)彪.一類一致混合超圖的上、下色數(shù)[J].青海師專學(xué)報(bào),2007(5):18-22.

[5]鄭國(guó)彪.關(guān)于刪除若干C-超邊的完全一致混合超圖色數(shù)的幾個(gè)結(jié)論[J].青海師專學(xué)報(bào),2008(5):12-15.

[6]鄭國(guó)彪.D-完全一致混合超圖不可著色的一個(gè)充要條件[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué),2011,27(3):308-312.

Generalized extend of one result of the upper chromatical number of the D-complete uniform mixed hypergraph

Zheng Guobiao
(Editer Department of Qinghai Nationalities Institutes,Xining 810000,China)

It is aimportant topic to study the upper and lower chrom atical number of them ixed hypergraphs. As the hypergraphs have a complex structure,all study on chrom atical properties of the hypergraphs are lim ited to only some special kind of hypergraphs.The com p lete uniform m ixed hypergraph is themost popular one am ong they.In this artical,a new concept that the D-com p lete uniform m ixed hypergraph was given,and further studied its the upper chrom atical number on previously a initial result basis,and ageneral result was attained.In the course of proving this conclusion,we find and prove a important predication connection with the stable set of them ixed hypergraphs,which has a im portant m ean.

the D-com plete uniform mixed hypergraphs,upper chrom atic number, lower chromatic number,extend elementary method,conjecture

O157

A

1008-5513(2012)03-0294-09

2012-02-03.

青海省自然科學(xué)基金(2001-Z-911).

鄭國(guó)彪(1967-),碩士,副教授,研究方向：圖論及其應(yīng)用.

2010 MSC:05C78