VOOZH about

URL: https://mathworld.wolfram.com/IndependenceNumber.html

⇱ Independence Number -- from Wolfram MathWorld


πŸ‘ Image

Independence Number


πŸ‘ DOWNLOAD Mathematica Notebook
Download Wolfram Notebook

The (upper) vertex independence number of a graph, also known as the 1-packing number, packing number, or stability number (AcΓ­n et al. 2016) and often called simply "the" independence number, is the cardinality of the largest independent vertex set, i.e., the size of a maximum independent vertex set (which is the same as the size of a largest maximal independent vertex set). The independence number is most commonly denoted πŸ‘ alpha(G)
, but may also be written πŸ‘ beta(G)
(e.g., Burger et al. 1997) or πŸ‘ beta_0(G)
(e.g., BollobΓ‘s 1981).

The independence number of a graph is equal to the largest exponent in the graph's independence polynomial.

The lower independence number πŸ‘ i(G)
may be similarly defined as the size of a smallest maximal independent vertex set in πŸ‘ G
(Burger et al. 1997).

The lower irredundance number πŸ‘ ir(G)
, lower domination number πŸ‘ gamma(G)
, lower independence number πŸ‘ i(G)
, upper independence number πŸ‘ alpha(G)
, upper domination number πŸ‘ Gamma(G)
, and upper irredundance number πŸ‘ IR(G)
satsify the chain of inequalities

(Burger et al. 1997).

The ratio of the independence number of a graph πŸ‘ G
to its vertex count is known as the independence ratio of πŸ‘ G
(BollobΓ‘s 1981).

The independence number of a graph πŸ‘ G
is equal to the clique number of the complement graph,

For a connected regular graph πŸ‘ G
on πŸ‘ n>1
vertices with vertex degree πŸ‘ k
and smallest graph eigenvalue πŸ‘ s
,

(A. E. Brouwer, pers. comm., Dec. 17, 2012).

For πŸ‘ r
the graph radius,

(DeLa Vina and Waller 2002). Lovasz (1979, p. 55) showed that when πŸ‘ rho
is the path covering number,

with equality for only complete graphs (DeLa Vina and Waller 2002).

Willis (2011) gives a number of bounds for the independence number of a graph.

The matching number πŸ‘ nu(G)
of a graph πŸ‘ G
is equal to the independence number πŸ‘ alpha(L(G))
of its line graph πŸ‘ L(G)
.

By definition,

where πŸ‘ tau(G)
is the vertex cover number of πŸ‘ G
and πŸ‘ n=|G|
its vertex count (West 2000).

The independence number of a graph πŸ‘ G
with vertex set πŸ‘ V
and edge set πŸ‘ E
may be defined as the result of the integer program

where πŸ‘ w_i=w(v_i)
is the weight on the πŸ‘ i
th vertex. Relaxing this condition to allow πŸ‘ w_i in [0,1]
gives the fractional independence number πŸ‘ alpha^*(G)
.

Precomputed independence numbers for many named graphs can be obtained in the Wolfram Language using [graph, ].

Known value for some classes of graph are summarized below.

