The Complexity of Perfect Matching Problems on Dense Hypergraphs

  • Authors:

  • Marek Karpiński;Andrzej Ruciński;Edyta Szymańska

  • Affiliations:

  • Department of Computer Science, University of Bonn,;Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Poznań;Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Poznań

  • Venue:
  • ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we consider the computational complexity of deciding the existence of a perfect matching in certain classes of dense k-uniform hypergraphs. Some of these problems are known to be notoriously hard. There is also a renewed interest recently in the very special cases of them. One of the goals of this paper is to shed some light on the tractability barriers for those problems.It has been known that the perfect matching problems are NP-complete for the classes of hypergraphs H with minimum ((k 驴 1) 驴wise) vertex degree 驴 at least c|V(H)| for $c and trivial for $c\ge\frac 12,$ leaving the status of the problems with c in the interval $[\frac 1k,\frac 12)$ widely open. In this paper we show, somehow surprisingly, that $\frac 12$, in fact, is not a threshold for the tractability of the perfect matching problem, and prove the existence of an 驴 0 such that the perfect matching problem for the class of hypergraphs H with 驴 at least $(\frac 12-\epsilon)|V(H)|$ is solvable in polynomial time. This seems to be the first polynomial time algorithm for the perfect matching problem on hypergraphs for which the existence problem is nontrivial. In addition, we consider parallel complexity of the problem, which could be also of independent interest in view of the known results for graphs.