×
马库斯·奇马尼；伊沃·赫特克；蒂洛·维德拉

最大平面子图问题的精确算法：新模型和实验。 （英语） Zbl 1493.68262号

D'Angelo，Gianlorenzo（编辑），第17届实验算法研讨会，2018年6月27日至29日，SEA 2018，意大利拉奎拉。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。103，第22条，第15页（2018年）。
摘要：给定一个图\（G\），NP-hard最大平面子图问题要求一个具有最大边数的平面子图\（G \）。唯一已知的非平凡精确算法利用了Kuratowski著名的平面性准则，可以公式化为整数线性规划（ILP）或伪布尔可满足性问题（PBS）。我们研究了平面性的三个可选特征，它们对于模型最大平面子图的适用性。对于每一种，我们考虑ILP和PBS变体，研究不同的配方方面，并评估其实际性能。
关于整个系列，请参见[Zbl 1390.68017号].

引用于三文件

MSC公司：

68兰特 计算机科学中的图论（包括图形绘制）
05年10月 平面图；图论的几何和拓扑方面
05C85号 图形算法（图形理论方面）
68周05 非数值算法
90立方厘米 整数编程

关键词：

最大平面子图；整数线性规划；伪布尔可满足性；图形绘制；算法工程

软件：

Potassco公司；SCIP公司；斯坦利布；OGDF公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Chimani}等人，LIPIcs——莱布尼茨国际程序。通知。103，第22条，第15页（2018；Zbl 1493.68262）
全文： 内政部 arXiv公司

参考文献：