graph πŸ‘ G
πŸ‘ alpha(G)
OEISvalues
alternating group graph πŸ‘ AG_n
A0000001, 1, 4, 20, 120, ...
πŸ‘ n
-AndrΓ‘sfai graph (πŸ‘ n>=3
)
πŸ‘ n
A0000273, 4, 5, 6, 7, 8, 9, 10, 11, 12, ...
πŸ‘ n
-antiprism graph (πŸ‘ n>=3
)
πŸ‘ |_2n/3_|
A0045232, 2, 3, 4, 4, 5, 6, 6, 7, 8, 8, 9, 10, ...
πŸ‘ n
-Apollonian network
πŸ‘ 3^(n-1)
A0002441, 3, 9, 27, 81, 243, 729, 2187, ...
complete bipartite graph πŸ‘ K_(n,n)
πŸ‘ n
A0000271, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, ...
complete graph πŸ‘ K_n
1A0000121, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, ...
complete tripartite graph πŸ‘ K_(n,n,n)
πŸ‘ n
A0000271, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, ...
cycle graph πŸ‘ C_n
(πŸ‘ n>=3
)
πŸ‘ |_n/2_|
A0045261, 2, 2, 3, 3, 4, 4, 5, 5, 6, 6, 7, 7, ...
empty graph πŸ‘ K^__n
πŸ‘ n
A0000271, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, ...
πŸ‘ n
-folded cube graph (πŸ‘ n>=2
)
πŸ‘ 2^(n-2)-1/4(1-(-1)^n)(n-1; (n-1)/2)
A0586221, 1, 4, 5, 16, 22, 64, 93, 256, ...
grid graph πŸ‘ P_n square P_n
πŸ‘ [n^2/2]
A0009821, 2, 5, 8, 13, 18, 25, 32, 41, 50, 61, 72, ...
grid graph πŸ‘ P_n square P_n square P_n
πŸ‘ [n^3/2]
A0364861, 4, 14, 32, 63, 108, 172, 256, 365, 500, ...
πŸ‘ n
-halved cube graph
A0058641, 1, 4, 5, 16, 22, 64, 93, 256, ...
πŸ‘ n
-Hanoi graph
πŸ‘ 3^(n-1)
A0002441, 3, 9, 27, 81, 243, 729, 2187, ...
hypercube graph πŸ‘ Q_n
πŸ‘ 2^(n-1)
A0000791, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, ...
πŸ‘ n
-Keller graph
πŸ‘ {4 for n=1; 5 for n=2; 2^n otherwise
A2589354, 5, 8, 16, 32, 64, 128, 256, 512, ...
πŸ‘ (n,n)
-king graph (πŸ‘ n>=2
)
πŸ‘ |_(n+1)/2_|^2
A0087941, 4, 4, 9, 9, 16, 16, 25, 25
πŸ‘ (n,n)
-knight graph (πŸ‘ n>=2
)
πŸ‘ {4 for n=2; (1+(-1)^(n+1)+2n^2)/4 otherwise
A0309784, 5, 8, 13, 18, 25, 32, 41, 50, 61, 72, ...
Kneser graph πŸ‘ K(n,k)
πŸ‘ (n-1; k-1)
πŸ‘ n
-Mycielski graph
πŸ‘ {1 for n=1,2; 3Β·2^(n-3)-1 otherwise
A2665501, 1, 2, 5, 11, 23, 47, 95, 191, 383, 767, ...
MΓΆbius ladder πŸ‘ M_n
(πŸ‘ n>=3
)
πŸ‘ 2[n/2]-1
A1096133, 3, 5, 5, 7, 7, 9, 9, 11, 11, 13, 13, 15, ...
odd graph πŸ‘ O_n
πŸ‘ {1 for n=1; (2n-2; n-2) otherwise
A0000001, 1, 4, 15, 56, 210, 792, 3003, 11440, ...
πŸ‘ n
-pan graph
πŸ‘ 1+|_n/2_|
A0000002, 3, 3, 4, 4, 5, 5, 6, 6, 7, 7, 8, 8, ...
path graph πŸ‘ P_n
πŸ‘ [n/2]
A0045261, 1, 2, 2, 3, 3, 4, 4, 5, 5, 6, 6, ...
prism graph πŸ‘ Y_n
(πŸ‘ n>=3
)
πŸ‘ 2|_n/2_|
A0529282, 4, 4, 6, 6, 8, 8, 10, 10, 12, 12, ...
πŸ‘ n
-SierpiΕ„ski carpet graph
4, 32, 256, ...
πŸ‘ n
-SierpiΕ„ski gasket graph
1, 3, 6, 15, 42, ...
star graph πŸ‘ S_n
πŸ‘ {1 for n=1; n-1 otherwise
A0283101, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, ...
triangular graph πŸ‘ T_n
(πŸ‘ n>=2
)
πŸ‘ |_n/2_|
A0045261, 1, 2, 2, 3, 3, 4, 4, 5, 5, 6, ...
πŸ‘ n
-web graph (πŸ‘ n>=3
)
πŸ‘ 1/4[6n+(-1)^n-1]/4
A0327664, 6, 7, 9, 10, 12, 13, 15, 16, 18, 19, 21, ...
wheel graph πŸ‘ W_n
πŸ‘ |_(n-1)/2_|
A0045261, 2, 2, 3, 3, 4, 4, 5, 5, ...

See also

Clique Number, Fractional Independence Number, Independence Polynomial, Independence Ratio, Independent Set, Lower Independence Number, Matching Number, Maximum Independent Vertex Set, Minimum Vertex Cover, Shannon Capacity, Vertex Cover

Explore with Wolfram|Alpha

References

AcΓ­n, A.; Duan, R.; Roberson, D. E.; BelΓ©n Sainz, A.; and Winter, A. "a New Property of the LovΓ‘sz Number and Duality Relations Between Graph Parameters." 5 Feb 2016. https://arxiv.org/abs/1505.01265.BollobΓ‘s, B. "The Independence Ratio of Regular Graphs." Proc. Amer. Math. Soc. 83, 433-436, 1981.Burger, A. P.; Cockayne, E. J.; and Mynhardt, C. M. "Domination and Irredundance in the Queens' Graph." Disc. Math. 163, 47-66, 1997.Cockayne, E. J. and Mynhardt, C. M. "The Sequence of Upper and Lower Domination, Independence and Irredundance Numbers of a Graph." Disc. Math. 122, 89-102, 1993).DeLa Vina, E. and Waller, B. "Independence, Radius and Path Coverings in Trees." Congr. Numer. 156, 155-169, 2002.Lovasz, L. Combinatorial Problems and Exercises. Academiai Kiado, 1979.Skiena, S. "Maximum Independent Set" Β§5.6.3 in Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica. Reading, MA: Addison-Wesley, pp. 218-219, 1990.Sloane, N. J. A. Sequences A000012/M0003, A000027/M0472, A000079/M1129, A000244/M2807, A000982/M1348, A004523, A004526, A005864/M1111, A008794, A028310, A030978, A032766, A036486, A052928, A058622, A109613, A258935, and A266550 West, D. B. Introduction to Graph Theory, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 2000.Willis, W. "Bounds for the Independence Number of a Graph." Masters thesis. Richmond, VA: Virginia Commonwealth University, 2011.

Referenced on Wolfram|Alpha

Independence Number

Cite this as:

Weisstein, Eric W. "Independence Number." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/IndependenceNumber.html

Subject classifications