Class VertexCovers


  • public class VertexCovers
    extends java.lang.Object
    Algorithms to find a vertex cover for a graph. A vertex cover is a set of vertices that touches all the edges in the graph. The graph's vertex set is a trivial cover. However, a minimal vertex set (or at least an approximation for it) is usually desired. Finding a true minimal vertex cover is an NP-Complete problem. For more on the vertex cover problem, see http://mathworld.wolfram.com/VertexCover.html
    Since:
    Nov 6, 2003
    Author:
    Linda Buisman
    • Constructor Summary

      Constructors 
      Constructor Description
      VertexCovers()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Set find2ApproximationCover​(Graph g)
      Finds a 2-approximation for a minimal vertex cover of the specified graph.
      java.util.Set findGreedyCover​(UndirectedGraph g)
      Finds a greedy approximation for a minimal vertex cover of a specified graph.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • VertexCovers

        public VertexCovers()
    • Method Detail

      • find2ApproximationCover

        public java.util.Set find2ApproximationCover​(Graph g)
        Finds a 2-approximation for a minimal vertex cover of the specified graph. The algorithm promises a cover that is at most double the size of a minimal cover. The algorithm takes O(|E|) time.

        For more details see Jenny Walter, CMPU-240: Lecture notes for Language Theory and Computation, Fall 2002, Vassar College, http://www.cs.vassar.edu/~walter/cs241index/lectures/PDF/approx.pdf.

        Parameters:
        g - the graph for which vertex cover approximation is to be found.
        Returns:
        a set of vertices which is a vertex cover for the specified graph.
      • findGreedyCover

        public java.util.Set findGreedyCover​(UndirectedGraph g)
        Finds a greedy approximation for a minimal vertex cover of a specified graph. At each iteration, the algorithm picks the vertex with the highest degree and adds it to the cover, until all edges are covered.

        The algorithm works on undirected graphs, but can also work on directed graphs when their edge-directions are ignored. To ignore edge directions you can use GraphHelper.undirectedGraph(Graph) or AsUndirectedGraph.

        Parameters:
        g - the graph for which vertex cover approximation is to be found.
        Returns:
        a set of vertices which is a vertex cover for the specified graph.