Diverse collections in matroids and graphs

• 成果类型: Article
• 署名作者: Fomin, Fedor V. V.; Golovach, Petr A. A.; Panolan, Fahad; Philip, Geevarghese; Saurabh, Saket
• 署名单位: University of Bergen; Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Hyderabad; Chennai Mathematical Institute; Institute of Mathematical Sciences (IMSc) India
• 刊物名称: MATHEMATICAL PROGRAMMING
• ISSN/ISSBN: 0025-5610
• DOI: 10.1007/s10107-023-01959-z
• 发表日期: 2024
• 页码: 415-447
• 关键词: tutte; complexity

摘要

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.