Find if an undirected graph contains an independent set of a given size in Python


Suppose we have a given undirected graph; we have to check whether it contains an independent set of size l. If there is any independent set of size l then return Yes otherwise No.

We have to keep in mind that an independent set in a graph is defined as a set of vertices which are not directly connected to each other.

So, if the input is like L = 4,

then the output will be yes

To solve this, we will follow these steps −

  • Define a function is_valid() . This will take graph, arr

  • for i in range 0 to size of arr, do

    • for j in range i + 1 to size of arr, do

      • if graph[arr[i], arr[j]] is same as 1, then

        • return False

  • return True

  • Define a function solve() . This will take graph, arr, k, index, sol

  • if k is same as 0, then

    • if is_valid(graph, arr) is same as True, then

      • sol[0] := True

      • return

    • otherwise,

      • if index >= k, then

        • return(solve(graph, arr[from index 0 to end] concatenate a list with [index], k-1, index-1, sol) or solve(graph, arr[from index 0 to end], k, index-1, sol))

      • otherwise,

        • return solve(graph, arr[from index 0 to end] concatenate a list with [index], k-1, index-1, sol)

Example

Let us see the following implementation to get better understanding −

 Live Demo

def is_valid(graph, arr):
   for i in range(len(arr)):
      for j in range(i + 1, len(arr)):
         if graph[arr[i]][arr[j]] == 1:
            return False
   return True
def solve(graph, arr, k, index, sol):
   if k == 0:
      if is_valid(graph, arr) == True:
         sol[0] = True
         return
      else:
         if index >= k:
            return (solve(graph, arr[:] + [index], k-1, index-1, sol) or solve(graph, arr[:], k, index-1, sol))
         else:
            return solve(graph, arr[:] + [index], k-1, index-1, sol)

graph = [
   [1, 1, 0, 0, 0],
   [1, 1, 1, 1, 1],
   [0, 1, 1, 0, 0],
   [0, 1, 0, 1, 0],
   [0, 1, 0, 0, 1]]
k = 4
arr = []
sol = [False]
solve(graph, arr[:], k, len(graph)-1, sol)
if sol[0]:
   print("Yes")
else:
   print("No")

Input

[[1, 1, 0, 0, 0],
[1, 1, 1, 1, 1],
[0, 1, 1, 0, 0],
[0, 1, 0, 1, 0],
[0, 1, 0, 0, 1]],
4

Output

Yes

Updated on: 25-Aug-2020

197 Views

Kickstart Your Career

Get certified by completing the course

Get Started
Advertisements