eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2018-12-06
30:1
30:13
10.4230/LIPIcs.ISAAC.2018.30
article
The b-Matching Problem in Distance-Hereditary Graphs and Beyond
Ducoffe, Guillaume
1
Popa, Alexandru
2
ICI – National Institute for Research and Development in Informatics, Bucharest, Romania , The Research Institute of the University of Bucharest ICUB, Bucharest, Romania
University of Bucharest, Bucharest, Romania , ICI – National Institute for Research and Development in Informatics, Bucharest, Romania
We make progress on the fine-grained complexity of Maximum-Cardinality Matching on graphs of bounded clique-width. Quasi linear-time algorithms for this problem have been recently proposed for the important subclasses of bounded-treewidth graphs (Fomin et al., SODA'17) and graphs of bounded modular-width (Coudert et al., SODA'18). We present such algorithm for bounded split-width graphs - a broad generalization of graphs of bounded modular-width, of which an interesting subclass are the distance-hereditary graphs. Specifically, we solve Maximum-Cardinality Matching in O((k log^2{k})*(m+n) * log{n})-time on graphs with split-width at most k. We stress that the existence of such algorithm was not even known for distance-hereditary graphs until our work. Doing so, we improve the state of the art (Dragan, WG'97) and we answer an open question of (Coudert et al., SODA'18). Our work brings more insights on the relationships between matchings and splits, a.k.a., join operations between two vertex-subsets in different connected components. Furthermore, our analysis can be extended to the more general (unit cost) b-Matching problem. On the way, we introduce new tools for b-Matching and dynamic programming over split decompositions, that can be of independent interest.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol123-isaac2018/LIPIcs.ISAAC.2018.30/LIPIcs.ISAAC.2018.30.pdf
maximum-cardinality matching
b-matching
FPT in P
split decomposition
distance-hereditary graphs