An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover

  • Authors:
  • Henning Fernau;Rolf Niedermeier

  • Affiliations:
  • -;-

  • Venue:
  • MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

The "Constraint Bipartite Vertex Cover" problem (CBVC for short) is: given a bipartite graph G with n vertices and two positive integers k1, k2, is there a vertex cover taking at most k1 vertices from one and at most k2 vertices from the other vertex set of G? CBVC is NP-complete. It formalizes the spare allocation problem for reconfigurable axrays, an important problem from VLSI manufacturing. We provide the first nontrivial so-called "fixed parameter" algorithm for CBVC, running in time O(1.3999k1+k2 + (k1+k2n). Our algorithm is efficient for small values of k1 and k2, as occurring in applications.