Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Why is greedy algorithm not finding maximum independent set of a bipartite graph?

I was trying to solve the maximum independent set problem on bipartite graphs using the greedy method. So came across this post which does exactly what i was trying to do. But am concentrating only on the bipartite graphs. The counter case in the answer is not a bipartite graph. Are there any bipartite graphs that this one wont work?

Greedy(G):
 S = {}
 While G is not empty:
 Let v be a node with minimum degree in G
 S = union(S, {v})
 remove v and its neighbors from G
return S

Why is greedy algorithm not finding maximum independent set of a graph?

like image 910
vinothkr Avatar asked Apr 08 '13 07:04

vinothkr


People also ask

Why is greedy search not optimal?

Sometimes greedy algorithms fail to find the globally optimal solution because they do not consider all the data. The choice made by a greedy algorithm may depend on choices it has made so far, but it is not aware of future choices it could make.

How do you find the maximum independent set of a graph?

The Maximum Independent Set (MIS) problem in graph theory is the task of finding the largest independent set in a graph, where an independent set is a set of vertices such that no two vertices are adjacent. There is currently no known efficient algorithm to find maximum independent sets.

What is the meaning of maximum independent set?

Independent set is a set of vertices such that any two vertices in the set do not have a direct edge between them. Maximal independent set is an independent set having highest number of vertices. Note: There can be more than one independent and maximal independent sets for a given graph.

Are greedy algorithms deterministic?

(Deterministic) greedy algorithms often provide an effective and fast approach when dealing with combinatorial optimization prob- lems. On the other hand, it is well-known that they have a bad approximation behavior on problems such as the minimum vertex cover problem for some instances.


1 Answers

The same approach as in the original question answer applies here as well, with a slightly modified graph:

(2,2,4)theta 7-vertex bipartite graph

Start by removing #5, What's left is a paw graph (nodes (1,3,4,7)). Remove its leaves in any order. You discover a four-node independent set: (1,3,5,7)

Start by removing #6. What's left is a 4-cycle. Removing any node forces either of these sets:

  1. (1,3,6)
  2. (2,4,6)

both are three-element maximal (as in, cannot be expanded) independent sets, and thus not maximum (as in, the largest possible).

like image 182
John Dvorak Avatar answered Oct 10 '22 14:10

John Dvorak