×

固定参数可处理性和完备性II:关于W[1]的完备性。 (英语) Zbl 0873.68059号

摘要:对于许多在多项式时间内通常可以解决的固定参数问题,例如“(k)-支配集”,目前已知的算法基本上没有比尝试所有可能的解决方案更好的算法。其他问题,如FEEDBACK VERTEX SET,表现出固定参数的可处理性:对于每个固定的\(k\),问题可以在由次数多项式\(c\)限定的时间内求解,其中\(c~)是与\(k~)无关的常数。在之前的一篇论文中,定义了参数化问题的W层次,并为(t\geq 2)的类W[(t)]确定了完整问题。我们的主要结果表明,W[1]的独立集是完全的。

MSC公司:

2015年第68季度 复杂性类(层次结构、复杂性类之间的关系等)

关键词:

独立集
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 亚伯拉罕森,K.A。;唐尼,R.G。;Fellows,M.F.,《固定参数难处理性II》(STACS’93)。STACS’93,计算机科学讲稿(1993),施普林格:施普林格柏林),374-385·Zbl 0799.68086号
[2] K.A.Abrahamson、R.G.Downey和M.R.Fellows,固定参数可处理性和完整性IV:关于完整性(WP PSPACE)Ann.纯粹应用。逻辑; K.A.Abrahamson、R.G.Downey和M.R.Fellows,固定参数可处理性和完整性IV:关于完整性(WP PSPACE)Ann.纯粹应用。逻辑·Zbl 0828.68077号
[3] Buss,J.F。;Goldsmith,J.,《非决定论,内(P)》,SIAM J.Compute。,22560-572(1993年)·兹比尔0773.68031
[4] Bodlaender,H.L.,关于不相交循环,(技术报告RUU-CS-90-29(1990年8月),乌得勒支大学计算机科学系:荷兰乌得勒支大学计算机科学系)·Zbl 0815.05040号
[5] Bodlaender,H.L。;唐尼,R.G。;研究员,M.R。;Wareham,H.Todd,《序列比对和集中的参数化复杂性(扩展抽象)》,(Crochemore,M.;Gusfield,D。,组合模式匹配程序。第五届年度研讨会,CPM'94。组合模式匹配程序。第五届年度研讨会,1994年6月,阿西洛马,CPM’94。组合模式匹配程序。第五届年度研讨会,CPM'94。组合模式匹配程序。第五届年度研讨会,CPM’94,Asilomar,1994年6月,计算机科学讲稿,第807卷(1994),Springer:Springer Berlin,15-30,最终版本将于理论。计算。科学。
[6] 蔡立群、陈建群、唐尼和费罗斯,《短计算和因子分解的参数化复杂性》,提交。;L.Cai、J.Chen、R.G.Downey和M.F.Fellows,提交了短计算和因子分解的参数化复杂性·Zbl 0944.68069号
[7] 唐尼,R.G。;埃文斯,P。;Fellows,M.F.,参数化学习复杂性,(COLT’93,Proc.第六届学习理论年会(1993),IEEE:IEEE纽约),51-57
[8] 唐尼,R.G。;Fellows,M.R.,固定参数可处理性和完整性,(国会数字,87(1992)),161-187·Zbl 0768.68136号
[9] 唐尼,R.G。;Fellows,M.F.,固定参数难以处理,(Proc.7th Annual Structure in Complexity(1992)),36-49
[10] 唐尼,R.G。;Fellows,M.R.,《固定参数可处理性和完整性III:(W)层次结构的一些结构方面》,(Ambos-Spies,K.;Homer,S.;Schöing,U.,《复杂性理论》(1993),剑桥大学出版社:剑桥大学出版社,剑桥),166-191年·Zbl 0799.68087号
[11] R.G.Downey和M.R.Fellows,固定参数可操纵性和完整性I:基本结果,SIAM J.计算机; R.G.Downey和M.R.Fellows,固定参数可操纵性和完整性I:基本结果,SIAM J.计算机·Zbl 0830.68063号
[12] R.G.Downey和M.F.Fellows,参数化计算可行性,见:P.Clote和J.Remmel编辑。,可行性数学II; R.G.Downey和M.F.Fellows,参数化计算可行性,见:P.Clote和J.Remmel编辑。,可行性数学II·Zbl 0834.68046号
[13] R.G.Downey和M.F.Fellows,参数化复杂性; R.G.Downey和M.F.Fellows,参数化复杂性·Zbl 0914.68076号
[14] R.G.Downey和M.F.Fellows,固定参数可处理性和难处理性——一项调查,正在准备中。;R.G.Downey和M.F.Fellows,固定参数可处理性和难处理性-一项调查,正在准备中·Zbl 0799.68087号
[15] 研究员,M.R。;Langston,M.A.,《关于多项式时间算法的搜索、决策和效率》(《计算理论交响乐汇编》(1989)),501-512
[16] 研究员,M.R。;Langston,M.A.,Myhill-Nerode定理的类似物及其在计算有限基特征中的应用,(Proc.Symp.Foundations of Comp.Sci.(itFOCS)(1989)),520-525
[17] Garey,M.R。;Johnson,D.S.,《计算机与难处理性》。NP完全性理论指南(1979),弗里曼:弗里曼旧金山·Zbl 0411.68039号
[18] Papadimitriou,C。;Yannakakis,M.,《关于有限不确定性和VC-维的复杂性》,(第八届复杂性年会(1993),IEEE:IEEE纽约),12-18
[19] N.Robertson和P.D.Seymour,图未成年人XIII。出现了不相交路径问题。;N.Robertson和P.D.Seymour,图未成年人XIII。出现不相交路径问题·Zbl 0823.05038号
[20] N.Robertson和P.D.Seymour,图未成年人十五。看来,瓦格纳的猜想。;N.Robertson和P.D.Seymour,图未成年人十五。瓦格纳的推测,似乎·Zbl 1061.05088号
[21] van Leeuwen,J.,《图形算法》(van Leuwen,J,《理论计算机科学手册》,A卷(1990),Elsevier:Elsevier阿姆斯特丹),525-632·Zbl 0900.68258号
[22] 唐尼,R.G。;研究员,M。;卡普隆,B。;哈利特,M。;Wareham,H.Todd,逻辑和语言学中一些问题的参数化复杂性(扩展抽象),(Nerode,A.;Matiyasevich,Yu.,《圣彼得堡的逻辑》,《圣彼得斯堡的逻辑,计算机科学讲义》,第813卷(1994),施普林格:施普林格-柏林),89-101·Zbl 0946.03046号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。