×

类区间图和有向图。 (英语) Zbl 1494.68195号

Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第68条,第13页(2018)。
摘要:我们将几个看似不同的图和有向图类统一在一个伞下。广义而言,这些类都是区间图的不同推广,除了区间图之外,还包括调整区间有向图、阈值图、阈值容差图的补集(称为“co-TT”图)、二部区间包含图、二部共圆弧图、,和双向正交射线图。(最后三个类是一致的,但在不同的上下文中进行了研究。)通过在分析中引入自反关系(循环),这一共同观点成为可能。我们还证明了上述所有类都是由一个共同的序特征统一的,即最小序的存在性。我们提出了所有这些图和有向图类的一个共同推广,即有符号区间有向图,并证明它们正是以最小序存在性为特征的有向图。我们还提供了这些有向图的另一种几何特征。对于上述大多数图和有向图类,我们证明它们正是那些满足有向图的适当自然限制的有符号区间有向图,例如在每个顶点上有一个圈,或者有对称边集,或者是二部的。例如,co-TT图正是那些各边对称的有符号区间有向图。我们还对识别算法和特征的未来工作进行了一些讨论。
关于整个系列,请参见[Zbl 1402.68023号].

理学硕士:

68兰特 计算机科学中的图论(包括图形绘制)
05C85号 图形算法(图论方面)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] R.P.Anstee和M.Farber。全平衡矩阵的特征。《算法杂志》,5:215-2301984年·Zbl 0551.05026号
[2] V.L.Beresnev和A.I.Davydov。关于具有连通性的矩阵。Upravlyae-mye学院,19:3-131979年·Zbl 0493.90065号
[3] K.S.Booth和G.S.Lueker。使用PQ树算法测试连续的属性、区间图和图的平面性。计算机与系统科学杂志。,13:335-379, 1976. ·兹伯利0367.68034
[4] A.Bulatov、P.Jeavons和A.Krokhin。使用有限代数对约束的复杂性进行分类。SIAM J.计算,34:720-742005·Zbl 1071.08002号
[5] V.Chvátal和P.L.Hammer。设置打包和阈值图。技术报告,滑铁卢大学研究报告,1973年。
[6] D.G.Corneil、S.Olariu和L.Stewart。区间图的LBFS结构和识别。SIAM J.离散数学。,23:1905-1953, 2009. ·Zbl 1207.05131号
[7] P.达马施克。禁止的有序子图。在R.Bodendiek和R.Henn编辑的《组合数学和图论主题》中,第219-229页。Physika-Verlag HD,1990年·Zbl 0736.05065号
[8] T.Feder和P.Hell。列出自反图的同态。J.组合理论B,72:236-2501998·Zbl 0904.05078号
[9] T.Feder、P.Hell和J.Huang。列出同态和圆弧图。Combina-torica,19:487-5051999年·兹伯利0985.05048
[10] T.Feder、P.Hell、J.Huang和A.Rafiey。区间图、调整区间有向图和自反列表同态。离散应用数学,160:697-7072012·Zbl 1236.05092号
[11] D.R.Fulkerson和O.A.Gross。关联矩阵和区间图。太平洋数学杂志。,15:835-855, 1965. ·Zbl 0132.21001号
[12] P.Golovach、P.Heggerness、R.M.McConnell、V.F.dos Santos、J.P.Spinrad和J.L.Szwarcfiter。阈值容差图及其补集的识别。离散应用数学,216:171-1802017·Zbl 1350.05054号
[13] M.C.Golumbic先生。算法图论和完美图。学术出版社,纽约,1980年·Zbl 0541.05054号
[14] M.C.Golumbic、N.L.Weingarten和V.Limouzy。Co-TT图和分裂Co-TT图的特征。离散应用数学,165:168-1742014·Zbl 1408.05112号
[15] W.Gutjahr、E.Welzl和G.J.Woeginger。多项式图形颜色。离散应用数学,35:29-451992·Zbl 0761.05040号
[16] M.Habib、R.McConnell、C.Paul和L.Viennot。Lex-BFS和分区细化,应用于传递方向、区间图识别和连续图测试。理论计算机科学,234:59-842000·兹比尔0945.68189
[17] P.Hell、J.Huang、R.M.McConnell和J.Lin。可由两个团覆盖的可比图和共可比双图。手稿,2018年。
[18] P.Hell、M.Mastrolilli、M.Nevisi和A.Rafiey。最小代价同态的近似。《算法-ESA 2012》,计算机科学讲义第7501卷,第587-598页。施普林格,2012年·Zbl 1365.05203号
[19] P.Hell、B.Mohar和A.Rafiey。没有禁止图案的订单。A.S.Schulz和D.Wagner,《算法-ESA 2014》编辑,《计算机科学讲义》第8737卷。斯普林格,2014年·Zbl 1425.05134号
[20] P.Hell和J.Nešetřil。图形同态。威利,2004年。
[21] P.Hell和A.Rafiey。双圆弧有向图和保守多态性,2016年。arXiv:arXiv:1608.03368。
[22] J.Huang。弦二部图的表示特征。J.组合理论B,96:673-6832006·Zbl 1095.05031号
[23] B.Klintz、R.Rudolf和G.J.Woeginger。排列矩阵以避免禁用的子矩阵。离散应用数学,60:223-2481995·Zbl 0837.05031号
[24] C.G.Lekkerkerker和J.C.Boland。用实线上的一组区间表示有限图。基础数学。,51:45-64, 1962. ·Zbl 0105.17501号
[25] A.卢比。矩阵的双重词汇顺序。SIAM J.计算。,16:854-879, 1987. ·兹比尔062205045
[26] R.M.麦康奈尔。圆弧图的线性时间识别。《算法》,37:93-1472003年·Zbl 1060.68088号
[27] C.L.蒙马、B.里德和W.T.特罗特。阈值容差图。《图论杂志》,12:343-3621988年·Zbl 0652.05059号
[28] R.Paige和R.E.Tarjan。三种分区细化算法。SIAM J.计算。,16:973-989, 1987. ·Zbl 0654.68072号
[29] M.Sen、S.Das、A.B.Roy和D.B.West。区间有向图:区间图的类似物。《图论杂志》,13:581-5921989年·Zbl 0671.05039号
[30] A.M.Shresta、S.Tayu和S.Ueno。关于双向正交射线图。2010年IEEE国际电路与系统研讨会论文集,第1807-1810页,2010年。
[31] J.斯宾拉德。有效的图形表示。菲尔德研究所专著,AMS,2003年·Zbl 1033.05001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。