×
金恩贞（Kim，Eun Jung）;克里斯托夫·保罗;菲利普·格瓦尔盖塞

（K_4）的单指数FPT算法-次要保险问题。 （英语） Zbl 1357.68289号

J.计算。系统。科学。 81，第1期，186-207（2015）.
摘要：给定一个图\（G\）和一个参数\（k\in\mathbb｛N｝\），参数化的\（k_4\）-次要保险问题是，是否最多可以删除（k）个顶点以将（G）变成无（k_4）个极小值的图，或者等价地，在树宽最多为2的图中。这个问题受到了两个研究得很好的参数化顶点删除问题的启发，顶点覆盖和反馈顶点集，也可以表示为树宽-\（t\）顶点删除问题：的\（t=0\）顶点覆盖和\（t=1\）反馈顶点集虽然单指数FPT算法，即在\（2^｛O（k）｝\cdot n^｛O（1）｝）时间内运行，对于后两个问题是已知的，但\（k_4）-小覆盖问题能否在单指数FPT时间内解决尚不清楚。这篇论文肯定地回答了这个问题。注意，已知不太可能树宽-\（t\）顶点删除可以在时间\（2^{o（k）}\ cdot n^{o（1）}中求解。

引用于2文件

MSC公司：

68周05 非数值算法
05C70号 具有特殊属性的边子集（因子分解、匹配、分区、覆盖和打包等）
05C83号 图形子对象
05C85号 图形算法（图形理论方面）
65年第68季度 算法和问题复杂性分析

关键词：

树宽-2删除;固定参数可处理算法;\（K_4\）-次要覆盖

软件：

算法447
PDF格式BibTeX公司 XML格式引用
\textit{E.J.Kim}等人，J.Compute。系统。科学。81，第1号，186--207（2015；Zbl 1357.68289）
全文： 内政部

参考文献：

