Reconfiguration on nowhere dense graph classes

Abstract

Let $\mathcal{Q}$ be a vertex subset problem on graphs. In a reconfiguration variant of $\mathcal{Q}$ we are given a graph $G$ and two feasible solutions $S_s, S_t\subseteq V(G)$ of $\mathcal{Q}$ with $|S_s|=|S_t|=k$. The problem is to determine whether there exists a sequence $S_1,\ldots,S_n$ of feasible solutions, where $S_1=S_s$, $S_n=S_t$, $|S_i|\leq k\pm 1$, and each $S_{i+1}$ results from $S_i$, $1\leq i 0$ we even obtain a kernel of almost linear size $\mathcal{O}(k^{1+ε})$. We then prove that if a class $\mathcal{C}$ is somewhere dense and closed under taking subgraphs, then for some value of $r\geq 1$ the reconfiguration variants of the above problems on $\mathcal{C}$ are $\mathsf{W}[1]$-hard (and in particular we cannot expect the existence of kernelization algorithms). Hence our results show that the limit of tractability for the reconfiguration variants of the distance-$r$ independent set problem and distance-$r$ dominating set problem on subgraph closed graph classes lies exactly on the boundary between nowhere denseness and somewhere denseness.