×
马林·布盖雷特;吉列尔梅·杜维利;鲁道夫·吉鲁多;雷米·瓦特里甘特

多维二进制向量分配问题：标准、结构和以上保证的参数化。 （英语） 兹比尔1433.90077

Kosowski，Adrian（编辑）等人，《计算理论基础》。2015年8月17日至19日，第20届国际研讨会，FCT 2015，波兰根斯克。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9210, 189-201 (2015).
摘要：在本文中，我们关注多维二进制向量分配问题（称为bMVA）的参数化复杂性。这个问题的输入由不相交集（V^1，V^2，点，V^m）定义，每个不相交集由大小为（p）的二进制向量组成。输出是一组不相交的向量元组，其中每个元组是通过从每个向量集（V^i）中选取一个向量获得的。对于每个（m）元组，我们通过对元组的（m）向量应用位与运算来关联一个（p）维向量。目标是最小化这些向量中的零总数。bMVA可以被视为多维匹配的一种变体，其中超边通过附加到顶点的标签隐式地进行局部编码，但最初是在集成电路制造的背景下引入的{}我们为这个问题提供FPT算法和负面结果(以太币-基于结果，\（W[2]\）-硬度和核下界）参数：标准参数\（k）（即零的总数），以及高于某些保证值的两个参数。
关于整个系列，请参见[Zbl 1318.68025号].

引用于2文件

MSC公司：

90B80型 离散位置和分配
90C09型 布尔编程
PDF格式BibTeX公司 XML格式引用
\textit{M.Bougeret}等人，Lect。注释计算。科学。9210，189--201（2015；Zbl 1433.90077）
全文： DOI程序 arXiv公司

参考文献：

[1] 博德兰德，HL；BMP Jansen；Kratsch，S.，交叉合成的核化下界，SIAM J.离散数学。，28, 1, 277-305 (2014) ·Zbl 1295.05222号 ·doi:10.137/120880240
[2] Bougeret，M.、Duvillie，G.、Giroudeau，R.、Watrigant，R.：多维二进制向量分配问题：标准、结构和高于保证的参数化。CoRR，abs/1506.03282（2015）·兹比尔1433.90077
[3] Cygan，M.、Pilipczuk，M..、Pilipczuk、M.、Wojtaszczyk，J.O.：关于在下限以上参数化的多路切割。摘自：《第六届参数化和精确计算国际会议论文集》（IPEC2011），第1-12页，斯普林格·弗拉格，海德堡（2012）·Zbl 1352.68100号
[4] Dokka，T。；Bougeret，M。；布德特，V。；Giroudeau，R。；斯皮克斯马，FCR；Erlebach，T。；Persiano，G.，《晶圆到晶圆集成问题的近似算法》，近似和在线算法，286-297（2013），海德堡：斯普林格，海德伯格·Zbl 1394.68438号 ·doi:10.1007/978-3-642-38016-7_23
[5] Dokka，T。；蒂·克拉玛（TY Crama）；Spieksma，FCR，多维向量赋值，离散优化。，14, 111-125 (2014) ·Zbl 1308.90088号 ·doi:10.1016/j.disopt.2014.08.005
[6] RG唐尼；MR研究员，参数化复杂性基础。《计算机科学文本》（2013），海德堡：施普林格，海德伯格·兹比尔1358.68006 ·doi:10.1007/978-1-4471-5559-1
[7] Drucker，A.：经典和量子实例压缩的新限制。收录于：FOCS，第609-618页，（2012年）
[8] 杜维利，G。；Bougeret，M。；布德特，V。；Dokka，T。；Giroudeau，R。；Paschos，佛蒙特州；Widmayer，P.，《关于晶圆间集成的复杂性，算法和复杂性》，208-220（2015），海德堡：施普林格出版社·Zbl 1387.68124号 ·doi:10.1007/978-3-319-18173-8_15
[9] Gutin，G。；Rafiey，A。；Szeider，S.等人。；Yeo，A。；Calamoneri，T。；费诺奇，I。；Italiano，GF，上述保证值参数化线性排列问题，算法和复杂性，356-367（2006），海德堡：施普林格·Zbl 1183.68428号 ·doi:10.1007/11758471_34
[10] Gutin，G。；Yeo，A。；博德兰德，HL；唐尼，R。；Fomin，FV；Marx，D.，《参数化紧边界上下约束满足问题：一项调查》，《多元算法革命及其后》，257-286（2012），海德堡：斯普林格·Zbl 1358.68135号 ·doi:10.1007/978-3642-30891-8-14
[11] Impagliazzo，R。；帕图里，R。；Zane，F.，哪些问题具有强指数复杂性？，J.计算。系统。科学。，63, 4, 512-530 (2001) ·Zbl 1006.68052号 ·doi:10.1006/jcss.2001.1774
[12] Lokshtanov，D。；马克思，D。；Saurabh，S.，基于指数的下限，布尔。EATCS，105，41-72（2011）·Zbl 1258.68068号
[13] Lokshtanov，D.，Marx，D.，Saurabh，S.：略超指数参数化问题。摘自：第二十届ACM-SIAM离散算法年度研讨会论文集（SODA2011），第760-776页。SIAM（2011年）·Zbl 1373.68273号
[14] Lokshtanov，D。；纳拉亚纳斯瓦米，NS；拉曼，V。；拉马努扬，密西西比州；Saurabh，S.，《使用线性规划的更快参数化算法》，ACM Trans。算法，11，2，151-153（2014）·Zbl 1398.68254号 ·doi:10.145/2566616
[15] Mahajan，M。；Raman，V.，参数化以上保证值：Maxsat和maxcut，J.Algorithms，31，2，335-354（1999）·Zbl 0921.68052号 ·doi:10.1006/jagm.1998.0996
[16] Mahajan，M。；拉曼，V。；Sikdar，S.，《参数化高于或低于保证值》，J.Comput。系统。科学。，75, 2, 137-153 (2009) ·Zbl 1155.68400号 ·doi:10.1016/j.jcss.2008.08.004
[17] 雷达，S。；史密斯，G。；Smith，L.，最大化晶圆间三维集成的功能成品率，IEEE Trans。超大规模集成电路。（VLSI）系统。，17, 9, 1357-1362 (2009) ·doi:10.1109/TVLSI.2008.2003513
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。