Saved in:
Bibliographic Details
Main Authors: Maalouly, Nicolas El, Haslebacher, Sebastian, Wulf, Lasse
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2401.03924
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866929202606899200
author Maalouly, Nicolas El
Haslebacher, Sebastian
Wulf, Lasse
author_facet Maalouly, Nicolas El
Haslebacher, Sebastian
Wulf, Lasse
contents 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ős-Rényi 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.
format Preprint
id arxiv_https___arxiv_org_abs_2401_03924
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle On the Exact Matching Problem in Dense Graphs
Maalouly, Nicolas El
Haslebacher, Sebastian
Wulf, Lasse
Computational Complexity
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ős-Rényi 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.
title On the Exact Matching Problem in Dense Graphs
topic Computational Complexity
url https://arxiv.org/abs/2401.03924