Abstract:The maximum independent set problem is one of the most important problems in theoretical analysis on time and space complexities of exact algorithms. Theoretical improvement on upper bounds on time complexity to solve this problem in low-degree graphs can lead to an improvement on that to the problem in general graphs. In this paper, we derive an upper bound \(O^*(1.1376^n)\) on the time complexity of a polynomial-space algorithm that solves the maximum independent set problem in an n-vertex graph with degree bounded by 4, improving all previous upper bounds on the time complexity of exact algorithms to this problem. Our algorithm is a branch-and-reduce algorithm and analyzed by using the measure-and-conquer method. To make an amortized analysis of the running time bound, we use an idea of “shift” to save some decrease of the measure from good branches to bad branches. Our algorithm first deals with small vertex cuts and vertices of degree \({\ge }5\), which may be created in our algorithm even if the input graph has maximum degree 4, then eliminates cycles of length 3 and 4 containing degree-4 vertices, and finally branches on degree-4 vertices. We invoke an exact algorithm for this problem in graphs with maximum degree 3 directly when the graph has no vertices of degree \({\ge }4\). Branching on degree-4 vertices on special local structures will be the bottleneck case, and we carefully design rules of choosing degree-4 vertices to branch on so that the resulting instances after branching decrease the measure effectively in the next step.

A Refined Exact Algorithm for Edge Dominating Set

Exact and Parameterized Algorithms for Edge Dominating Set in 3-Degree Graphs

Exact Algorithms for Annotated Edge Dominating Set in Cubic Graphs

Exact Algorithms for Annotated Edge Dominating Set in Graphs with Degree Bounded by 3

Exact Algorithms for Dominating Induced Matching Based on Graph Partition

Parameterized Edge Dominating Set In Cubic Graphs

Parameterized Edge Dominating Set in Graphs with Degree Bounded by 3

Perfect Edge Domination And Efficient Edge Domination In Graphs

An $\tilde{O}(\log^2 n)$-approximation algorithm for $2$-edge-connected dominating set

New Parameterized Algorithms for Edge Dominating Set

Confining Sets and Avoiding Bottleneck Cases: A Simple Maximum Independent Set Algorithm in Degree-3 Graphs

A Simple Algorithm for Near-Vizing Edge-Coloring in Near-Linear Time

A Refined Algorithm for Maximum Independent Set in Degree-4 Graphs

New Results on Polynomial Inapproximability and Fixed Parameter Approximability of Edge Dominating Set

Algorithmic Aspects of Vertex-edge Domination in Some Graphs

An Exact Algorithm for Maximum Independent Set in Degree-5 Graphs

Reducing Dominating Sets in Graphs

Fast and Simple $(1+ε)Δ$-Edge-Coloring of Dense Graphs

Exact Algorithms for Maximum Independent Set

Analysis on Theoretical Bounds for Approximating Dominating Set Problems