10.1145/acmotherconferences会议 ACM其他会议 0000000 10.5555/0000000 第46届自动机、语言和程序设计国际学术讨论会论文集(ICALP 2019) 2019年ICALP 10.4230/LIPIcs公司。ICALP.2019.60号 60 10003752.10003809.10010052 计算理论~参数化复杂性和精确算法 500 10003752.10010061.10010063 计算理论~计算几何 500 映射图的分解及其应用 福明 费多尔五世。 挪威卑尔根大学 fomin@ii.uib.no 作者 洛克斯塔诺夫 丹尼尔 美国加州大学圣巴巴拉分校 daniello@ucsb.edu 作者 帕诺兰 法赫德 挪威卑尔根大学 fahad.panolan@ii.uib.no 作者 索拉布 萨基特 印度钦奈HBNI数学科学研究所 saket@imsc.res.in 作者 泽哈维 迈拉夫 以色列比尔沙瓦内盖夫本古里安大学 meiravze@bgu.ac.il 作者 04 07 2019 60:1 60:15

二维性是在特殊类图(尤其是平面图)上设计次指数时间参数化算法的最常用技术。它背后的核心引擎是Robertson、Seymour和Thomas的一个组合引理,该引理指出每个平面图要么有一个sqrt{k}x sqrt{k} -网格作为次要项,或其树宽为O(sqrt{k})。然而,二维理论不能直接推广到几个众所周知的几何图类,如单位圆盘图或映射图。这主要是由于这些图类中存在大团。然而,这个引理的松弛被证明对单位圆盘图是有用的。受此启发,我们证明了映射图的一个新的分解引理,即欧几里德平面上有限多个单连通区域和内直交区域的交集图。非正式地,我们的引理声明如下。对于任何映射图G,都存在具有以下属性的G团集合(U_1,…,U_t):G要么包含sqrt{k}xsqrt{k} -网格或者它允许树分解,其中每个包都是上述集合中O(sqrt{k})团的联合。

在地图图上设计子指数参数化算法时,新引理似乎是一个方便的工具。我们通过在运行时间为2^{O({sqrt)的映射图上设计算法来证明其可用性{k} 日志{k} })}*n^{O(1)}表示连通平面F-删除(包括反馈顶点集和顶点覆盖等问题)。获得最长循环/路径和循环打包的次指数算法更具挑战性。我们必须构造具有更强大属性的树分解,并证明最优解在这些分解中“跨越”包的次数的次线性界。

对于最长周期/路径,这是地图图上第一个次指数时间参数化算法。对于反馈顶点集和循环填充,我们改进了已知的2^{O({k^{0.75}日志{k} })}*n^{O(1)}-映射图上的时间算法。

