eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2022-12-14
2:1
2:13
10.4230/LIPIcs.IPEC.2022.2
article
Parameterized Complexity of Perfectly Matched Sets
Agrawal, Akanksha
1
https://orcid.org/0000-0002-0656-7572
Bhattacharjee, Sutanay
1
Jana, Satyabrata
2
https://orcid.org/0000-0002-7046-0091
Sahu, Abhishek
1
Indian Institute of Technology Madras, Chennai, India
The Institute of Mathematical Sciences, HBNI, Chennai, India
For an undirected graph G, a pair of vertex disjoint subsets (A, B) is a pair of perfectly matched sets if each vertex in A (resp. B) has exactly one neighbor in B (resp. A). In the above, the size of the pair is |A| (= |B|). Given a graph G and a positive integer k, the Perfectly Matched Sets problem asks whether there exists a pair of perfectly matched sets of size at least k in G. This problem is known to be NP-hard on planar graphs and W[1]-hard on general graphs, when parameterized by k. However, little is known about the parameterized complexity of the problem in restricted graph classes. In this work, we study the problem parameterized by k, and design FPT algorithms for: i) apex-minor-free graphs running in time 2^O(√k)⋅ n^O(1), and ii) K_{b,b}-free graphs. We obtain a linear kernel for planar graphs and k^𝒪(d)-sized kernel for d-degenerate graphs. It is known that the problem is W[1]-hard on chordal graphs, in fact on split graphs, parameterized by k. We complement this hardness result by designing a polynomial-time algorithm for interval graphs.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol249-ipec2022/LIPIcs.IPEC.2022.2/LIPIcs.IPEC.2022.2.pdf
Perfectly Matched Sets
Parameterized Complexity
Apex-minor-free graphs
d-degenerate graphs
Planar graphs
Interval Graphs