×
Nešetřil，J。；Ossona de Mendez，P。

有界扩展类的分布式低树深度分解算法。 （英语） Zbl 1352.68283号

分布计算。 29，第1号，39-49（2016）.
摘要：我们研究了受限于有界展开类的图的分布式低树深度分解问题。2006年引入了低树深度分解，并发现了一些应用。例如，它为有界展开类中的图生成了一个线性时间模型检查算法。回想一下，有界展开类涵盖了有界度图、平面图、有界亏格图、有边界树宽图、排除固定副图的图以及许多其他图的类。有一种在线性时间内计算低树深度分解（颜色数量有界）的顺序算法。本文给出了该问题的第一个高效分布式算法。由于对称破缺问题很常见，我们考虑一个同步模型，并且由于我们对确定性算法感兴趣，我们使用通常的假设，即每个顶点都有一个不同的标识号。我们考虑分布式消息传递（mathcal{堵塞}_{\mathrm{BC}}\）模型，其中消息具有对数长度，并且只允许本地广播。在这个模型中，我们提出了一个对数时间分布算法，用于计算固定有界展开类中图的低树深度分解。在顺序集中的情况下，低树深度分解线性时间算法被用作几种非平凡线性时间算法的核心程序。我们相信，类似地，低树深度分解可能是几种非平凡对数时间算法的核心。

引用于1文件

MSC公司：

68宽15 分布式算法
05C15号 图和超图的着色
05C85号 图形算法（图形理论方面）
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

分布式算法；图论；低树深度分解
PDF格式BibTeX公司 XML格式引用
\textit{J.Nešetřil}和\textit{P.Ossona de Mendez}，Distrib.Comput。29、第1号、第39-49号（2016；Zbl 1352.68283）
全文： 内政部

参考文献：

