×
费多尔·福明。;Petr A.Golovach。;法赫德·帕诺兰;菲利普·格瓦尔盖塞;萨科特·索拉布

拟阵和图中的各种集合。 （英语） Zbl 07807814号

数学。程序。 204，编号1-2（A），415-447（2024）.
摘要：我们研究了三个基本组合问题的不同解集的参数化复杂性。输入到加权多元基数问题由拟阵\（M\）、权函数\（\omega:E（M）\ to \mathbb｛N｝\）和整数\（k\geq1，d\geq1\）组成。任务是确定是否存在\（k\）的集合底座\（M）的（B_1，\dots，B_k\），使得任意一对碱基的对称差的权重至少为\（d）。输入到加权多样公共独立集问题由定义在同一基础集（E）上的两个拟阵（M_1，M_2）、一个权函数（ω：E到mathbb{N}）和整数（k到geq 1，d到geq）组成。任务是确定是否存在\（k\）的集合公共独立集\（M_1）和（M_2）的（I_1，\dots，I_k\），使得这些集合的任何一对对称差的权重至少为\（d\）。对的输入多种完美搭配问题由图（G）和整数（k\geq1，d\geq1）组成。任务是确定\（G\）是否包含\（k\）完美搭配\（M_1，\dots，M_k\），以便这些匹配中任意两个的对称差至少为\（d\）。我们证明，除非（\text{P}=\text{NP}），否则这些问题都不能在多项式时间内解决。我们导出了以（k，d）为参数的所有三个问题的固定参数可处理（FPT）算法，并为加权多元基数.

理学硕士：

68年第27季度 参数化复杂性、可处理性和核化
05立方厘米35 拟阵和几何格的组合方面
05C70号 具有特殊属性的边子集（因子分解、匹配、分区、覆盖和打包等）
05C85号 图形算法（图论方面）
65年第68季度 算法和问题复杂性分析
68瓦40 算法分析

关键词：

拟阵;图;解决方案的多样性;参数复杂性
PDF格式BibTeX公司 XML格式引用
\textit{F.V.Fomin}等人，《数学》。程序。204，编号1--2（A），415--447（2024；Zbl 07807814）
全文： 内政部 arXiv公司
OA许可证

参考文献：

