王曉

（商洛學(xué)院數(shù)學(xué)與計算機(jī)應(yīng)用學(xué)院，陜西商洛 726000）

色數(shù)和團(tuán)數(shù)是圖的兩個重要參數(shù)，著名圖論專家Erd?s利用概率的方法證明了色數(shù)和團(tuán)數(shù)的差值可以是任意大的整數(shù)[1-2]。顯然，一個圖的色數(shù)至少等于其團(tuán)數(shù)，這就促使研究者去考慮色數(shù)和團(tuán)數(shù)相等的圖。一個k-可著色的圖和階數(shù)為k的完全圖的不交并所構(gòu)成圖滿足色數(shù)和團(tuán)數(shù)相等。因此，單純考慮圖本身的色數(shù)和團(tuán)數(shù)相等意義不大。Berge[3]提出了完美圖的概念：不但要求圖本身的色數(shù)和團(tuán)數(shù)相等，同時要滿足其所有的導(dǎo)出子圖的色數(shù)和團(tuán)數(shù)也相等。與此同時，Berge提出了兩個關(guān)于完美圖的猜想（弱完美圖猜想和強(qiáng)完美圖猜想）。弱完美圖猜想是：一個圖是完美圖當(dāng)且僅當(dāng)其補(bǔ)圖是完美圖，隨后被Lovász[4]證明，稱為完美圖定理。強(qiáng)完美圖猜想是：一個圖是完美圖當(dāng)且僅當(dāng)其本身和其補(bǔ)圖都不含長度大于等于5的奇長圈為導(dǎo)出子圖，在2006年被Chudnovsky等[5]證明，稱為強(qiáng)完美圖定理。基于完美圖的定義，Gyárfás[6]提出了圖的色界函數(shù)的概念，即：什么樣的圖存在以團(tuán)數(shù)為變量的函數(shù)使得其任意導(dǎo)出子圖的色數(shù)都以這個函數(shù)為上界。 在文獻(xiàn)[6]中，Gyárfás給出了猜想 1。

猜想1[6]設(shè)F是一個森林，存在整數(shù)函數(shù)f(F,x)使得對于每一個以F為禁用子圖的圖G都滿足 χ(G)≤ f(F,ω(G))，其中 χ(G)和 ω(G)分別表示圖G的色數(shù)和團(tuán)數(shù)。

圍繞猜想1，眾多學(xué)者進(jìn)行了廣泛的研究，已有豐富的結(jié)果[7-13]。特別地，Wagon[9]證明了禁用子圖為兩條獨立邊的圖的一個色界函數(shù)為Choudum[12]研究了獨立數(shù)小于等于2的圖色界函數(shù)。因此，禁用子圖為階數(shù)較小的森林是一個研究的重點。

設(shè)P3∪P2表示路P3和P2的不交并，P3∪mP2表示路P3和m條不交邊 P2的不交并。本文通過對以P3∪P2為禁用子圖的圖結(jié)構(gòu)進(jìn)行分析，給出色界函數(shù) f(P3∪P2，ω(G))的一個上界；并且以此為基礎(chǔ)，得到禁用子圖為P3∪mP2的圖色數(shù)上界。

1 預(yù)備知識

圖是一個具有二元關(guān)系結(jié)構(gòu)的數(shù)學(xué)模型，是由頂點集和邊集構(gòu)成的有序?qū)?，通常用G=(V(G),E(G))表示。設(shè)H和G表示兩個圖，若滿足V(H)?V(G)和 E(H)?E(G)，則稱 H 是 G 的子圖；更進(jìn)一步，對于任意 u,v∈V(H)，若uv∈E(H)當(dāng)且僅當(dāng)uv∈E(G)，則稱H是G的導(dǎo)出子圖。若圖G不含H為導(dǎo)出子圖，則稱H是G的禁用子圖。設(shè)u,v∈V(G)，若uv∈E(G)則稱頂點u和v相鄰，且u，v互為鄰點；圖G中v的所有鄰點構(gòu)成的集合稱為v的鄰點集，記為NG(v)。

設(shè)G是一個圖，對于頂點子集A?V(G)，用G[A]表示圖G中由A導(dǎo)出的子圖。如果E(G[A])=?，則稱A為圖G的一個獨立集。如果G[A]為完全圖，則稱A為圖G的一個團(tuán)。圖G中最大團(tuán)的階數(shù)稱為G的團(tuán)數(shù)，記為ω(G)。對于圖G，如果存在映射 f:V(G)→{1，2，…，k}使得對任意的 uv∈E(G)都有f（u）≠f（v），則稱G是k-可著色；使得圖G有k-可著色的最小的正整數(shù)k稱為G的色數(shù)，用 χ(G)表示。

不重復(fù)的點邊交錯序列稱為路，n個頂點的路記為Pn。若圖G中任意兩個頂點之間都有路相連，則稱G為連通圖。圖中與某一頂點相鄰的頂點數(shù)目稱為該頂點的度，連通且每個頂點的度都為2的圖稱為圈，不含圈的連通圖稱為樹，森林為某些樹的不交并。

本文中考慮的圖都是有限簡單圖，文中涉及到但未給出的概念和記號可參考文獻(xiàn)[7,14]。

2 禁用子圖為P3∪P2的圖著色

3 禁用子圖為P3∪mP2的圖著色

4 結(jié)語

根據(jù)強(qiáng)完美圖定理可知完美圖的禁用子圖是奇長圈及其補(bǔ)圖。 1987 年 Gyárfás[6]提出一系列的具有禁用子圖的色界函數(shù)的猜想，并引起圖論學(xué)者的廣泛研究。Wagon[9]早在1980年就給出了禁用子圖為2P2的圖的一個色界函數(shù)，雖然這個色界函數(shù)不是緊的，但是四十年來一直沒有被改進(jìn)，足以說明尋找色界函數(shù)的難度。本文首先借鑒Wagon的方法給出禁用子圖為P3∪P2的圖的色界函數(shù)，進(jìn)而得到了禁用子圖為P3∪mP2的圖類的色數(shù)上界，說明了Gyárfás猜想（猜想1）在F為特殊森林時是成立的。