平面圖的在線列表染色
發(fā)布時間:2020-11-22 06:17
圖的在線列表染色是圖的列表染色的在線版本.在線列表染色概念是由Schauz[23]和Zhu[31]于2009年分別提出的.設(shè)G是一個圖,f是一個從V(G)到N的映射.圖G上的f-painting博弈(也稱作在線列表染色游戲)有兩位玩家:Lister和Painter.起初,每一個頂點v有f(v)個籌碼且每個頂點均未被染色.在每個回合,Lister選擇圖中未染色頂點集的一個非空子集M,將M中每個頂點減少一個籌碼.Painter選擇M中一個獨立集I,將I中的頂點染色.如果某個回合結(jié)束后,存在一個頂點未被染色且沒有籌碼了,則Lister贏得比賽.否則,在某一回合,所有頂點均被染色,則Painter贏得比賽.如果Painter在圖G上的f-列表染色游戲中有一個贏的策略,我們說圖G是f-可涂的(也稱作在線f-可選的).如果圖G是f-可涂的且f =k,則稱圖G是k-可涂的.圖G的可涂數(shù)(也叫在線選擇數(shù))用χP(G)表示,是指最小的正整數(shù)k使得圖G是kk-可涂的.Alon-Tarsi定理[1]是研究列表染色的一個強有力的工具,Schauz[23]將Alon-Tarsi定理延拓至在線列表染色的研究上.圖的染色的一個研究方向是源自1976年的Steinberg猜想[12].這個猜想斷言不含4-圈和5-圈的平面圖是3-可染的.Erdos[20]在1991年提出確定最小的k使得不含4-,5-,...,k-圈的平面圖是3-可染的.最近,Steinberg的猜想被Cohen-Addad,Hebdige,Kral[5]等人否定.但是不含4-,5-,6-圈的平面圖是否3-可染的這一問題,目前尚未解決.類似Erdos的問題,人們希望確定最小的整數(shù)l使得不含4-,5-,...,l-圈的平面圖是3-可選的.2010年,Borodin等人[2]證明了l ≤ 9.最近Dvorak和Postle[7]證明l ≤ 8.Lam,Xu和Liu[16]證明了不含4-圈的平面圖是4-可選的;Wang和Lih[27]證明了不含5-圈的平面圖是4-可選的;Juvan和Mohar[14]證明了不含6-圈的平面圖是4-可選的.除了不含固定長度圈的問題,學(xué)者們對限定三角形距離的平面圖的列表染色問題進行了廣泛研究.我們用g表示不含4-,5-,6-圈且三角形距離≥2的平面圖的全體.假設(shè)G∈g,則一個7-面至多和兩個3-面相鄰.假設(shè)f是G的一個7-面,與兩個(3,3,3)的3-面相鄰,f的頂點均為4--點.如果f恰有一個4-點,則稱f為窮面.若f有兩個4-點,則稱f為半窮面.若一個窮面f與一個半窮面g相交于一個4-點或相鄰于一條(3,4)-邊,則稱fUg為G的一個特殊結(jié)構(gòu).Jin和Wei[13]證明了如果平面圖G∈g,不含如圖1.1所示的特殊7-圈,那么G是3-可選的.本文改進了上述結(jié)果.結(jié)合Alon-Tarsi定理和權(quán)轉(zhuǎn)移方法,在第二章中證明了如果平面圖G∈g,不含特殊結(jié)構(gòu),那么G是3-可涂的.在第三章中證明當k=3,4,5或6時,不含k-圈的平面圖是4-可涂的.
【學(xué)位單位】:浙江師范大學(xué)
【學(xué)位級別】:碩士
【學(xué)位年份】:2018
【中圖分類】:O157.5
【部分圖文】:
?(b)?—個半窮面?(c)?一個弱面??圖2.1:定義2.1的圖??定義2.2.設(shè)/:是一個窮面,/2是一個半窮面.如果力和八相交于一個4-點或相鄰于一??條(3,4)-邊,則稱/山/2為G的一個特殊結(jié)構(gòu).??
三角形[外巧叫]相鄰.且g的其他頂點的度數(shù)均為3.設(shè)X?=?{…,...,叫丨,我們將證??明G[X]有一個強的定向,因此G[X]是一個可約結(jié)構(gòu).這與引理2.1矛盾.??因為圖(?不含4-,5-.6-圈且尸》2.所以(?[義]如圖2.3(?)所示.特別的,當;=??3,4,?5,6,?7,8時,每一個頂點巧有兩個鄰點在久中,有一個鄰點在中.??設(shè)D?〃是圖Gpq的定向,如圖2.3(b)所示.我們將展示是圖Gpq的一個強的??定向.顯然對于每一個頂點t,e?A'.有c^〃(t;)?<?2-(dG(t;)?-rfGp^(t〇).為得到diff(D〃)矣??0,由引理2.2可知,我們可以刪去三角形仰].由觀察2.1可知,在剩下的圖中刪去??源和匯,最終得到的定向圖是一個空圖£>〃'且diff(D'〃)=?1.因此diff(D〃)=?1.?□??1'8?坤??V?re?v.i/?\V(i?VyT??(a)可能結(jié)構(gòu)?(b)定向圖??圖2.3:引理2.3的圖??定義2.4.如果面/=[巧巧...巧]是一個7-面,與兩個(3,3,3)-三角形7\?=[列¥8]和乃=??[%哪9]相鄰,且/上每一個頂點的度數(shù)至多為4,那么由集合X??導(dǎo)的子圖GtX;j稱為一個企鵝.??引理2.4.圖G不包含兩個企鶴.其中兩個企鶴相交于一個4-點
?我們構(gòu)造圖的-?個強的定向L>",如下:首先兩個7-面&,仍上的邊以及兩??個(3,3,3)-三角形(與汛.仍相鄰的)上的邊的定向如圖2.4(d),2.4(e)和2.4(f)所示.如果??圖Gpq上有一條額外邊,則額外邊的定向是任意的.??很容易看出,對于每一個頂點r?e入,有<?2?-?-如丨應(yīng)用觀??察2.1可使D?〃成為一個空圖.因此diffp")?=?1.??,八?A?ArA??.71?I'llf?.72?\?入?■'?U7f??I.丨,,?mu,":????'??^7?V-'?V?\/??(a)情況1?(b)情況2??/A'?\?#?\?i,。??,,c?^?<?i?V、
【相似文獻】
本文編號:2894264
【學(xué)位單位】:浙江師范大學(xué)
【學(xué)位級別】:碩士
【學(xué)位年份】:2018
【中圖分類】:O157.5
【部分圖文】:
?(b)?—個半窮面?(c)?一個弱面??圖2.1:定義2.1的圖??定義2.2.設(shè)/:是一個窮面,/2是一個半窮面.如果力和八相交于一個4-點或相鄰于一??條(3,4)-邊,則稱/山/2為G的一個特殊結(jié)構(gòu).??
三角形[外巧叫]相鄰.且g的其他頂點的度數(shù)均為3.設(shè)X?=?{…,...,叫丨,我們將證??明G[X]有一個強的定向,因此G[X]是一個可約結(jié)構(gòu).這與引理2.1矛盾.??因為圖(?不含4-,5-.6-圈且尸》2.所以(?[義]如圖2.3(?)所示.特別的,當;=??3,4,?5,6,?7,8時,每一個頂點巧有兩個鄰點在久中,有一個鄰點在中.??設(shè)D?〃是圖Gpq的定向,如圖2.3(b)所示.我們將展示是圖Gpq的一個強的??定向.顯然對于每一個頂點t,e?A'.有c^〃(t;)?<?2-(dG(t;)?-rfGp^(t〇).為得到diff(D〃)矣??0,由引理2.2可知,我們可以刪去三角形仰].由觀察2.1可知,在剩下的圖中刪去??源和匯,最終得到的定向圖是一個空圖£>〃'且diff(D'〃)=?1.因此diff(D〃)=?1.?□??1'8?坤??V?re?v.i/?\V(i?VyT??(a)可能結(jié)構(gòu)?(b)定向圖??圖2.3:引理2.3的圖??定義2.4.如果面/=[巧巧...巧]是一個7-面,與兩個(3,3,3)-三角形7\?=[列¥8]和乃=??[%哪9]相鄰,且/上每一個頂點的度數(shù)至多為4,那么由集合X??導(dǎo)的子圖GtX;j稱為一個企鵝.??引理2.4.圖G不包含兩個企鶴.其中兩個企鶴相交于一個4-點
?我們構(gòu)造圖的-?個強的定向L>",如下:首先兩個7-面&,仍上的邊以及兩??個(3,3,3)-三角形(與汛.仍相鄰的)上的邊的定向如圖2.4(d),2.4(e)和2.4(f)所示.如果??圖Gpq上有一條額外邊,則額外邊的定向是任意的.??很容易看出,對于每一個頂點r?e入,有<?2?-?-如丨應(yīng)用觀??察2.1可使D?〃成為一個空圖.因此diffp")?=?1.??,八?A?ArA??.71?I'llf?.72?\?入?■'?U7f??I.丨,,?mu,":????'??^7?V-'?V?\/??(a)情況1?(b)情況2??/A'?\?#?\?i,。??,,c?^?<?i?V、
【相似文獻】
相關(guān)碩士學(xué)位論文 前1條
1 顏慧慧;平面圖的在線列表染色[D];浙江師范大學(xué);2018年
本文編號:2894264
本文鏈接:http://www.sikaile.net/kejilunwen/yysx/2894264.html
最近更新
教材專著