[1] Baster，J。；研究员，MR；贾夫克，L。；马萨里克，T。；德奥利维拉·奥利维拉，M。；菲利普·G。；罗萨蒙德，FA，《解决方案的多样性：通过固定参数可控制性理论的透镜进行的探索》，Artif。智力。，303, (2022) ·Zbl 07482897号 ·doi:10.1016/j.artint.2021.103644
[2] Baster，J。；贾夫克，L。；Masařík，T.等人。；菲利普·G。；Rote，G.，《不同命中集集合的FPT算法》，《算法》，第12、12、254页，（2019年）·doi:10.3390/a12120254
[3] Bérczi，K。；Schwarcz，T.，拟阵中封装公共基的复杂性，数学。程序。，188, 1, 1-18, (2021) ·Zbl 1467.05024号 ·doi:10.1007/s10107-020-01497-y
[4] 贝尔齐，K。；Cáji，G。；Király，T.，关于包装彩虹生成树的复杂性，离散数学。，346, 4, (2023) ·兹比尔1508.05136 ·doi:10.1016/j.disc.2022.113297
[5] CJ科尔伯恩；Provan，JS；Vertigan，D.，计算横向拟阵上Tutte多项式的复杂性，组合数学，15，1，1-10，（1995）·Zbl 0821.05011号 ·doi:10.1007/BF01294456
[6] Cygan，M。；Fomin，FV；科瓦利克，L。；Lokshtanov，D。；马克思，D。；Pilipczuk，M。；Pilipczuk，M。；Saurabh，S.，参数化算法，（2015），公司：Springer Publishing Company，Incorporated·Zbl 1334.90001号 ·doi:10.1007/978-3-319-21275-3
[7] Downey，R.G.，Fellows，M.R.：参数化复杂性的基础。计算机科学课文。施普林格（2013）。doi:10.1007/978-1-4471-5559-1·Zbl 1358.68006号
[8] Edmonds，J.，《雷曼兄弟的转换博弈与塔特和纳什-威廉姆斯定理》，J.Res.Nat.Bur。标准章节。B、 69、73-77（1965）·Zbl 0192.09102号 ·doi:10.6028/jres.069B.005
[9] Edmonds，J.：子模函数、拟阵和某些多面体。《组合结构及其应用》（Proc.Calgary Internat.Conf.，Calgary，Alta.，1969），第69-87页。Gordon and Breach，纽约（1970）·Zbl 0268.05019号
[10] Edmonds，J.，《拟阵与贪婪算法》，数学。程序。，1, 1, 127-136, (1971) ·Zbl 0253.90027号 ·doi:10.1007/BF01584082
[11] 研究员，M.R.：多元化X范式（2018年）。手稿
[12] Fomin，F.V.，Golovach，P.A.，Jaffke，L.，Philip，G.，Sagunov，D.：不同配对。In：Y.Cao，S.Cheng，M.Li（编辑）第31届算法与计算国际研讨会，ISAAC 2020，2020年12月14日至18日，中国香港（虚拟会议），LIPIcs，第181卷，第26:1-26:12页。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik）（2020年）。doi:10.4230/LIPIcs。ISAAC2020.26标准·Zbl 07765384号
[13] Fomin，F.V.，Golovach，P.A.，Panolan，F.，Philip，G.，Saurabh，S.：Matroid和Graphs中的多样集合。参见：M.Bläser，B.Monmege（eds.）第38届计算机科学理论方面国际研讨会（STACS 2021），莱布尼茨国际信息学论文集（LIPIcs），第187卷，第31:1-31:14页。德国达格斯图尔Leibniz-Zentrum für Informatik Dagstuhl Schloss（2021年）。doi:10.4230/LIPIcs。STACS.2021.31。https://drops.dagstuhl.de/opus/volltexte/2021/13676
[14] Fomin，F.V.，Lokshtanov，D.，Saurabh，S.，Zehavi，M.：Kernelization：参数化预处理理论。剑桥大学出版社（2019）。数字对象标识代码：10.1017/9781107415157·Zbl 1426.68003号
[15] Frank，A.，加权拟阵交集算法，J.算法，2,4328-336，（1981）·兹伯利0484.05025 ·doi:10.1016/0196-6774（81）90032-8
[16] 马里兰州加里；约翰逊，DS，《计算机与不可纠正性：NP-完全性理论指南》（1979），W.H:Freeman，W.H·Zbl 0411.68039号
[17] 吉梅内斯，O。；Noy，M.，关于计算双圆拟阵的Tutte多项式的复杂性，组合概率。计算。，15, 3, 385-395, (2006) ·Zbl 1094.05013号 ·doi:10.1017/S0963548305007327
[18] Hanaka，T.、Kobayashi，Y.、Kurita，K.、Otachi，Y.:寻找不同的树木、路径等（2020年）。在arXiv:2009.03687在arXiv上预打印
[19] 新泽西州哈维；基拉利，T。；Lau，LC，关于两个拟阵中不相交的公共基，SIAM J.Discret。数学。，25, 4, 1792-1803, (2011) ·Zbl 1237.05036号 ·数字对象标识代码：10.1137/100815232
[20] Holyer，I.，《边缘着色的NP完备性》，SIAM J.Compute。，10, 4, 718-720, (1981) ·Zbl 0473.68034号 ·doi:10.1137/0210055
[21] Hörsch，F.，Kaiser，T.，Kriesell，M.：拟阵中的彩虹基（2022）。arxiv:2206.10322号
[22] Oxley，J.G.：拟阵理论。牛津大学出版社（1992）·Zbl 0784.05002号
[23] Schrijver，A.：《组合优化：多面体与效率》，第24卷。Springer科学与商业媒体（2003）·Zbl 1041.90001号
[24] Schwartz，JT，验证多项式恒等式的快速概率算法，J.ACM，27，4，701-717，（1980）·Zbl 0452.68050号 ·doi:10.1145/322217.32225
[25] Valiant，LG，计算永久性的复杂性，Theor。计算。科学。，8, 2, 189-201, (1979) ·Zbl 0415.68008号 ·doi:10.1016/0304-3975（79）90044-6
[26] Vertigan，D.，Tutte多项式的Bicycle维数和特殊点，J.组合理论系列。B、 74、2、378-396（1998）·Zbl 1023.05030号 ·doi:10.1006/jctb.1998.1860
[27] Wahlström，m.：使用Tutte矩阵：\（K\）-集循环问题的代数实例压缩。参见：N.Portier，T.Wilke（编辑）第30届计算机科学理论方面国际研讨会，2013年2月27日至3月2日，德国基尔，LIPIcs，第20卷，第341-352页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik（2013）。doi:10.4230/LIPIcs。堆栈。2013.341·Zbl 1354.68135号
[28] Zippel，R.：稀疏多项式的概率算法。摘自：《符号和代数计算国际研讨会论文集》，EUROSAM’79，第216-226页。斯普林格·弗拉格，柏林，海德堡（1979）·Zbl 0418.68040号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。