×
尼古拉·博斯克;丹尼尔·冈萨尔维斯;乔治·B·默齐奥斯。;克里斯托夫·保罗;伊格纳西·绍;圣埃芬托马斯

圆图中的参数控制。 （英语） Zbl 1286.68222号

理论计算。系统。 54，第1期，45-72（2014）.
小结：A圆图是一个圆中一组弦的交线图。J.M.基尔【离散应用数学42，第1期，51–63（1993；Zbl 0786.05079号)]证明了支配集,连通支配集，以及总支配集在圆图中是NP-完全的。据我们所知，对于圆图中这些问题的参数化复杂性一无所知。在本文中，我们证明了以下结果，这些结果有助于此方向：
\（\项目符号\）
支配集,独立支配集,连通支配集,总支配集，以及非循环支配集在圆图中是（W\）[1]-硬的，由解的大小参数化。
\（\项目符号\）
鉴于两者连通支配集和非循环支配集在圆图中是\（W\）[1]-硬的，结果是连通非循环支配集在圆图中是多项式时间可解的。
\（\项目符号\）
如果\（T\）是一棵\（给定\）树，则当\（T~）在输入中时，决定一个圆图\（G\）是否有一个支配集，诱导同构于\（T_）的图是NP完全的，当由\（T=|V（T）|\参数化时，决定FPT。我们证明了FPT算法运行于次指数时间，即（2^{mathcal{O}（t\cdot\frac{log\logt}{logt}）}\cdotn^{mathcal{O{（1）}），其中（n=|V（G）|\）。

引用于三文件

MSC公司：

65年第68季度 算法和问题复杂性分析
05C69号 具有特殊属性的顶点子集（支配集、独立集、团等）
05C38号 路径和循环
05C85号 图形算法（图形理论方面）

关键词：

圆形图;支配问题;参数复杂性;参数化算法;动态程序设计;约束支配

引文：

Zbl 0786.05079号
PDF格式BibTeX公司 XML格式引用
\textit{N.Bousquet}等人，理论计算。系统。54，第1号，45--72（2014；Zbl 1286.68222）
全文： 内政部 链接

参考文献：

[1] Aho，A.V.、Hopcroft，J.E.、Ullman，J.D.：计算机算法的设计与分析。Addison-Wesley，雷丁（1974）·Zbl 0326.68005号
[2] Alber，J.，Bodlaender，H.L.，Fernau，H.，Kloks，T.，Niedermeier，R.：平面图上支配集和相关问题的固定参数算法。算法33（4），461-493（2002）·Zbl 1016.68055号 ·doi:10.1007/s00453-001-0116-5
[3] Alon，N.，Gutner，S.：带排除次项的图的支配集问题的核。计算复杂性电子座谈会（ECCC）15（066）（2008）·Zbl 1288.05286号
[4] 阿米尼，O。；佩莱格，D。；Pérennes，S。；Sau，我。；Saurabh，S.，度约束子图问题：硬度和近似，No.5426，29-42（2008）·Zbl 1209.68629号
[5] Bodlaender，H.L.，Downey，R.G.，Fellows，M.R.，Hermelin，D.：关于没有多项式核的问题。J.计算。系统。科学。75(8), 423-434 (2009) ·Zbl 1192.68288号 ·doi:10.1016/j.jcss.2009.04.001
[6] Courcelle，B.，《图的一元二阶逻辑：有限图的可定义集》，第344、30-53号（1988）·Zbl 1533.03007号 ·doi:10.1007/3-540-50728-0_34
[7] Cygan，M.，Philip，G.，Pilipczuk，M..，Pilippzuk（M.），Wojtaszczyk，J.O.：支配集在无爪图中是固定参数可处理的。西奥。计算。科学。412(50), 6982-7000 (2011) ·Zbl 1228.68030号 ·doi:10.1016/j.tcs.2011.09.010
[8] Damaschke，P.：圆图的哈密顿回路问题是NP-完全的。信息处理。莱特。32(1), 1-2 (1989) ·Zbl 0681.68062号 ·doi:10.1016/0020-0190（89）90059-8
[9] Damian Iordache，M。；彭马拉朱，S.V.，圆图中近似独立支配的硬度，第1741号，第56-69页（1999）·Zbl 0971.68068号
[10] Downey，R.G.，Fellows，M.R.：参数化复杂性。纽约施普林格出版社（1999年）·Zbl 0961.68533号 ·doi:10.1007/978-1-4612-0515-9
[11] Elmallah，E.S.，Stewart，L.K.：多边形图中的独立性和支配性。离散应用程序。数学。44(1-3), 65-77 (1993) ·Zbl 0785.68072号 ·doi:10.1016/0166-218X（93）90222-A
[12] 偶数，S。；伊泰，A。；Press，A.（ed.），《队列、堆栈和图形》，71-86（1971）
[13] Fellows，M.R.，Hermelin，D.，Rosamond，F.A.，Vialette，S.：关于多区间图问题的参数化复杂性。西奥。计算。科学。410(1), 53-61 (2009) ·Zbl 1161.68038号 ·doi:10.1016/j.tcs.2008.09.065
[14] Flajolet，P.，Sedgewick，R.：分析组合数学。剑桥大学出版社，剑桥（2009）·Zbl 1165.05001号 ·doi:10.1017/CBO9780511801655
[15] Flum，J.，Grohe，M.：参数化复杂性理论。柏林施普林格出版社（2006）·兹比尔1143.68016
[16] Fomin，F。；Gaspers，S.公司。；Golovach，P。；苏姗，K。；Szeider，S。；Jan van Leeuwen，E。；Vatshelle，M。；Villanger，Y.，k-Gap区间图（2012）·Zbl 1353.68124号
[17] Garey，M.，Johnson，D.：计算机与难处理性。W.H.Freeman，旧金山（1979）·Zbl 0411.68039号
[18] Gaspers，S.，Kratsch，D.，Liedloff，M.，Todinca，I.：一些图类上最小支配集问题的指数时间算法。ACM事务处理。算法6，1（2009）·Zbl 1300.05300号 ·数字对象标识代码：10.1145/1644015.1644024
[19] Gavril，F.：圆图的最大团和最大独立集的算法。网络3，261-273（1973）·Zbl 0259.05125号 ·doi:10.1002/net.3230030305
[20] Gavril，F.：圆图中的最小权重反馈顶点集。信息处理。莱特。107(1), 1-6 (2008) ·Zbl 1185.05077号 ·doi:10.1016/j.ipl.2007.12.003
[21] Gioin，E.，Paul，C.，Tedder，M.，Corneil，D.：时间O（n+M）中的圆图识别——α（n+M）（2011）。手稿网址：arXiv:1104.3284·Zbl 1303.05190号
[22] Hedetniemi，S.M.，Hedetneimi，S.T.，Rall，D.F.：非循环支配。离散数学。222(1-3), 151-165 (2000) ·Zbl 0961.05052号 ·doi:10.1016/S0012-365X（00）00012-1
[23] Hermelin，D。；Mnich，M。；Leeuwen，E.J。；Woeginger，G.J.，《星空降临时的统治》，第6755、462-473号（2011年）·Zbl 1334.68160号 ·doi:10.1007/978-3-642-22006-7_39
[24] 江，M。；Zhang，Y.，多区间图的参数化复杂性：支配，第7112号，27-40（2011）·Zbl 1352.68113号 ·doi:10.1007/978-3-642-28050-43
[25] Keil，J.M.：圆图中控制问题的复杂性。离散应用程序。数学。42(1), 51-63 (1993) ·Zbl 0786.05079号 ·doi:10.1016/0166-218X（93）90178-Q
[26] Keil，J.M.，Stewart，L.：子树灯丝图中最小团覆盖和其他困难问题的近似。离散应用程序。数学。154(14), 1983-1995 (2006) ·Zbl 1110.68103号 ·doi:10.1016/j.dam.2006.03.003
[27] Kloks，T.：圆图的树宽。发现的国际期刊。计算。科学。7(2), 111-120 (1996) ·Zbl 0852.68069号 ·doi:10.1142/S012905419600099
[28] Marx，D.，几何图独立性和支配性的参数化复杂性，第4169154-165号（2006）·Zbl 1154.68431号 ·doi:10.1007/11847250_14
[29] Niedermeier，R.：固定参数算法邀请函。牛津大学出版社，牛津（2006）·Zbl 1095.68038号 ·doi:10.1093/acprof:oso/9780198566076.0001
[30] Paz，A.，Moran，S.：非确定性多项式优化问题及其近似。西奥。计算。科学。15, 251-277 (1981) ·Zbl 0459.68015号 ·doi:10.1016/0304-3975（81）90081-5
[31] Pietrzak，K.：关于固定字母表最短公共超序列和最长公共子序列问题的参数化复杂性。J.计算。系统。科学。67(4), 757-771 (2003) ·Zbl 1092.68049号 ·doi:10.1016/S0022-0000（03）00078-3
[32] Rooij，J.M.M。；Bodlaender，H.L。；Rossmanith，P.，《使用广义快速子集卷积进行树分解的动态规划》，第5757566-577号（2009年）·Zbl 1256.68157号
[33] Rué，J。；绍，I。；Thilikos，D.M.，《曲面图形的动态编程》，第6198期，第372-383页（2010年）·Zbl 1288.05286号 ·文件编号：10.1007/978-3-642-14165-2_32
[34] Sherwani，N.A.：超大规模集成电路物理设计自动化算法。克鲁沃学院，诺威尔（1992）·Zbl 0840.68060号
[35] Spinrad，J.：圆图的识别。J.算法16（2），264-282（1994）·Zbl 0797.68130号 ·doi:10.1006/jagm.1994.1012
[36] Unger，W.，《关于圆形颗粒的k着色》，第294期，第61-72页（1988年）·Zbl 0644.68094号
[37] Unger，W.，着色圆图的复杂性（扩展摘要），编号577，389-400（1992）·Zbl 1494.68204号
[38] Xu，G.，Kang，L.，Shan，E.：二部置换图的非循环控制。信息处理。莱特。99(4), 139-144 (2006) ·Zbl 1184.05092号 ·doi:10.1016/j.ipl.2006.04.002
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。