Diverse collections in matroids and graphs

被引:0
作者
Fomin, Fedor V. V. [1 ]
Golovach, Petr A. A. [1 ]
Panolan, Fahad [2 ]
Philip, Geevarghese [3 ,4 ]
Saurabh, Saket [1 ,5 ]
机构
[1] Univ Bergen, Bergen, Norway
[2] IIT Hyderabad, Kandi, India
[3] Chennai Math Inst, Chennai, India
[4] UMI ReLaX, Chennai, India
[5] Inst Math Sci, Chennai, India
基金
欧盟地平线“2020”; 欧洲研究理事会;
关键词
Matroids; Graphs; Diversity of solutions; Parameterized complexity; TUTTE; COMPLEXITY;
D O I
10.1007/s10107-023-01959-z
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We investigate the parameterized complexity of finding diverse sets of solutions to three fundamental combinatorial problems. The input to the WEIGHTED DIVERSE BASES problem consists of a matroid M, a weight function ? : E(M)-* N, and integers k > 1, d > 1. The task is to decide if there is a collection of k bases B-1, ... , B-k of M such that the weight of the symmetric difference of any pair of these bases is at least d. The input to the WEIGHTED DIVERSE COMMON INDEPENDENT SETS problem consists of two matroids M1, M2 defined on the same ground set E, a weight function ? : E-* N, and integers k > 1, d > 1. The task is to decide if there is a collection of k common independent sets I-1, .. . , I-k of M(1 )and M-2 such that the weight of the symmetric difference of any pair of these sets is at least d. The input to the DIVERSE PERFECT MATCHINGS problem consists of a graph G and integers k > 1, d > 1. The task is to decide if G contains k perfect matchings M-1, ... , M-k such that the symmetric difference of any two of these matchings is at least d. We show that none of these problems can be solved in polynomial time unless P = NP. We derive fixed-parameter tractable (FPT) algorithms for all three problems with (k, d) as the parameter, and present a poly(k, d)-sized kernel for WEIGHTED DIVERSE BASES.
引用
收藏
页码:415 / 447
页数:33
相关论文
共 28 条
[1]  
[Anonymous], 2013, LEIBNIZ INT P INFORM, DOI DOI 10.4230/LIPICS
[2]   Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory [J].
Baste, Julien ;
Fellows, Michael R. ;
Jaffke, Lars ;
Masarik, Tomas ;
Oliveira, Mateus de Oliveira ;
Philip, Geevarghese ;
Rosamond, Frances A. .
ARTIFICIAL INTELLIGENCE, 2022, 303
[3]   FPT Algorithms for Diverse Collections of Hitting Sets [J].
Baste, Julien ;
Jaffke, Lars ;
Masarik, Tomas ;
Philip, Geevarghese ;
Rote, Guenter .
ALGORITHMS, 2019, 12 (12)
[4]   On the complexity of packing rainbow spanning trees [J].
Berczi, Kristof ;
Csaji, Gergely ;
Kiraly, Tamas .
DISCRETE MATHEMATICS, 2023, 346 (04)
[5]   Complexity of packing common bases in matroids [J].
Berczi, Kristof ;
Schwarcz, Tamas .
MATHEMATICAL PROGRAMMING, 2021, 188 (01) :1-18
[6]   THE COMPLEXITY OF COMPUTING THE TUTTE POLYNOMIAL ON TRANSVERSAL MATROIDS [J].
COLBOURN, CJ ;
PROVAN, JS ;
VERTIGAN, D .
COMBINATORICA, 1995, 15 (01) :1-10
[7]  
Cygan Marek., 2015, Parameterized Algorithms, DOI DOI 10.1007/978-3-319-21275-3
[8]  
Downey R.G., 2013, FUNDAMENTALS PARAMET, DOI 10.1007/978-1-4471-5559-1
[9]   LEHMANS SWITCHING GAME AND A THEOREM OF TUTTE AND NASH-WILLIAMS [J].
EDMONDS, J .
JOURNAL OF RESEARCH OF THE NATIONAL BUREAU OF STANDARDS SECTION B-MATHEMATICS AND MATHEMATICAL, 1965, B 69 (1-2) :73-+
[10]  
Edmonds J., 1970, Combinatorial struc- tures and their applications, P69