[2] 卡洛·巴蒂尼、毛里齐奥·塔拉莫和罗伯托·塔马西娅。实体关系图的计算机辅助布局。{系统与软件杂志}，4（2-3）：163-1731984。doi:10。1016/0164-1212(84)90006-2.
[3] Stephan Beyer、Markus Chimani、Ivo Hedtke和Michal Kotrbík。图最小亏格的实用方法：模型和实验。安德鲁·戈德堡（Andrew V.Goldberg）和亚历山大·库利科夫（Alexander S.Kulikov），编辑，《实验算法-第15届国际研讨会》，2016年6月5日至8日，俄罗斯圣彼得堡，《会议录》，计算机科学讲稿第9685卷，第75-88页。斯普林格，2016年。doi:10.1007/978-3-319-38851-96。
[4] John M.Boyer和Wendy J.Myrvold。前沿：通过边添加简化平面度。{图算法与应用杂志}，8（3）：241-2732004。doi:10.7155/jgaa.00091·Zbl 1086.05067号
[5] 格鲁亚·科尔内斯库、克里斯蒂娜·戈梅斯·费尔南德斯、乌尔里希·芬克勒和霍华德·卡洛夫。寻找平面子图的一种更好的近似算法。算法杂志。认知，信息学和逻辑，27（2）：269-3021998。第七届ACM-SIAM离散算法年度研讨会（佐治亚州亚特兰大，1996年）。doi:10.1006/jagm.1997.0920·Zbl 0919.68093号
[6] 阿尔贝托·卡普拉拉（Alberto Caprara）、马库斯·奥斯瓦尔德（Marcus Oswald）、格哈德·雷内特（Gerhard Reinelt）、罗伯特·施瓦兹（Robert Schwarz）和埃米利亚诺·特拉维斯（Emiliano Traversi）。使用中间变量的最佳线性排列。数学规划，3（3）：261-2802011。doi:10.1007/s12532-011-0027-7·Zbl 1257.90081号
[7] Parinya Chalermsook和Andreas Schmid。求最大平面子图的三角形。在Sheung-Hung Poon，Md.Saidur Rahman和Hsu Chun Yen，编辑，《WALCOM:算法与计算》，第11届国际会议和研讨会，2017年3月29日至31日，台湾新竹，《会议录》，《计算机科学讲义》第10167卷，第373-384页。施普林格，2017。doi:10.1007/978-3-319-53925-6_29·Zbl 1485.68310号
[8] 马库斯·奇马尼（Markus Chimani）和卡斯滕·古温格（Carsten Gutwenger）。图的非平面核约简。{离散}{数学}，309（7）：1838-18552009。doi:10.1016/j.disc.2007.12.078·Zbl 1176.05077号
[9] 马库斯·奇马尼（Markus Chimani）和卡斯滕·古温格（Carsten Gutwenger）。平面化方法的进展：有效的多重边插入。{图算法与应用杂志}，16（3）：729-7572012。doi:10.7155/jgaa.00264·兹比尔1254.05044
[10] 马库斯·奇马尼（Markus Chimani）、卡斯滕·古温格（Carsten Gutwenger）、迈克尔·琼格（Michael Jünger）、冈纳·W·克劳（Gunnar W.Klau）、卡斯腾·克莱因（Karsten Klein）和佩特拉·穆策尔（Petra Mu。开放图形绘制框架（OGDF）。在罗伯托·塔马西娅（Roberto Tamasia）编辑的《图形绘制和可视化手册》（Handbook on Graph Drawing and Visualization）中，第543-569页。查普曼和霍尔/CRC，2013年。网址：crcpress.com/Handbook-of-Graph-Drawing-and-Visualization/Tamassia/9781584884125。
[11] 马库斯·奇马尼和彼得·赫莱宁。交叉数的更紧密的基于插入的近似值。{组合优化杂志}，33（4）：1183-12252017。doi:10.1007/s10878-016-0030-z·Zbl 1369.05042号
[12] 马库斯·奇马尼（Markus Chimani）、卡斯滕·克莱恩（Karsten Klein）和蒂洛·维德拉（Tilo Wiedera）。关于极大平面子图算法实用性的注记。胡一凡（Yifan Hu）和马丁·诺伦伯格（Martin Nöllenburg），编辑，第24届图形绘制和网络可视化国际研讨会（GD}{2016），第abs/1609.02443卷。CoRR，2016年。
[13] 马库斯·奇马尼、佩特拉·穆策尔和延斯·施密特。有效提取多个kuratowski细分。在Seok-Hee Hong、Takao Nishizeki和Wu Quan的编辑中，{it Graph}{it Drawing，第15届国际研讨会，GD 2007，澳大利亚悉尼，9月24-26日，}{it 2007。修订论文}，《计算机科学讲义》第4875卷，第159-170页。施普林格，2007年。doi:10.1007/978-3-540-77537-9_17·Zbl 1137.68474号
[14] H.de Fraysseix和P.Rosenstiehl。用Trémaux阶刻画平面图。{\it Combinatorica.《János Bolyai数学学会国际期刊》，5（2）：127-1351985。doi:10.1007/BF02579375·Zbl 0577.05029号
[15] 朱塞佩·迪·巴蒂斯塔（Giuseppe Di Battista）、阿西姆·加格（Ashim Garg）、朱塞佩·利奥塔（Giuseppe Liotta）、罗伯特·塔马西娅（Roberto Tamassia）、伊曼纽尔·塔西纳里（Emanuele Tassinari）和弗朗西斯科·瓦尔吉。四种图形绘制算法的实验比较。计算几何。理论与应用}，7（5-6）：303-3251997。第十一届ACM计算几何研讨会（温哥华，不列颠哥伦比亚省，1995年）。doi:10.1016/S0925-7721（96）00005-3。
[16] Ben Dushnik和E.W.Miller。部分有序集。{美国数学杂志}，63:600-6101941。doi:10.2307/2371374·JFM 67.0157.01号文件
[17] 迈克尔·加里（Michael R.Garey）和大卫·约翰逊（David S.Johnson）。｛\it计算机与难处理性。｝｛\it NP完备性理论指南。｝。W.H.Freeman and Co.，加利福尼亚州旧金山，1979年·Zbl 0411.68039号
[18] 马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）、罗兰·卡明斯基（Roland Kaminski。Potassco：potsdam答案集求解集合。{\it-AI}{\it-Communications}，24（2）：107-1242011年。doi:10.3233/AIC-2011-0491·Zbl 1215.68214号
[19] 伊沃·赫特克。最小亏格和最大平面子图：精确算法和广义逼近算法的一般极限。奥斯纳布吕克大学博士论文，2017年。URL:repositorium.ub.uos.de/handle/urn:nbn:de:gbv:700-2017082416212。
[20] Jan M.Hochstein和Karsten Weihe。在{itO}（{itkn}log{itn}）时间内具有{itk}交叉的最大{its}-{itt}-流。编辑Nikhil Bansal、Kirk Pruhs和Clifford Stein，第十届ACM-SIAM离散算法年度研讨会论文集，SODA 2007，New Or-}，美国路易斯安那州，2007年1月7日至9日，第843-847页。SIAM，2007年。网址：http://dl.acm.org/citation.cfm？id=1283383.1283473·Zbl 1302.05072号
[21] 迈克尔·Jünger和佩特拉·穆策尔。最大平面子图和漂亮嵌入：实用布局工具。{it Algorithmica.国际计算机科学杂志}，16（1）：33-591996。doi:10.1007/s004539900036·Zbl 0854.68073号
[22] T.Koch、A.Martin和S.Voß。SteinLib：一个关于图中steiner树问题的更新库。技术报告ZIB-Report 00-37，Konrad-Zuse-Zentrum für Informationstechnik Berlin，Takust。7，柏林，2000年。网址：http://elib.zib.de/steinlib。
[23] :14
[24] 卡齐米尔兹·库拉托夫斯基（Kazimierz Kuratowski）。在拓扑学中，课程问题的解决。《数学基础》，15:271-2831930年·JFM 56.1141.03号机组
[25] :15
[26] Charles H.C.Little和G.Sanjith。平面图的另一个特征。{电子}{组合数学杂志}，17（1）：注释152010年7月·Zbl 1184.05030号
[27] P.C.Liu和R.C.Geldmacher。关于图的非平面边的删除。在《第十届东南组合学、图论和计算会议论文集》（佛罗里达大西洋大学，佛罗里达州博卡拉顿，1979年）中，国会。数字。，XXIII-XXIV，第727-738页。实用数学。，温尼伯，曼彻斯特，1979年·Zbl 0429.05036号
[28] 斯蒂芬·J·马赫、托比亚斯·菲舍尔、特里斯坦·加里、杰拉尔德·加姆拉思、安布罗斯·格莱克斯纳、罗伯特·利昂·戈特瓦尔德、格雷戈·亨德尔、托尔斯滕·科赫、马可·吕贝克、马蒂亚斯·米滕伯格、本杰明·穆勒、马克·普费茨、克里斯蒂安·普切特、丹尼尔·雷费尔特、塞巴斯蒂安·申克、罗伯特·施瓦兹、菲利佩·塞拉诺、Yuji Shinano、迪特尔·温格、乔纳斯·T·威特，和雅各布·维茨格。SCIP优化套件4.0。技术报告17-12，ZIB，Takustr。7，14195柏林，2017年。
[29] 佩特拉·穆策尔（Petra Mutzel）。{\it最大平面子图问题}。1994年，科伦大学博士论文。
[30] 斯蒂芬·C·诺思。5114个有向图，1995年。手稿。
[31] 沃尔特·施奈德。平面图和方位维。有序集理论及其应用杂志，5（4）：323-3431989。doi:10.1007/BF00353652·Zbl 0675.06001号
[32] A.Steger和N.C.Wormald。快速生成随机正则图。组合数学，概率与计算，8（4）：377-3961999。随机图和组合结构（Oberwolfach，1997）。doi:10.1017/S0963548399003867·Zbl 0935.05082号
[33] 爱德华·斯皮尔拉恩。部分延伸部分。{基础数学}，16（1）：386-3891930。网址：http://eudml.org/doc/212499。 ·JFM 56.0843.02型
[34] 卡斯滕·托马森（Carsten Thomassen）。有限图和无限图的平面性和对偶性。《通讯杂志》，B辑，29（2）：244-2711980。doi:10.1016/0095-8956（80）90083-0·Zbl 0441.05023号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。