文件Open Access徽标

边缘顺序

作者 Lena Schlipf女士, 延斯·施密特



PDF格式
缩略图PDF

文件

LIPIcs公司。ICALP.2017.75.pdf
  • 文件大小:0.59 MB
  • 14页

文件标识符

作者详细信息

Lena Schlipf女士
延斯·施密特

引用为获取BibTex

Lena Schlipf和Jens M.Schmidt。边缘顺序。第44届国际自动化、语言和编程学术讨论会(ICALP 2017)。莱布尼茨国际信息学论文集(LIPIcs),第80卷,第75:1-75:14页,达格斯图尔-莱布尼兹-泽特鲁姆信息学院(2017)
https://doi.org/10.4230/LIPIcs.ICALP.2017.75

摘要

在过去的几十年中,标准排序及其类似的排序(如st-numbering)一直被用作算法图论中的关键工具。最近,所有这些顺序背后都有一个统一的链接,它将这些顺序与众所周知的图分解联系起来,使之成为具有指定顶点连接性的部分。尽管人们对规范排序有着广泛的兴趣,但这种统一概念并没有类似的边连通性。本文建立了边序的概念,并说明了如何分别计算线性时间中2-边连通图的(1,1)-边序和3-边连通图(2,1)-边缘序。前者可以被视为st-numbering的边缘变体,后者是Mondshein序列和非分离耳分解的边缘变体。我们用于获得这种边序的方法在几乎所有细节上都与用于其顶点对应项的方法有很大不同,因为在归纳证明中使用了不同的图形理论结构,并且从边到顶点连接性的标准约简必然会失败。作为第一个应用,我们考虑了著名的边无关生成树猜想,该猜想断言每个k边连通图都包含k根两两独立的生成树。我们通过推导构造2-和3-边连通图的2-和3-边缘无关生成树的算法来说明上述边序的影响,后者将最佳运行时间从O(n^2)提高到线性时间。
关键词
  • 边缘订单
  • st-edge-顺序
  • 规范排序
  • 与边无关的生成树
  • Mondshein序列
  • 线性时间

韵律学

