×

将顶点删除的复杂性参数化为完美图类。 (英语) Zbl 1407.68223号

摘要:顶点删除问题是参数化复杂性的核心。对于一个图类\(\ mathcal F\),\(\ mathcal F~)-删除问题的输入是一个图\(G\)和一个整数\(k\)。问题是,是否可以从\(G\)中最多删除\(k\)个顶点,从而使结果图属于\(\mathcal F\)。在以前的工作中,完美删除是否是固定参数可处理的,弦删除是否允许多项式核,当参数化为\(k\)时,都是公开的问题。为了寻求积极的结果,我们研究了(mathcal F)-删除问题的一个限制变量。在这个受限制的变量中,删除的顶点必须取自指定的集合\(X\),并且我们通过\(|X|\)进行参数化。我们证明,对于完全删除和弱弦删除,尽管这种限制立即确保了固定参数的可处理性,但它不足以生成多项式核,除非(mathrm{NP}\subseteq\mathrm}coNP/poly})。从积极的方面来说,对于Chordal Deletion,该限制使我们能够获得具有\(mathcal O(|X|^4)\)顶点的内核。

MSC公司:

65年第68季度 算法和问题复杂性分析
05C17号 完美图
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] Abu-Khzam,F.N.,d-Hitting集的核化算法,J.Compute。系统科学。,76, 7, 524-531 (2010) ·Zbl 1197.68083号
[3] 伯杰,C。;冯·格拉芬(von Graphen)、法邦(Färbung)、德伦·萨姆特里希(deren sämtliche bzw)。deren ungerade Kreise主演sind,Wiss。Z.Martin-Luther-Univ.Halle-Wittenberg数学-自然。赖赫,10114(1961)
[4] Bodlaender,H.L。;唐尼,R.G。;研究员,M.R。;Hermelin,D.,《关于没有多项式核的问题》,J.Compute。系统科学。,75, 8, 423-434 (2009) ·Zbl 1192.68288号
[6] Bodlaender,H.L。;Thomasse,S。;Yeo,A.,不相交循环和不相交路径的核边界,Theoret。计算。科学。,412, 35, 4570-4578 (2011) ·Zbl 1221.68099号
[7] Bodlaender,H.L。;van Dijk,T.C.,反馈顶点集和循环割集的三次核,理论计算。系统。,46, 3, 566-597 (2010) ·Zbl 1215.68170号
[8] 布兰德施泰特,A。;Le,V.B。;Spinrad,J.P.,《图形类:一项调查》(1999),工业和应用数学学会:美国宾夕法尼亚州费城·Zbl 0919.05001号
[9] 蔡,L.,遗传特性图形修改问题的固定参数可处理性,Inf.过程。莱特。,58, 4, 171-176 (1996) ·Zbl 0875.68702号
[10] 陈,J。;Kanj,I.A。;Xia,G.,改进的顶点覆盖上界,Theoret。计算。科学。,411, 40-42, 3736-3756 (2010) ·Zbl 1205.05217号
[11] Chudnovsky,M。;罗伯逊,N。;西摩,P。;Thomas,R.,《强完美图定理》,《数学年鉴》。,164, 51-229 (2006) ·Zbl 1112.05042号
[13] 唐尼,R。;Fellows,M.R.,(参数化复杂性。参数化复杂性,计算机科学专著(1999),施普林格:施普林格纽约)
[15] 福特诺,L。;Santhanam,R.,实例压缩和NP简洁PCP的不可行性,J.Compute。系统科学。,77, 1, 91-106 (2011) ·Zbl 1233.68144号
[16] Garey,M.R。;Johnson,D.S.,《计算机与难处理性,NP-完备性理论指南》(1979年),W.H.Freeman and Company:W.H.Freeman和Company New York·Zbl 0411.68039号
[17] Golumbic,M.C.,(算法图论和完美图。算法图论与完美图,《离散数学年鉴》,第57卷(2004),North-Holland出版社)·Zbl 1050.05002号
[18] 郭杰。;Moser,H。;Niedermeier,R.,精确求解NP-hard最小化问题的迭代压缩,(大型复杂网络算法(2009)),65-80·Zbl 1248.68380号
[19] 郭杰。;Niedermeier,R.,《数据缩减和问题内核化邀请》,SIGACT新闻,38,1,31-45(2007)
[20] 科特,S。;Raman,V.,寻找具有遗传特性的子图的参数化复杂性,Theoret。计算。科学。,289, 2, 997-1008 (2002) ·Zbl 1061.68061号
[22] 刘易斯,J.M。;Yannakakis,M.,遗传属性的节点删除问题是NP-完全的,J.Compute。系统科学。,20, 2, 219-230 (1980) ·Zbl 0436.68029号
[24] Marx,D.,弦删除是固定参数可处理的,Algorithmica,57,4,747-768(2010)·Zbl 1220.05066号
[25] 马克思,D。;Schlotter,I.,通过顶点删除获得平面图,算法,62,3-4807-822(2012)·Zbl 1239.05044号
[27] Reed,学士。;史密斯,K。;Vetta,A.,《寻找奇数循环横截面》,Oper。Res.Lett.公司。,32, 4, 299-301 (2004) ·Zbl 1052.05061号
[28] 罗伯逊,N。;西摩,P.D.,《未成年人图形》。十三、。不相交路径问题,J.Comb。理论,Ser。B、 63、1、65-110(1995)·Zbl 0823.05038号
[29] Thomassé,S.,反馈顶点集的A(4k^2)核,ACM-Trans。算法,6,2(2010)·Zbl 1300.05236号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。