×
博卡尔、德拉戈;马库斯·奇马尼;亚历山大·诺维尔;乔兰·席尔巴姆;托拜厄斯·斯托尔兹曼;米尔科·瓦格纳。;蒂洛·维德拉

大型2-交叉临界图的性质。 （英语） Zbl 1489.05139号

J.图形算法应用。 26，第1期，111-147（2022）.
摘要：（c）-交叉临界图是一个交叉数至少为（c），但其每个适当子图的交叉数都小于（c）的图。最近，一套明确的施工规则由D.博卡尔等人[Adv.Appl.Math.74，23-208（2016；Zbl 1330.05047号)]生成所有大交叉临界图（即，除了有限的小零星图集之外）。它们共享包含广义Wagner图（V{10}）作为细分的特性。
本文研究了这些图，并建立了它们的序、单交叉数、边覆盖数、团数、最大度、色数、色指数和树宽。我们还证明了这些图是线性时间可识别的，并且我们所有的证明都导致了上述度量的有效算法。

引用于1文件

MSC公司：

05C85号 图形算法（图形理论方面）
05年10月 平面图；图论的几何和拓扑方面

关键词：

交叉口编号;交叉临界图;色数;色度指数;树宽

引文：

Zbl 1330.05047号

软件：

托托
PDF格式BibTeX公司 XML格式引用
\textit{D.Bokal}等人，J.图形算法应用。26，编号1，111--147（2022；Zbl 1489.05139）
全文： 内政部 arXiv公司
OA许可证

参考文献：