参考文献

  1. 弗雷德·安妮施泰因(Fred Annesstein)、肯·伯曼(Ken Berman)和拉姆·斯瓦米纳坦(Ram Swaminathan)。具有小拉伸因子的独立生成树。技术报告96-13,DIMACS,1996年6月。谷歌学者
  2. M.Badent、U.Brandes和S.Cornelsen。更规范的排序。图形算法与应用杂志,15(1):97-1262011。谷歌学者
  3. M.A.Bender、R.Cole、E.D.Demaine、M.Farach-Colton和J.Zito。维护列表顺序的两种简化算法。《第十届欧洲算法研讨会论文集》(ESA'02),第152-164页,2002年。网址:http://dx.doi.org/10.1007/3-540-45749-6_17.
  4. T.Biedl和M.Derka。四连通平面三角剖分的(3,1)-排序。《图形算法与应用杂志》,20(2):347-3622016。谷歌学者
  5. T.Biedl和J.M.Schmidt。3-连通图的小面积正交图。2015年第23届图形绘制国际研讨会(GD'15)论文集,第153-165页。网址:http://dx.doi.org/10.1007/978-3-319-27261-0_13.
  6. J.Cheriyan和S.N.Maheshwari。在3-连通图中寻找非分离诱导圈和独立生成树。算法杂志,9(4):507-5371988。谷歌学者
  7. S.Curran、O.Lee和X.Yu。4-连通图的链分解。SIAM J.离散数学。,19(4):848-880, 2005. 网址:http://dx.doi.org/10.1137/S0895480103434592.
  8. H.de Fraysseix、J.Pach和R.Pollack。支持平面图fary嵌入的小集。在1988年第20届ACM计算机理论研讨会(STOC'88)的会议记录中,第426-433页。网址:http://dx.doi.org/10.1145/62212.62254.
  9. S.Even和R.E.Tarjan。计算一个st编号。理论。计算。科学。,2(3):339-344, 1976.谷歌学者
  10. Z.Galil和G.F.Italiano。减少边连接到顶点连接。SIGACT新闻,22(1):57-611991。网址:http://dx.doi.org/10.1145/122413.122416.
  11. A.Gopalan和S.Ramasubramanian。关于构造三个边独立的生成树。手稿(参见http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.406.7119)2011年3月。
  12. A.Gopalan和S.Ramasubramanian。独立生成树上蕴涵猜想证明的反例。信息处理快报,113(14-16):522-5262013。网址:http://dx.doi.org/10.1016/j.ipl.2013.04.008.
  13. A.伊泰和M.罗德。分布式网络可靠性的多树方法。信息与计算,79:43-592988年。谷歌学者
  14. G.康德。使用lmc排序绘制平面图。《第33届计算机科学基础年度研讨会论文集》(FOCS’92),第101-110页,1992年。网址:http://dx.doi.org/10.109/SFCS.1992.267814.
  15. 洛瓦兹。并行计算耳朵和分支。1985年,第26届计算机科学基础年度研讨会(FOCS’85),第464-467页。网址:http://dx.doi.org/10.109/SFCS.1985.16.
  16. W.Mader。图中边连通性的一种约简方法。《离散数学年鉴》第3卷《图论进展》编辑B.Bollobasás,第145-164页。北荷兰,1978年。网址:http://dx.doi.org/10.1016/S0167-5060(08)70504-1.
  17. R.M.McConnell、K.Mehlhorn、S.Näher和P.Schweitzer。验证算法。《计算机科学评论》,5(2):119-1612011。网址:https://doi.org/10.1016/j.cosrev.2010.09.009.
  18. K.Mehlhorn、A.Neumann和J.M.Schmidt。认证三边连接。算法,77(2):309-3352017。网址:http://dx.doi.org/10.1007/s00453-015-0075-x.
  19. L.F.蒙德申。组合排序与图的几何嵌入。博士论文,M.I.T.林肯实验室/哈佛大学,1971年。技术报告网址:http://www.dtic.mil/cgi-bin/GetTRDoc?AD=AD0732882.
  20. S.Nagai和S.Nakano。求极大平面图中独立生成树的线性时间算法。2000年,第26届计算机科学图形理论概念国际研讨会(WG'00),第290-301页。网址:http://dx.doi.org/10.1007/3-540-40064-8_27.
  21. S.Nakano、Md.S.Rahman和T.Nishizeki。四分区四连通平面图的线性时间算法。信息处理。莱特。,62(6):315-322, 1997. 网址:http://dx.doi.org/10.1016/S0020-0190(97)00083-5.
  22. H.E.Robbins先生。图上的一个定理,及其在交通控制问题上的应用。《美国数学月刊》,46(5):281-2831939。网址:http://www.jstor.org/stable/2303897.
  23. J.M.施密特。施工顺序和证明3-连通性。2010年第27届计算机科学理论方面研讨会(STACS’10)论文集,第633-644页。网址:http://arxiv.org/abs/0912.2561,URL:http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2491.
  24. J.M.施密特。关于2-顶点和2-边连通性的简单测试。信息处理快报,113(7):241-2442013。网址:http://dx.doi.org/10.1016/j.ipl.2013.01.016.
  25. J.M.施密特。蒙德申序列。《第41届自动机、语言和程序设计国际学术讨论会论文集》(ICALP'14),第967-9782014页。网址:http://dx.doi.org/10.1007/978-3-662-43948-7_80.
  26. J.M.施密特。蒙兹海因序列(也称为(2,1)目)。SIAM计算机杂志,45(6):1985-2003,2016。网址:http://dx.doi.org/10.1137/15M1030030.
  27. K.Wada和K.Kawaguchi。三分割三连通图和三边连通图的有效算法。1993年,第19届计算机科学图论概念国际研讨会(WG'93),第132-143页。网址:http://dx.doi.org/10.1007/3-540-57899-4_47.
  28. K.Wada、A.Takaki和K.Kawaguchi。不指定基的图的混合k划分问题的有效算法。理论计算机科学,201:233-2481998。谷歌学者
  29. H.惠特尼。不可分割图和平面图。美国数学学会学报,34(1):339-3621932。谷歌学者
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件