最长周期 循环包装 反馈顶点集 地图图形 FPT公司
J.Alber、H.L.Bodlainder、H.Fernau、T.Kloks和R.Niedermeier。平面图上控制集及相关问题的固定参数算法。算法,33(4):461-4932002。 Jochen Alber、Henning Fernau和Rolf Niedermeier。参数化复杂性:平面图问题的指数加速。《算法杂志》,52(1):26-562004。 诺加·阿隆、拉斐尔·尤斯特和乌里·兹威克。彩色编码。J.协会计算。机器。,42(4):844-856, 1995. 布伦达·S·贝克。平面图上NP-完全问题的近似算法。J.协会计算。机器。,41(1):153-1801994年。 安德烈亚斯·比约克隆德(Andreas Björklund)、托尔·胡斯菲尔德(Thore Husfeldt)、佩特里·卡斯基(Petteri Kaski)和米科·科维斯托(Mikko Koivisto)。用于参数化路径和填料的窄筛。J.计算。系统。科学。,87:119-139, 2017. 网址:http://dx.doi.org/10.1016/j.jcss.2017.03.003。 陈志忠。映射图中独立集的近似算法。《算法杂志》,41:20-402001年。 Zhi-Zhong Chen、Enory Grigni和Christos H.Papadimitriou。平面地图图。《第30届ACM计算机理论研讨会论文集》(STOC’98),第514-523页。ACM,1998年。 Zhi-Zhong Chen、Enory Grigni和Christos H.Papadimitriou。绘制图表。J.协会计算。机器。,49(2):127-138, 2002. Zhi-Zhong Chen、Michelangelo Grigni和Christos H.Papadimitriou。在立方时间内识别无孔四图。算法,45(2):227-2622006。网址:http://dx.doi.org/10.1007/s00453-005-1184-8。 Marek Cygan、Fedor V.Fomin、ukasz Kowalik、Daniel Lokshtanov、Dániel Marx、Marcin Pilipczuk、Micha Pilipczzuk和Saket Saurabh。参数化算法。斯普林格,2015年。 马雷克·西根(Marek Cygan)、杰斯珀·内德洛夫(Jesper Nederlof)、马金·皮利普祖克(Marcin Pilipczuk)、米查尔·皮利普楚克(Michal Pilipczzuk),约翰·M·范·鲁伊(Johan M.M.van Rooij)和雅库布·奥努。求解单指数时间内由树宽参数化的连通性问题。第52届计算机科学基础年会(FOCS)论文集,第150-159页。IEEE,2011年。 埃里克·D·德曼(Erik D.Demaine)、费多尔·弗敏(Fedor V.Fomin)、穆罕默德塔吉·哈加伊(Mohammadtaghi Hajiaghayi)和迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。平面图和地图图中(k,r)-中心的固定参数算法。ACM事务处理。算法,1(1):33-472005。网址:http://dx.doi.org/10.1145/1077464.10774468。 埃里克·D·德曼(Erik D.Demaine)、费多尔·弗敏(Fedor V.Fomin)、穆罕默德塔吉·哈加伊(Mohammadtaghi Hajiaghayi)和迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。有界亏格图和H-无极小图的次指数参数化算法。美国医学杂志,52(6):866-8932005。 埃里克·D·德曼(Erik D.Demaine)和穆罕默德·塔吉(Mohammad Taghi Hajiaghayi)。二维性:FPT算法和PTAS之间的新联系。第16届ACM-SIAM离散算法年度研讨会论文集(SODA 2005),第590-601页,纽约,2005年。ACM-SIAM公司。 埃里克·D·德曼(Erik D.Demaine)和穆罕默德·塔吉(Mohammad Taghi Hajiaghayi)。二维理论及其算法应用。计算。J.,51(3):292-302,2008年。网址:http://dx.doi.org/10.1093/comjnl/bxm033。 莱因哈德·迪斯特尔。图论,第4版,数学研究生教材第173卷。施普林格,2012年。 弗雷德里克·多恩(Frederic Dorn)、埃尔科·彭宁克(Eelko Penninkx)、汉斯·博德兰德(Hans L.Bodlaender)和费多尔·福明(Fedor V.Fomin)。平面图上的高效精确算法:利用球面割分解。《算法》,58(3):790-8102010。网址:http://dx.doi.org/10.1007/s00453-009-9296-1。 Fedor V.Fomin、Daniel Lokshtanov、Neeldhara Misra和Saket Saurabh。平面F-删除:近似、核化和最优FPT算法。第53届计算机科学基础年会(FOCS)会议记录,第470-479页。IEEE,2012年。 Fedor V.Fomin、Daniel Lokshtanov、Fahad Panolan和Saket Saurabh。代表族的高效计算及其在参数化和精确算法中的应用。J.ACM,63(4):2016年29月。网址:http://dx.doi.org/10.1145/2886094。 Fedor V.Fomin、Daniel Lokshtanov、Fahad Panolan、Saket Saurabh和Meirav Zehavi。单位圆盘图上亚指数时间的查找、碰撞和堆积循环。离散与计算几何,2019年1月。网址:http://dx.doi.org/10.1007/s00454-018-00054-x。 Fedor V.Fomin、Daniel Lokshtanov和Saket Saurabh。二维和几何图。第22届ACM-SIAM离散算法(SODA)年会论文集,第1563-1575页。SIAM,2012年。 Fedor V.Fomin、Daniel Lokshtanov和Saket Saurabh。排除网格子项和有效多项式时间近似方案。J.ACM,65(2):2018年第10、44条。网址:http://dx.doi.org/10.1145/3154833。 顾倩萍和田木浩。改进了平面分支宽度相对于最大栅格次尺寸的界限。《算法》,64(3):416-4532012年11月。网址:http://dx.doi.org/10.1007/s00453-012-9627-5。 罗素·英帕利亚佐(Russell Impagliazzo)、拉莫汉·帕图里(Ramamohan Paturi)和弗朗西斯·赞恩(Francis Zane)。哪些问题具有强烈的指数复杂性。《计算机与系统科学杂志》,63(4):512-5302001。 Ioannis Koutis。路径和布局问题的快速代数算法。第35届国际自动化、语言和编程学术讨论会会议记录(ICALP 2008),计算机科学讲稿第5125卷,第575-586页,2008年。 Ioannis Koutis和Ryan Williams。代数指纹用于更快的算法。Commun公司。ACM,59(1):98-1052016年。网址:http://dx.doi.org/10.1145/2742544。 达尼尔·马克思。平面图中的平方根现象。第40届国际自动化、语言和编程学术讨论会(ICALP)论文集,计算机科学讲义第7966卷,第28页。施普林格,2013年。 N.Robertson、P.Seymour和R.Thomas。快速排除平面图。组合理论杂志,B辑,62(2):323-3481994。网址:http://dx.doi.org/10.1006/jctb.1994.1073。 米克尔·索洛普。多项式时间中的映射图。第39届计算机科学基础年度研讨会论文集(FOCS 1998),第396-405页。IEEE计算机学会,1998年。 瑞恩·威廉姆斯。在O^*(2^k)时间内求长度为k的路径。信息处理。莱特。,109(6):315-318, 2009.