[1] K.Appel和W.Haken。每个平面图都是四色的。第一部分：排放。伊利诺伊数学杂志，21（3）：429-4901977年9月·Zbl 0387.0509号 ·doi:10.1215/ijm/1256049011
[2] D.大主教。射影平面的Kuratowski定理。图论杂志，5（3）：243-2461981·Zbl 0464.05028号 ·doi:10.1002/jgt.3190050305
[3] S.Arnborg、A.Proskurowski和D.G.Corneil。部分3棵树的禁止未成年人特征。离散数学，80（1）：1-191990·Zbl 0701.05016号 ·doi:10.1016/0012-365X（90）90292-P
[4] U.Bertele和F.Brioschi。非串行动态编程。学术出版社，1972年·Zbl 0244.49007号
[5] H.L.Bodlaender。具有有界树宽的图的动态规划。在T.Lepist¨o和A.Salomaa，《自动化、语言和编程》编辑，《计算机科学讲义》第317卷，第105-118页。斯普林格，1988年·Zbl 0649.68039号 ·doi:10.1007/3-540-19488-6_110
[6] H.L.Bodlaender。树宽度：结构和算法。在G.Prencipe和S.Zaks，《结构信息和通信复杂性》编辑，《计算机科学讲义》第4474卷，第11-25页。施普林格，2007年·Zbl 1201.05076号 ·doi:10.1007/978-3-540-72951-83
[7] D.Bokal、M.Bracic、M.Derán´ar和P.Hlin´en´y。关于图的交叉临界族的度性质。组合数学电子杂志，26（1）：P1.532019·Zbl 1409.05066号 ·doi:10。
[8] D.Bokal、Z.Dvoár´ak、P.Hlináen´y、J.Leaános、B.Mohar和T.Wiedera。对于c≤12的c-交叉临界图，有界度猜想成立。第35届国际计算几何研讨会，LIPIcs第129卷，14:1-14:15页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆宫（Leibniz-Zentrum f¨ur Informatik），2019年·Zbl 07559214号 ·doi:10.4230/LIPIcs。SoCG.2019.14标准
[9] D.Bokal、A.V.Kalamar和T’Zerak。计算2-平铺图中的哈密顿循环。arXiv:2102.07985，已提交。网址：
[10] D.Bokal、B.Oporowski、R.B.Richter和G.Salazar。描述2-交叉临界图的特征。《应用数学进展》，74:23-2082016年·Zbl 1330.05047号 ·doi:10.1016/j.aam.2015.10。
[11] B.Bollob´as公司。组合数学：集合系统、超图、向量族和组合概率。剑桥大学出版社，1986年·Zbl 0595.05001号
[12] C.Buchheim、D.Ebner、M.Junger、G.W.Klau、P.Mutzel和R.Weikilcher。精确交叉最小化。在P.Healy和N.S.Nikolov编辑的《图形绘制国际研讨会》中，计算机科学讲稿第3843卷，第37-48页。斯普林格，2005年·Zbl 1171.68596号 ·数字对象标识代码：10.1007/116180584
[13] Y.Cao、G.Chen、G.Jing、M.Stiebitz和B.Toft。图形边缘着色：一项调查。图与组合数学，35（1）：33-662019·Zbl 1407.05087号 ·doi:10.1007/s00373-018-1986-5
[14] G.J.Chaitin。寄存器分配和通过图形着色溢出。编辑J.R.White和F.E.Allen，1982 SIGPLAN编译器构造研讨会论文集，第98-105页。ACM，1982年·数字对象标识代码：10.1145/800230.806984
[15] G.Chartrand、D.Geller和S.Hedetniemi。具有禁止子图的图。组合理论杂志，B辑，10（1）：12-411971·Zbl 0223.05101 ·doi:10.1016/0095-8956（71）90065-7
[16] B.库塞尔。图的一元二阶逻辑。有限图的可识别集。信息与计算，85（1）：12-751990·Zbl 0722.03008号 ·doi:10.1016/0890-5401（90）90043-H
[17] R.Diestel。图论。施普林格，2017年第5版·Zbl 1375.05002号
[18] Z.Dvoár´ak、P.Hlináen´y和B.Mohar。交叉临界图的结构和生成。第34届国际计算几何研讨会，LIPIcs第99卷，第33:1-33:14页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼兹·泽特鲁姆（Leibniz-Zentrum）f¨ur Informatik，2018年·Zbl 1489.68190号 ·doi:10.4230/LIPIcs。
[19] Z.Dvor´ak。关于图类的禁止细分特征。欧洲组合数学杂志，29（5）：1321-13322008·Zbl 1151.05038号 ·doi:10.1016/j.ejc.2007.05.008
[20] A.Gagarin、W.J.Myrvold和J.Chambers。带nok3,3的环面图的禁止子图和细分。离散数学电子笔记，22:151-1562005·Zbl 1200.05208号
[21] M.R.Garey和D.S.Johnson。计算机与不可纠正性：NP-完备性理论指南。W.H.Freeman，1979年·Zbl 0411.68039号
[22] 格罗赫先生。计算二次时间内的交叉数。计算机与系统科学杂志，68（2）：285-3022004·Zbl 1073.68064号 ·doi:10.1016/j.jcss.2003.07.008
[23] R.哈林。图的S函数。《几何学杂志》，8:171-1861976·Zbl 0339.05108号 ·doi:2007年10月10日/
[24] P.Hlinen´y。交叉关键图和路径宽度。在P.Mutzel、M.J¨unger和S.Leipert编辑的《计算机科学讲义》第2265卷《图形绘制》中，第102-114页。斯普林格，2001年·Zbl 1054.68590号 ·doi:10.1007/3-540-45848-49
[25] P.Hlinénéy。交叉数临界图具有有界的路径宽度。组合理论杂志，B辑，88（2）：347-3672003·Zbl 1021.05028号 ·doi:10.1016/S0095-8956（03）00037-6
[26] P.Hlináenéy和M.Korbela。关于2-交叉临界图中的可实现平均度。亚美尼亚大学数学学报，88（3）：787-7932019。网址：
[27] I.霍耶。边缘颜色的NP完全性。科学计算IAM杂志，10:718-7201981·Zbl 0473.68034号 ·doi:10.1137/0210055
[28] K.Kawarabayashi、B.Mohar和B.A.Reed。一种简单的线性时间算法，用于将图嵌入到任意曲面和有界树宽图的亏格中。在第49届IEEE计算机科学基础年会上，第771-780页。IEEE计算机学会，2008年·doi:10.1109/FOCS.2008.53
[29] K.Kawarabayashi和B.A.Reed。计算线性时间内的交叉数。D.S.Johnson和U.Feige编辑，《2007年第39届ACM计算机理论研讨会论文集》，第382-390页。ACM，2007年·Zbl 1232.90339号 ·doi:10.1145/1250790.1250848
[30] M.Kochol先生。交叉临界图的构建。离散数学，66（3）：311-3131987·Zbl 0618.05021号 ·doi:10.1016/0012-365X（87）90108-7
[31] C.库拉托夫斯基。这是一个关于地形的问题。数学基础，15（1）：271-2831930。网址：
[32] R.M.R.刘易斯。图形着色指南：算法和应用。斯普林格，2016年·Zbl 1330.05002号 ·数字对象标识代码：10.1007/978-3-319-25730-3
[33] L.Lov´asz公司。完美图的特征。组合理论杂志，B辑，13（2）：95-981972·Zbl 0241.05107号 ·doi:10.1016/0095-8956（72）90045-7
[34] D.马克思。图着色问题及其在调度中的应用。Periodica Polytechnica Electrical Engineering，48（1-2）：11-162004。网址：
[35] B.穆哈。在任意曲面中嵌入图形的线性时间算法。SIAM离散数学期刊，12（1）：1999年6月26日·Zbl 0931.05025号 ·doi:10.1137/S089548019529248X
[36] A.欧文斯。在双平面交叉数上。IEEE电路理论汇刊，18（2）：277-2801971·doi:10.1109/TCT.1971.1083266
[37] B.Pintoan和R.B.Richter。图序列的交叉数I：一般分幅。澳大利亚组合数学杂志，30:197-2062004。网址：·Zbl 1053.05036号
[38] B.A.里德。一个半强完美图定理。组合理论杂志，B辑，43（2）：223-2401987·Zbl 0647.05052号 ·doi:10.1016/0095-8956（87）90022-0
[39] G.林格尔。库格尔的Ein Sechsfarben问题。1965年，汉堡大学数学研讨会，29:107-117·Zbl 0132.20701号 ·doi:10.1007/BF202996313
[40] N.Robertson和P.D.Seymour。图形子对象。三、 平面树宽度。组合理论杂志，B辑，36（1）：49-641984·Zbl 0548.05025号 ·doi:10.1016/0095-8956（84）90013-3
[41] N.Robertson和P.D.Seymour。图形子对象。八、。一般曲面的Kuratowski定理。组合理论杂志，B辑，48（2）：255-2881990·Zbl 0719.05033号 ·doi:10.1016年10月/
[42] N.Robertson和P.D.Seymour。图形子对象。二十、。瓦格纳猜想。组合理论杂志，B辑，92（2）：325-3572004·Zbl 1061.05088号 ·doi:10.1016/j.jctb.2004.08.0001
[43] G.萨拉查。具有给定平均度的交临界图的无穷族。离散数学，271（1-3）：343-350，2003·Zbl 1021.05029号 ·doi:10.1016/S0012-365X（03）00136-5
[44] A.Satyanarayana和L.Tung。部分3-树的特征。网络，20（3）：299-3221990·Zbl 0701.90092号 ·doi:10.1002/net.3230200304
[45] M.谢弗。图的交叉数及其变体：一项调查。《组合数学电子杂志》，2013年·Zbl 1267.05180号 ·数字对象标识代码：10.37236/2713
[46] M.Schaefer先生。图的交叉数。CRC出版社，2017年第1版·Zbl 1388.05005号
[47] P.D.Seymour和R.Thomas。图搜索和树宽度的最小-最大定理。组合理论杂志，B辑，58（1）：22-331993·Zbl 0795.05110号 ·doi:10.1006/jctb.1993。
[48] J.先生。具有给定交叉数的交叉临界图的无限族。离散数学，48（1）：129-1321984·Zbl 0535.05026号 ·doi:10.1016/0012-365X（84）90140-7
[49] 图、偏序集、格和集合族的W.T.Trotter和J.I.M.Jr.表征问题。离散数学，16（4）：361-3811976·Zbl 0356.06007号 ·doi:10.1016年10月/
[50] R.van Wersch和S.Kelk。ToTo：用于计算、存储和检索树分解的开放数据库。《离散应用数学》，217:389-3932017·Zbl 1358.05002号 ·doi:10.1016/j。
[51] K·瓦格纳。¨优步的特征分析。Mathematische Annalen，114:570-5901937·Zbl 0017.19005号 ·doi:10.1007/BF01594196
[52] D.扎克曼。线性度提取器与最大团和色数的不可接近性。计算理论，3（6）：103-1282007·Zbl 1213.68322号 ·doi:10.4086/toc.2007.v003a006
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。