Courcelle's Theorem in Truly Linear FPT

2026-07-13

AI Summary

This work resolves three open problems posed by Bumpus et al. concerning treewidth-parameterized decision problems. We introduce a unified framework that yields truly linear fixed-parameter tractable (TLFPT) algorithms, deciding in time $O(n + m) + f(k, \varphi)$ whether an $n$-vertex, $m$-edge graph satisfies a given CMSO₂ formula $\varphi$, where $k$ bounds the treewidth. Our main contributions include the first linear-time algorithm realizing Courcelle’s theorem within the TLFPT paradigm, a linear-time approximation algorithm for treewidth with approximation ratio $2^{O(k)}$, and a TLFPT algorithm for exact treewidth computation. By integrating CMSO₂ logic, tree decompositions, and parameterized algorithmic techniques, our approach significantly advances the efficiency of solving treewidth-related problems.

Abstract

Recently, Bumpus, Downey, Eagling-Vose, Enright, Fellows, Kutner, Larios-Jones, Martin, Rosamond, and Yates defined Truly Linear FPT (TLFPT) to be the class of parameterized problems with algorithms running in time $O(n) + f(k)$, where $n$ is the input size and $k$ the parameter [arXiv:2606.02492]. They gave several algorithmic techniques for designing TLFPT algorithms, but left parameterization by treewidth open. In this paper, we give a general method for designing TLFPT algorithms parameterized by treewidth, solving three open problems posed by Bumpus et al. In particular, we give a TLFPT algorithm for Courcelle's theorem: We show that given an $n$-vertex $m$-edge graph $G$, an integer $k$, and a $\mathsf{CMSO}_2$-formula $\varphi$, we can in time $O(n+m) + f(k, \varphi)$ either conclude that the treewidth of $G$ is more than $k$, or check whether $G$ satisfies $\varphi$. As a part of our algorithm, we give an approximation algorithm for treewidth that runs in time $O(n+m)$ and returns a tree decomposition whose width is at most $2^{O(k)}$ times the optimum. Our result also implies a TLFPT algorithm for computing the value of treewidth exactly.

Problem

• Truly Linear FPT
• treewidth
• Courcelle's Theorem
• parameterized complexity
• CMSO_2

Innovation

• Truly Linear FPT
• Courcelle's Theorem
• treewidth
• CMSO₂ logic
• tree decomposition