Independent Sets in Graphs

• Independent sets in graphs are vertex subsets with no adjacent pairs, where the independence number marks the largest such set.
• They are central to combinatorics and extremal graph theory, with concepts like ker, diadem, and independence polynomials providing structural insights.
• Algorithmic research targets NP-hard maximum independent set problems using dynamic programming, heuristic search, and spectral methods.

An independent set in a finite simple graph $G=(V,E)$ is a subset $I\subseteq V$ such that no two vertices in $I$ are adjacent. Independent sets play a central role in extremal graph theory, combinatorics, algebraic graph theory, statistical mechanics, and computational complexity. Their enumeration, structural theory, optimization, and algorithmic properties have motivated a rich array of foundational and modern research directions.

1. Definitions and Key Parameters

Given a graph $G=(V,E)$, an independent set is any $I\subseteq V$ with $\forall u,v\in I$, $\{u,v\}\notin E$. The independence number $\alpha(G)$ is the maximum size of an independent set. The set of all independent sets is denoted $\mathcal I(G)$, and their total number is $i(G) = |\mathcal I(G)|$. For fixed $I\subseteq V$0, denote $I\subseteq V$1.

For $I\subseteq V$2, define the neighborhood $I\subseteq V$3, and the difference $I\subseteq V$4. The critical difference $I\subseteq V$5. A set is critical if $I\subseteq V$6. The ker and diadem of $I\subseteq V$7 are

$I\subseteq V$8

The ker is always an independent set and satisfies $I\subseteq V$9, where $I$0 is the intersection of all maximum independent sets. An independent set $I$1 is inclusion-minimal with $I$2 if for all proper subsets $I$3, $I$4.

2. Structural Results and Extremal Bounds

The enumeration of independent sets is constrained by various global and local properties of the graph:

• In $I$5-vertex graphs of minimum degree at least $I$6, the complete bipartite graph $I$7 uniquely maximizes $I$8 for all $I$9, and uniquely maximizes the distribution and expectation of the size of a uniformly random independent set ($G=(V,E)$0) among all such graphs (Law et al., 2012).
• For regular graphs, Sapozhenko's upper bound is

$G=(V,E)$1

and the sharp bound due to Kahn–Zhao asserts

$G=(V,E)$2

with equality for a disjoint union of $G=(V,E)$3 components (Samotij, 2014).

For certain structured graph classes, precise enumeration is tractable, e.g.:

Graph Family	Algorithmic Complexity	Reference
Cocomparability Graphs	$G=(V,E)$4 via poset decomposition	(Dyer et al., 2018)
Strongly Orderable	$G=(V,E)$5 via strong ordering	(Heinrich et al., 2021)
Distance-Hereditary	Poly-time via DP on cograph trees	(Chang et al., 2012)
Grid Graphs	$G=(V,E)$6, state-matrix recursion	(Oh et al., 2016)

3. Algebraic and Geometric Perspectives

The monomial ideal of independent sets $G=(V,E)$7 in the polynomial ring $G=(V,E)$8 is

$G=(V,E)$9

The minimal prime decomposition reflects the covering structure of $I\subseteq V$0: $I\subseteq V$1 Cohen–Macaulayness holds iff $I\subseteq V$2. The Betti numbers are determined by the coefficients $I\subseteq V$3 of the independence polynomial $I\subseteq V$4 as

$I\subseteq V$5

(Olteanu, 2013)

4. Enumerative and Probabilistic Theory

Enumerating independent sets is closely linked to the independence polynomial $I\subseteq V$6. Advanced combinatorial and analytic methods yield asymptotic expansions for various graph families:

• For regular bipartite expanders,

$I\subseteq V$7

via polymer/cluster-expansion methods (Collares et al., 28 Mar 2025).

• For forbidden induced subgraphs $I\subseteq V$8, sharp upper bounds on $I\subseteq V$9 are given by

$\forall u,v\in I$0

with further improvements in $\forall u,v\in I$1-bounded families to $\forall u,v\in I$2 (Bucić et al., 2024).

Probabilistic analysis addresses properties of the independent set sequence $\forall u,v\in I$3. For random trees and sparse random graphs, partial unimodality holds with high probability (Heilman, 2020).

5. Optimization and Algorithmics

The Maximum Independent Set (MIS) problem aims to compute $\forall u,v\in I$4. This problem is NP-hard in general, with various algorithmic frameworks developed for specific classes:

• For cographs, distance-hereditary graphs, and cocomparability graphs, polynomial-time or linear-time dynamic programming or recurrence-based algorithms exist (Dyer et al., 2018, Chang et al., 2012).
• In subclasses defined by forbidden induced subgraphs, e.g., $\forall u,v\in I$5-free graphs, the structure theorem enables reduction to polynomially many complete bipartite subgraphs, yielding a poly-time algorithm (Mosca, 2020).
• Exact enumeration of all independent sets of bounded size $\forall u,v\in I$6 is FPT in $\forall u,v\in I$7 for cocomparability and strongly orderable graphs (Dyer et al., 2018, Heinrich et al., 2021).

For large instances, heuristic evolutionary algorithms leveraging graph partitioning and local search (ARW, forced-insertion) scale to million-node graphs, outperforming classical local search (ARW) in many real-world families (Lamm et al., 2015).

6. Geometry and Spectral Theory

In algebraic and geometric extremal graph theory, the independence number of polarity graphs over projective planes, e.g., the Erdős–Rényi graph $\forall u,v\in I$8, is governed by the Hoffman ratio bound: $\forall u,v\in I$9 with matching lower bounds $\{u,v\}\notin E$0 for $\{u,v\}\notin E$1 a prime power (Tait et al., 2016). Extensions to orthogonal, unitary, and exotic polarities all support the conjecture $\{u,v\}\notin E$2.

7. Independent-Set Graphs and Reconfiguration

For $\{u,v\}\notin E$3, the $\{u,v\}\notin E$4-independent graph $\{u,v\}\notin E$5 is defined with vertices the independent sets of size at most $\{u,v\}\notin E$6, edges encoding adjacency by token addition/removal. For all $\{u,v\}\notin E$7, $\{u,v\}\notin E$8 is connected and bipartite, with maximum degree $\{u,v\}\notin E$9. For $\alpha(G)$0, $\alpha(G)$1 equals the $\alpha(G)$2nd Fibonacci number (Fatehi et al., 2015).

Reconfiguration problems, such as the Token Addition–Removal (TAR) model, are NP-complete in general but admit efficient algorithms in cographs and related classes.

---

References:

• (Bhattacharya et al., 2017, Samotij, 2014, Law et al., 2012, Collares et al., 28 Mar 2025, Olteanu, 2013, Chang et al., 2012, Fatehi et al., 2015, Dyer et al., 2018, Heinrich et al., 2021, Lamm et al., 2015, Tait et al., 2016, Oh et al., 2016, Bucić et al., 2024, Mosca, 2020, Heilman, 2020).