English

On the Exact Matching Problem in Dense Graphs

Computational Complexity 2024-01-09 v1

Abstract

In the Exact Matching problem, we are given a graph whose edges are colored red or blue and the task is to decide for a given integer k, if there is a perfect matching with exactly k red edges. Since 1987 it is known that the Exact Matching Problem can be solved in randomized polynomial time. Despite numerous efforts, it is still not known today whether a deterministic polynomial-time algorithm exists as well. In this paper, we make substantial progress by solving the problem for a multitude of different classes of dense graphs. We solve the Exact Matching problem in deterministic polynomial time for complete r-partite graphs, for unit interval graphs, for bipartite unit interval graphs, for graphs of bounded neighborhood diversity, for chain graphs, and for graphs without a complete bipartite t-hole. We solve the problem in quasi-polynomial time for Erd\H{o}s-R\'enyi random graphs G(n, 1/2). We also reprove an earlier result for bounded independence number/bipartite independence number. We use two main tools to obtain these results: A local search algorithm as well as a generalization of an earlier result by Karzanov.

Keywords

Cite

@article{arxiv.2401.03924,
  title  = {On the Exact Matching Problem in Dense Graphs},
  author = {Nicolas El Maalouly and Sebastian Haslebacher and Lasse Wulf},
  journal= {arXiv preprint arXiv:2401.03924},
  year   = {2024}
}

Comments

40 pages, 13 figures, submitted to STACS 2024

R2 v1 2026-06-28T14:11:16.187Z