Graph Theory - Independent Sets

Independent sets are represented in sets, in which

there should not be any edges adjacent to each other. There should not be any common vertex between any two edges.

there should not be any vertices adjacent to each other. There should not be any common edge between any two vertices.

Independent Line Set

Let ‘G’ = (V, E) be a graph. A subset L of E is called an independent pne set of ‘G’ if no two edges in L are adjacent. Such a set is called an independent pne set.

Example

Let us consider the following subsets −

L1 = {a,b}
L2 = {a,b} {c,e}
L3 = {a,d} {b,c}

In this example, the subsets L2 and L3 are clearly not the adjacent edges in the given graph. They are independent pne sets. However L1 is not an independent pne set, as for making an independent pne set, there should be at least two edges.

Maximal Independent Line Set

An independent pne set is said to be the maximal independent pne set of a graph ‘G’ if no other edge of ‘G’ can be added to ‘L’.

Example

Let us consider the following subsets −

L1 = {a, b}
L2 = {{b, e}, {c, f}}
L3 = {{a, e}, {b, c}, {d, f}}
L4 = {{a, b}, {c, f}}

L₂ and L₃ are maximal independent pne sets/maximal matching. As for only these two subsets, there is no chance of adding any other edge which is not an adjacent. Hence these two subsets are considered as the maximal independent pne sets.

Maximum Independent Line Set

A maximum independent pne set of ‘G’ with maximum number of edges is called a maximum independent pne set of ‘G’.

Number of edges in a maximum independent pne set of G (β1)
   = Line independent number of G
   = Matching number of G

Example

Let us consider the following subsets −

L1 = {a, b}
L2 = {{b, e}, {c, f}}
L3 = {{a, e}, {b, c}, {d, f}}
L4 = {{a, b}, {c, f}}

L₃ is the maximum independent pne set of G with maximum edges which are not the adjacent edges in graph and is denoted by β1 = 3.

Note − For any graph G with no isolated vertex,

α1 + β1 = number of vertices in a graph = |V|

Example

Line covering number of K_n/C_n/w_n,

Line independent number (Matching number) = β₁ = [n/2] α₁ + β₁ = n.

Independent Vertex Set

Let ‘G’ = (V, E) be a graph. A subset of ‘V’ is called an independent set of ‘G’ if no two vertices in ‘S’ are adjacent.

Example

Consider the following subsets from the above graphs −

S1 = {e}

S2 = {e, f}
S3 = {a, g, c}
S4 = {e, d}

Clearly S₁ is not an independent vertex set, because for getting an independent vertex set, there should be at least two vertices in the from a graph. But here it is not that case. The subsets S₂, S₃, and S₄ are the independent vertex sets because there is no vertex that is adjacent to any one vertex from the subsets.

Maximal Independent Vertex Set

Let ‘G’ be a graph, then an independent vertex set of ‘G’ is said to be maximal if no other vertex of ‘G’ can be added to ‘S’.

Example

Consider the following subsets from the above graphs.

S1 = {e}
S2 = {e, f}
S3 = {a, g, c}
S4 = {e, d}

S₂ and S₃ are maximal independent vertex sets of ‘G’. In S₁ and S₄, we can add other vertices; but in S₂ and S₃, we cannot add any other vertex.

Maximum Independent Vertex Set

A maximal independent vertex set of ‘G’ with maximum number of vertices is called as the maximum independent vertex set.

Example

Consider the following subsets from the above graph −

S1 = {e}
S2 = {e, f}
S3 = {a, g, c}
S4 = {e, d}

Only S₃ is the maximum independent vertex set, as it covers the highest number of vertices. The number of vertices in a maximum independent vertex set of ‘G’ is called the independent vertex number of G (β₂).

Example

For the complete graph K_n,

Vertex covering number = α₂ = n−1

Vertex independent number = β₂ = 1

You have α₂ + β₂ = n

In a complete graph, each vertex is adjacent to its remaining (n − 1) vertices. Therefore, a maximum independent set of K_n contains only one vertex.

Therefore, β₂=1

and α₂=|v| − β₂ = n-1

Note − For any graph ‘G’ = (V, E)

α₂ + β₂ = |v|

If ‘S’ is an independent vertex set of ‘G’, then (V – S) is a vertex cover of G.