Header menu link for other important links
X
The complexity of König subgraph problems and above-guarantee vertex cover
Published in
2011
Volume: 61
   
Issue: 4
Pages: 857 - 881
Abstract
A graph is König-Egerváry if the size of a minimum vertex cover equals that of a maximum matching in the graph. These graphs have been studied extensively from a graph-theoretic point of view. In this paper, we introduce and study the algorithmic complexity of finding König-Egerváry subgraphs of a given graph. In particular, given a graph G and a nonnegative integer k, we are interested in the following questions: 1. does there exist a set of k vertices (edges) whose deletion makes the graph König- Egerváry? 2. does there exist a set of k vertices (edges) that induce a König-Egerváry subgraph? We show that these problems are NP-complete and study their complexity from the points of view of approximation and parameterized complexity. Towards this end, we first study the algorithmic complexity of Above Guarantee Vertex Cover, where one is interested in minimizing the additional number of vertices needed beyond the maximum matching size for the vertex cover. Further, while studying the parameterized complexity of the problem of deleting k vertices to obtain a König-Egerváry graph, we show a number of interesting structural results on matchings and vertex covers which could be useful in other contexts. © 2010 Springer Science+Business Media, LLC.
About the journal
JournalAlgorithmica (New York)
ISSN01784617
Open AccessYes
Concepts (19)
  •  related image
    Algorithmic complexity
  •  related image
    Graph g
  •  related image
    Graph-theoretic
  •  related image
    MATCHINGS
  •  related image
    Maximum matchings
  •  related image
    MINIMUM VERTEX COVER
  •  related image
    NONNEGATIVE INTEGERS
  •  related image
    Np complete
  •  related image
    PARAMETERIZED COMPLEXITY
  •  related image
    Subgraph problems
  •  related image
    Subgraphs
  •  related image
    UNIQUE GAMES
  •  related image
    Vertex cover
  •  related image
    Approximation algorithms
  •  related image
    Computational complexity
  •  related image
    Integer programming
  •  related image
    Parallel processing systems
  •  related image
    Parameterization
  •  related image
    Graph theory