Abstract:Courcelle's theorem and its adaptations to cliquewidth have shaped the field of exact parameterized algorithms and are widely considered the archetype of algorithmic meta-theorems. In the past decade, there has been growing interest in developing parameterized approximation algorithms for problems which are not captured by Courcelle's theorem and, in particular, are considered not fixed-parameter tractable under the associated widths. We develop a generalization of Courcelle's theorem that yields efficient approximation schemes for any problem that can be captured by an expanded logic we call Blocked CMSO, capable of making logical statements about the sizes of set variables via so-called weight comparisons. The logic controls weight comparisons via the quantifier-alternation depth of the involved variables, allowing full comparisons for zero-alternation variables and limited comparisons for one-alternation variables. We show that the developed framework threads the very needle of tractability: on one hand it can describe a broad range of approximable problems, while on the other hand we show that the restrictions of our logic cannot be relaxed under well-established complexity assumptions. The running time of our approximation scheme is polynomial in $1/\varepsilon$, allowing us to fully interpolate between faster approximate algorithms and slower exact algorithms. This provides a unified framework to explain the tractability landscape of graph problems parameterized by treewidth and cliquewidth, as well as classical non-graph problems such as Subset Sum and Knapsack.

An Algebraic Approach for Approximity

Topology Driven Approximation to Rational Surface-Surface Intersection Via Interval Algebraic Topology Analysis.

Rational Quadratic Approximation to Real Algebraic Curves

Approximate algebraic structure

An Algebra of Quantum Processes

Approximating Bisimilarity for Markov Processes

Algebraic Approach to Approximation

An introduction to approximate computing

Approximation Algorithms : A Measure Perspective

The Approximation Operators Within Formal Contexts

A Bisimilarity Metric for Processes Based on Game Semantics

Approximate Bisimulations and State Reduction of Fuzzy Automata under Fuzzy Similarity Measures

Approximate Disjoint Bi-Decomposition and Its Application to Approximate Logic Synthesis

A quasi-local algorithm for checking bisimilarity

Approximate Evaluation of Quantitative Second Order Queries

A Local Algorithm for Checking Probabilistic Bisimilarity

Approximate Computation for Big Data Analytics

On the Expressiveness of Interaction

Approximation By Algebraic Numbers

Approximation Theory and Elementary Submodels

Approximation Algorithms for Process Systems Engineering