A Linear Kernel for Independent Set Reconfiguration in Planar Graphs

TL;DR

This paper presents a linear kernel for the independent set reconfiguration problem in planar and $K_{3,r}$-minor-free graphs, significantly improving the efficiency of solving the problem when the independent set size is fixed.

Contribution

It establishes a linear kernel for the problem in $K_{3,r}$-minor-free graphs, including planar graphs, answering an open question and improving previous quadratic bounds.

Findings

Kernel size is linear in $k$ for $K_{3,r}$-minor-free graphs.

Planar graphs have a kernel of size at most 42k.

The results improve the fixed-parameter tractability bounds for the problem.

Abstract

Fix a positive integer $r$, and a graph $G$ that is $K_{3,r}$-minor-free. Let $I_s$ and $I_t$ be two independent sets in $G$, each of size $k$. We begin with a ``token'' on each vertex of $I_s$ and seek to move all tokens to $I_t$, by repeated ``token jumping'', removing a single token from one vertex and placing it on another vertex. We require that each intermediate arrangement of tokens again specifies an independent set of size $k$. Given $G$, $I_s$, and $I_t$, we ask whether there exists a sequence of token jumps that transforms $I_s$ into $I_t$. When $k$ is part of the input, this problem is known to be PSPACE-complete. However, it was shown by Ito, Kami\'nski, and Ono (2014) to be fixed-parameter tractable. That is, when $k$ is fixed, the problem can be solved in time polynomial in the order of $G$. Here we strengthen the upper bound on the running time in terms of $k$ by showing that the problem has a kernel of size linear in $k$. More precisely, we transform an arbitrary input problem on a $K_{3,r}$-minor-free graph into an equivalent problem on a ($K_{3,r}$-minor-free) graph with order $O(k)$. This answers positively a question of Bousquet, Mouawad, Nishimura, and Siebertz (2024) and improves the recent quadratic kernel of Cranston, M\"{u}hlenthaler, and Peyrille (2024+). For planar graphs, we further strengthen this upper bound to get a kernel of size at most $42k$.