[1] Bidyuk，B。；Dechter，R.，贝叶斯网络的割集抽样，J.Artif。智力。决议，28，1-48（2007）·Zbl 1182.68220号
[2] Bodlaender，H.L.，具有有界树宽的图的部分k-树丛，Theor。计算。科学。，209, 1-2, 1-45 (1998) ·Zbl 0912.68148号
[3] Bodlaender，H.L。；de Fluiter，B.，《串-并行图的并行算法》，（欧洲算法研讨会，欧洲算法研讨会·兹比尔1379.68333
[4] Bodlaender，H.L。；Fomin，F.V。；Lokshtanov，D。；Penninkx，E。；Saurabh，S。；Thilikos，D.M.，（元）Kernelization，（IEEE计算机科学基础年度研讨会。IEEE计算机科学基础年度研讨会，FOCS（2009）），629-638·Zbl 1292.68089号
[5] Bodlaender，H.L。；Fomin，F.V。；Lokshtanov，D。；Penninkx，E。；Saurabh，S。；Thilikos，D.M.，（Meta）Kernelization（2013），其FOCS 2009论文的完整版本[4]，可在线访问·Zbl 1292.68089号
[6] 曹毅。；陈，J。；0002，Y.L.，《关于反馈顶点集的新度量和新结构》，（《斯堪的纳维亚算法理论研讨会》，《斯堪地纳维亚算法论研讨会》，SWAT。《斯堪得纳维亚算法学研讨会》，SWAT，Lect.Notes Compute.Sci.，vol.6139（2010）），93-104·Zbl 1285.68061号
[7] 陈，J。；Chor，B。；研究员，M。；黄，X。；朱德斯，D.W。；Kanj，I.A。；Xia，G.，某些参数化NP-hard问题的紧下界，Inf.Comput。，201, 2, 216-231 (2005) ·Zbl 1161.68476号
[8] 陈，J。；Fomin，F.V。；刘，Y。；卢，S。；Villanger，Y.，反馈顶点集问题的改进算法，J.Compute。系统。科学。，74, 7, 1188-1198 (2008) ·Zbl 1152.68055号
[9] Courcelle，B.，图的一元二阶逻辑（I）：有限图的可识别集，Inf.Comput。，85, 12-75 (1990) ·Zbl 0722.03008号
[10] Cygan，M。；Nederlof，J。；Pilipczuk，M。；Pilipczuk，M。；van Rooij，J.M.M。；Wojtaszczyk，J.O.，解决单指数时间内由树宽参数化的连接性问题，（IEEE计算机科学基础年度研讨会。IEEE计算机基础年度研讨会，FOCS（2011）），150-159·Zbl 1292.68122号
[11] Dehne，F.K.H.A。；研究员，M.R。；Langston，医学硕士。；F.A.罗萨蒙德。；Stevens，K.，无向反馈顶点集问题的（O（2^{O（K）}n^3）FPT算法，理论计算。系统。，41, 3, 479-492 (2007) ·Zbl 1148.68037号
[12] 德曼，E。；Fomin，F。；哈加伊，M。；Thilikos，D.，有界亏格图和\（H\）-次自由图的次指数参数化算法，美国计算机学会，52，6866-893（2005）·Zbl 1326.05152号
[13] Diestel，R.，图论，Grad。数学课文。，第173卷（2010），施普林格出版社·Zbl 1204.05001号
[14] 唐尼，R。；Fellows，M.，参数化复杂性（1999），Springer·兹伯利0914.68076
[15] 艾普斯坦，D.，系列平行图的并行识别，信息计算。，98, 1, 41-55 (1992) ·Zbl 0754.68056号
[16] 弗鲁姆，J。；Grohe，M.，参数化复杂性理论，文本理论。公司。科学。（2006），施普林格·Zbl 1143.68016号
[17] Fomin，F。；Lokshtanov，D。；Saurabh，S。；Thilikos，D.，《二维性和内核》，（ACM-SIAM离散算法年度研讨会。ACM-SIAM离散算法年度会议，SODA（2010）），503-510·Zbl 1288.68116号
[18] Fomin，F.V。；Lokshtanov，D。；Misra，N。；菲利普·G。；Saurabh，S.，《打击被禁止的未成年人：近似和核化》，（计算机科学理论方面国际研讨会。计算机科学理论部分国际研讨会，STACS。计算机科学的理论部分国际会议。计算机科学国际研讨会，TACS，LIPIcs，第9卷（2011）），189-200·Zbl 1230.68107号
[19] Fomin，F.V。；Lokshtanov，D。；Misra，N。；Saurabh，S.，Planar\（F\）-删除：近似、核化和最优FPT算法，（第53届IEEE计算机科学基础研讨会。第53届EEE计算机科学基础年度研讨会，FOCS 2012，美国新泽西州新不伦瑞克，2012年10月20日至23日（2012）），470-479
[20] 郭杰。；格拉姆，J。；Hüffner，F。；尼德迈尔，R。；Wernicke，S.，《反馈顶点集和边两分法的基于压缩的固定参数算法》，J.Compute。系统。科学。，721386-1396（2006年）·Zbl 1119.68134号
[21] Heggenes，P。；van’t Hof，P。；Lokshtanov，D。；Paul，C.，通过收缩少数边获得二部图， （IARCS软件技术和理论计算机科学基础年会技术与理论计算机科学，FSTTCS，LIPIcs，第13卷（2011年），217-228·Zbl 1246.68132号
[22] 霍普克罗夫特，J.E。；Tarjan，R.E.，图形操作的高效算法（算法447），Commun。美国医学会，16，6，372-378（1973）
[23] Jansen，B.M.P。；Lokshtanov，D。；Saurabh，S.，《一种近最优平面化算法》，（ACM-SIAM离散算法年度研讨会。ACM-SIAM离散算法年度会议，SODA（2014）），1802-1811·兹比尔1423.68341
[24] Joret，G。；保罗，C。；绍，I。；Saurabh，S。；Thomassé，S.，《打南瓜和收获南瓜》，（欧洲算法研讨会。欧洲算法研讨会，ESA·Zbl 1346.68111号
[25] Kloks，T.，《树宽——计算和近似》，Lect。注释计算。科学。，第842卷（1994），施普林格出版社·Zbl 0825.68144号
[26] Kim，E.J。；Langer，A。；保罗，C。；雷德尔，F。；Rossmanith，P。；绍，I。；Sikdar，S.，通过突出分解的线性核和单指数算法，（自动化、语言和编程国际学术讨论会。自动化、语言与编程国际学术研讨会，ICALP（2013）），613-624·Zbl 1336.68201号
[27] Lokshtanov，D。；马克思，D。；Saurabh，S.，略微超指数参数化问题，（ACM-SIAM离散算法年度研讨会。ACM-SIAM离散算法年度会议，SODA（2011）），760-776·Zbl 1373.68273号
[28] 刘易斯，J.M。；Yannakakis，M.，遗传属性的节点删除问题是NP-完全的，J.Compute。系统。科学。，20, 2, 219-230 (1980) ·Zbl 0436.68029号
[29] Niedermeier，R.，固定参数算法邀请函，牛津大学法律系。序列号。数学。应用。，第31卷（2006），牛津大学出版社·Zbl 1095.68038号
[30] 里德，B。；史密斯，K。；Vetta，A.，《寻找奇数周期横向》，Oper。Res.Lett.公司。，32, 4, 299-301 (2004) ·Zbl 1052.05061号
[31] 北卡罗来纳州罗伯斯顿。；西摩，P.，《未成年人图形XX:瓦格纳猜想》，J.库姆。理论B，92，2，325-357（2004）·兹比尔1061.05088
[32] 瓦尔德斯，J。；Tarjan，R。；Lawler，E.，系列平行图的识别，SIAM J.Comput。，11, 298-313 (1982) ·Zbl 0478.68065号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。