Stable Approximation Algorithms for Dominating Set and Independent Set

TL;DR

This paper investigates the stability-approximation trade-offs for dynamic algorithms solving Dominating Set and Independent Set problems in vertex-arrival models, providing both impossibility results and new algorithms with small stability parameters.

Contribution

It introduces new stability-approximation trade-offs, proves limitations for near-optimal solutions, and develops algorithms with small stability parameters for bounded-degree and average-degree graphs.

Findings

High stability algorithms are impossible for near-optimal approximations.

New algorithms with small stability parameters for bounded-degree graphs.

Extended algorithms to fully dynamic models with vertex deletions.

Abstract

We study the Dominating set problem and Independent Set Problem for dynamic graphs in the vertex-arrival model. We say that a dynamic algorithm for one of these problems is $k$-stable when it makes at most $k$ changes to its output independent set or dominating set upon the arrival of each vertex. We study trade-offs between the stability parameter $k$ of the algorithm and the approximation ratio it achieves. We obtain the following results. 1. We show that there is a constant $\varepsilon^*>0$ such that any dynamic $(1+\varepsilon^*)$-approximation algorithm the for Dominating set problem has stability parameter $\Omega(n)$, even for bipartite graphs of maximum degree 4. 2. We present algorithms with very small stability parameters for the Dominating set problem in the setting where the arrival degree of each vertex is upper bounded by $d$. In particular, we give a $1$-stable $(d+1)^2$-approximation algorithm, a $3$-stable $(9d/2)$-approximation algorithm, and an $O(d)$-stable $O(1)$-approximation algorithm. 3. We show that there is a constant $\varepsilon^*>0$ such that any dynamic $(1+\varepsilon^*)$-approximation algorithm for the Independent Set Problem has stability parameter $\Omega(n)$, even for bipartite graphs of maximum degree $3$. 4. Finally, we present a $2$-stable $O(d)$-approximation algorithm for the Independent Set Problem, in the setting where the average degree of the graph is upper bounded by some constant $d$ at all times. We extend this latter algorithm to the fully dynamic model where vertices can also be deleted, achieving a $6$-stable $O(d)$-approximation algorithm.