[1] Barenboim，L.，Elkin，M.：使用Nash-Williams分解的稀疏图的次对数分布式MIS算法。分布计算。22, 363-379 (2010) ·兹比尔1231.68174 ·doi:10.1007/s00446-009-0088-2
[2] Barenboim，L.，Elkin，M.，Kuhn，F.：线性（in\[Delta\]Δ）时间内的分布式\[（Delta+1）\]（Δ+1）-着色。SIAM J.计算。43, 72-95 (2014) ·Zbl 1311.68185号 ·数字对象标识码：10.1137/12088848X
[3] Bodlaender，H.、Deogun，J.、Jansen，K.、Kloks，T.、Kratsch，D.、Müller，H.和Tuza，Z.（1995）图的排名。收录于：《计算机科学中的图论概念》（计算机科学讲稿），第903/1995卷。施普林格，第292-304页·Zbl 0907.68137号
[4] Deogun，J.，Kloks，T.，Kratsch，D.，Müller，H.（1994）关于置换和其他图的顶点排名。摘自：Enjalbert，P.，Mayr，E.，Wagner，K.（编辑），第11届计算机科学理论方面年度研讨会论文集（计算机科学讲稿），第775卷。施普林格，第747-758页·Zbl 0941.05516号
[5] Dvořák，Z.：组合对象的渐近结构，查尔斯大学数学和物理系博士论文（2007）·Zbl 0653.68068号
[6] Dvořák，Z.：稀疏图中控制数的常数因子近似。《欧洲期刊联合》34，833-840（2013）·Zbl 1260.05111号 ·doi:10.1016/j.ejc.2012.12.004
[7] Dvořák，Z.，Kráľ，D.：有界展开图类的算法，计算机科学讲义，5911 LNCS，pp.17-32（2010）·Zbl 1273.05218号
[8] Dvořák，Z.，Kráľ，D.，Thomas，R.：确定稀疏图的一阶性质。摘自：IEEE第51届计算机科学基础年会（FOCS 2010），第133-142页。(2010) ·Zbl 1260.05111号
[9] Dvořák，Z.，Kráľ，D.，Thomas，R.：测试稀疏图子类的一阶性质，J.ACM，60:5 Article 36（2013）·Zbl 1281.05114号
[10] Dvořák，Z.，Kupec，M.，Tůma，V.：用于树深度分解的动态数据结构。arXiv:1307.2863[cs.DS]。2013年7月·兹比尔1423.68123
[11] Gajarskí，J.、Hliněn଑，P.、Obdr zalek，J.，Ordyniak，S.、Reidl，F.、Rossmanity，P.，Sánchez Villamil，F.，Sikdar，S.：稀疏图类上使用结构参数的核化In:ESA 2013。计算机科学课堂讲稿，第8125卷，第529-540页。斯普林格，海德堡（2013）·Zbl 1353.68126号
[12] Goldberg，A.V.，Plotkin，S.A.：等度图的平行\[（\Delta+1）\]（Δ+1）-着色。信息处理。莱特。25, 241-245 (1987) ·Zbl 0653.68068号 ·doi:10.1016/0020-0190（87）90169-4
[13] Grohe，M.，Kreutzer，S.：算法元定理的方法。《有限组合数学中的模型理论方法》，当代数学，第181-206页。(2011) ·Zbl 1278.68099号
[14] Grohe，M.，Kreutzer，S.，Siebertz，S.：判定无处稠密图的一阶性质。摘自：美国计算机学会第46届年度计算理论研讨会论文集，STOC’14，纽约，纽约，美国纽约，2014，ACM，第89-98页（2014）·Zbl 1315.05118号
[15] Herlihy，M.，Kozlov，D.，Rajsbaum，S.：通过组合拓扑的分布式计算。摩根考夫曼出版公司，美国旧金山（2013）·Zbl 1341.68004号
[16] Kazana，W.，Segoufin，L.：有界展开结构类的一阶查询枚举。摘自：《第十六届数据库理论国际会议论文集》，第10-20页（2013）·Zbl 1353.68068号
[17] Kuhn，F.，Wattenhofer，R.：关于分布式图着色的复杂性。摘自：第二十五届ACM分布式计算原理研讨会论文集，第7-15页（2006）·Zbl 1314.68161号
[18] Lenzen，C.，Wattenhofer，R.（2010）有界荫度图中的最小支配集近似。收录于：Lynch，N.，Shvartsman，A.（编辑）分布式计算（计算机科学讲稿）第6343卷。施普林格，柏林-海德堡，第510-524页·Zbl 1290.68130号
[19] Linial，N.：分布图算法中的局部性。SIAM J.计算。21, 193-201 (1992) ·Zbl 0787.05058号 ·doi:10.1137/0221015
[20] Nešetřil，J.，Ossona de Mendez，P.（2005）图的梯度和具有有界展开的类。收录于：Raspaud，A.，Delmas，O.（编辑），第七届图论国际学术讨论会（离散数学电子笔记），第22卷。爱思唯尔，第101-106页·Zbl 1182.05102号
[21] Nešetřil，J.，Ossona de Mendez，P.（2006）线性时间低树宽划分和算法结果。输入：STOC'06。第38届ACM计算理论年会论文集。ACM出版社，第391-400页·兹比尔1301.05268
[22] Nešetřil，J.，Ossona de Mendez，P.：树深度，子图着色和同态界。Eur.J.库姆。27, 1022-1041 (2006) ·Zbl 1089.05025号 ·doi:10.1016/j.ejc.2005.01.010
[23] Nešetřil，J.，Ossona de Mendez，P.：Grad和具有有界展开的类I.分解。Eur.J.库姆。29, 760-776 (2008) ·Zbl 1156.05056号
[24] Nešetřil，J.，Ossona de Mendez，P.：Grad和有界扩张类II。算法方面。Eur.J.库姆。29, 777-791 (2008) ·Zbl 1185.05131号 ·doi:10.1016/j.ejc.2006.07.014
[25] Nešetřil，J.：Ossona de Mendez，P.：G中有多少个F？Eur.J.库姆。32, 1126-1141 (2011) ·Zbl 1229.05212号 ·doi:10.1016/j.ejc.2011.03.007
[26] Nešetřil，J.，Ossona de Mendez，P.：稀疏性（图、结构和算法），《算法和组合学》第28卷。施普林格，柏林（2012）·Zbl 1268.05002号
[27] Nešetřil，J.，Ossona de Mendez，P.（2015）关于一阶可定义颜色。收录于：Nešetřil，J.，Pellegrini，M.（编辑），组合数学中的几何、结构和随机性，Scuola Normale Superiore出版物第18卷，CRM系列，Edizioni della Normale，第99-122页·Zbl 1326.05049号
[28] Nešetřil，J.，Ossona de Mendez，P.：关于低树深度分解。图形梳。31, 1-23 (2015) ·Zbl 1306.05032号 ·doi:10.1007/s00373-014-1465-6
[29] Nešetřil，J.，Ossona de Mendez，P.，Wood，D.：具有有界展开的图类的特征和示例。Eur.J.库姆。33, 350-373 (2012) ·Zbl 1230.05250号 ·doi:10.1016/j.ej.2011.09.008
[30] Peleg，D.：分布式计算：一种对位置敏感的方法。SIAM，费城（2000）·Zbl 0959.68042号 ·数字对象标识代码：10.1137/1.9780898719772
[31] Schäffer，A.：线性时间内树的最佳节点排名。信息处理。莱特。33, 91-96 (1989/90) ·Zbl 0683.68038号
[32] Szegedy，M.，Vishwanathan，S.（1993）基于局部性的图着色。摘自：第25届ACM计算机理论研讨会论文集，第201-207页·Zbl 1310.05099号
[33] Yang，D.：有向图传递兄弟扩充的推广及其应用。离散数学。309, 4614-4623 (2009) ·兹伯利1210.05 057 ·doi:10.1016/j.disc.2009.02.028
[34] 朱，X。：广义着色数有界的着色图。离散数学。309, 5562-5568 (2009) ·Zbl 1216.05043号 ·doi:10.1016/j.disc.2008.03.024
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。