×
格雷戈里·古汀；金恩贞（Kim，Eun Jung）；苏莱曼尼法拉，阿雷佐；斯泽德，斯特凡；Yeo，安德斯

参数化复杂性是二部图中一般因子的结果，并应用于约束编程。 （英语） Zbl 1253.68151号

算法 64，第1号，112-125（2012）.
摘要：NP-hard一般因子问题询问，给定一个图，并且每个顶点都有一个整数列表，该图是否有一个生成子图，其中每个顶点都具有属于其指定列表的度。即使给定的图是具有分区的二部图，并且（U）中的每个顶点都被分配了列表（1），问题仍然是NP-hard；这个子问题在约束编程的上下文中作为扩展的全局基数约束的一致性问题出现。
我们证明了当通过第二部分集的大小参数化时，该子问题是固定参数可处理的。更一般地，我们证明了由\（|V|\）参数化的二部图的一般因子问题是固定参数可处理的，只要\（U \）中的所有顶点被分配了长度为1的列表，但如果\（U \]中的顶点被分配的长度最多为2的列表，则变为\（W[1]\）-难处理。我们通过将问题实例减少到有界数量的非循环实例来建立固定参数可处理性，每个实例都可以通过动态规划在多项式时间内求解。

MSC公司：

2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
68兰特 计算机科学中的图论（包括图形绘制）
90立方厘米 涉及图形或网络的编程

关键词：

一般因素；全局约束；固定参数可控制

软件：

木槿
PDF格式BibTeX公司 XML格式引用
\textit{G.Gutin}等人，Algorithmica 64，No.1，112-125（2012；Zbl 1253.68151）
全文： 内政部 arXiv公司

参考文献：

[1] Beldiceanu，N.，Carlsson，M.，Rampon，J.-X.：全球约束目录。技术报告T2005:08，SICS，SE-16 429 Kista，瑞典（2006年8月）。在线版本http://www.emn.fr/x-info/sdemasse/gccat/
[2] Bessiere，C.，Hebrard，E.，Hnich，B.，Kiziltan，Z.，Quimper，C.-G.，Walsh，T.：全局约束的参数化复杂性。摘自：《第二十届美国人工智能学会人工智能会议论文集》，2008年7月13日至17日，美国伊利诺伊州芝加哥，AAAI 2008，第235-240页。AAAI出版社，门罗公园（2008）
[3] Bessiére，C.，Hebrard，E.，Hnich，B.，Walsh，T.：全球约束的可控制性。摘自：Wallace，M.（编辑）《约束编程的原理与实践》（CP 2004）。计算机科学课堂讲稿，第3258卷，第716–720页。施普林格，柏林（2004）·Zbl 1152.68542号
[4] Bourdais，S.、Galinier，P.、Pesant，G.：HIBISCUS：医疗保健中员工排班的约束编程应用程序。收录于：Rossi，F.（编辑）《约束编程的原理与实践》（CP 2003）。计算机科学课堂讲稿，第2833卷，第153-167页。柏林施普林格出版社（2003）
[5] Cornuéjols，G.：图形的一般因子。J.库姆。理论，Ser。B 45（2），185–198（1988）·Zbl 0607.05053号 ·doi:10.1016/0095-8956（88）90068-8
[6] Downey，R.G.，Fellows，M.R.：参数化复杂性。计算机科学专著。纽约施普林格出版社（1999年）
[7] Flum，J.，Grohe，M.：参数化复杂性理论。理论计算机科学课文。EATCS系列，第14卷。柏林施普林格出版社（2006）·Zbl 1143.68016号
[8] Gaspers，S.，Szeider，S.：全局约束的核。摘自：Walsh，T.（编辑）《国际人工智能联合会议论文集》，2011年国际人工智能学会，第1033-1038页。AAAI出版社/IJCAI，门罗公园（2011）
[9] Lovász，L.：图的因式分解。In:组合结构及其应用，Proc。卡尔加里国际机场。Conf.，卡尔加里，阿尔塔，1969年，第243-246页。Gordon and Breach，纽约（1970）·Zbl 0247.05155号
[10] Lovász，L.：图的因式分解。二、。数学学报。阿卡德。科学。挂。23, 223–246 (1972) ·Zbl 0247.05155号 ·doi:10.1007/BF01889919
[11] Mathieson，L.，Szeider，S.：编辑图形以满足度约束：参数化方法。J.计算。系统。科学。（2011年，待发布）·Zbl 1242.68124号
[12] Niedermeier，R.：固定参数算法邀请函。牛津数学及其应用系列讲座。牛津大学出版社，牛津（2006）·Zbl 1095.68038号
[13] Pietrzak，K.：关于固定字母表最短公共超序列和最长公共子序列问题的参数化复杂性。J.计算。系统。科学。67(4), 757–771 (2003) ·Zbl 1092.68049号 ·doi:10.1016/S0022-0000（03）00078-3
[14] Régin，J.-C.，Gomes，C.：基数矩阵约束。摘自：Wallace，M.（编辑）《约束编程的原理与实践》（CP 2004）。计算机科学课堂讲稿，第3258卷，第572-587页。施普林格，柏林（2004）·Zbl 1152.68578号
[15] Samer，M.，Szeider，S.：扩展的全局基数约束的可追踪情况。摘自：Harland，J.，Manyem，P.（eds.）《2008年CATS会议录》，计算：澳大利亚新南威尔士州伍伦贡大学澳大利亚理论研讨会，2008年1月22日至25日。信息技术研究与实践会议，第77卷，第67-74页。澳大利亚。计算。Soc.，悉尼（2008）。完整版本出现在约束条件16（1）、1–24（2011）中
[16] Szeider，S.：局部基数约束图上的一元二阶逻辑。ACM事务处理。计算。日志。第12（2）条，第12（2011）条·Zbl 1173.03300号 ·doi:10.145/1877714.18877718
[17] Szeider，S.：预处理的限制。摘自：《第二十五届人工智能会议论文集》，AAAI 2011（2011）。要显示
[18] van Hoeve，W.-J.，Katriel，I.：全球约束。收录：Rossi，F.、van Beek，P.、Walsh，T.（编辑）《约束编程手册》。Elsevier，阿姆斯特丹（2006）。第六章
[19] van Hoeve，W.J.，Pesant，G.，Rousseau，L.-M.，Sabharwal，A.：重新审视序列约束。摘自：Benhamou，F.（ed.）《约束编程的原理与实践——CP 2006》，第十二届国际会议论文集，法国南特，2006年9月25-29日。计算机科学课堂讲稿，第4204卷，第620-634页。柏林施普林格出版社（2006）·Zbl 1160.68573号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。