Abstract:Complexity classes such as $\#\mathbf{P}$, $\oplus\mathbf{P}$, $\mathbf{GapP}$, $\mathbf{OptP}$, $\mathbf{NPMV}$, or the class of fuzzy languages realised by polynomial-time fuzzy nondeterministic Turing machines, can all be described in terms of a class $\mathbf{NP}[S]$ for a suitable semiring $S$, defined via weighted Turing machines over $S$ similarly as $\mathbf{NP}$ is defined via the classical nondeterministic Turing machines. Other complexity classes of decision problems can be lifted to the quantitative world using the same recipe as well, and the resulting classes relate to the original ones in the same way as weighted automata or logics relate to their unweighted counterparts. The article surveys these too-little-known connexions between weighted automata theory and computational complexity theory implicit in the existing literature, suggests a systematic approach to the study of weighted complexity classes, and presents several new observations strengthening the relation between both fields. In particular, it is proved that a natural extension of the Boolean satisfiability problem to weighted propositional logic is complete for the class $\mathbf{NP}[S]$ when $S$ is a finitely generated semiring. Moreover, a class of semiring-valued functions $\mathbf{FP}[S]$ is introduced for each semiring $S$ as a counterpart to the class $\mathbf{P}$, and the relations between $\mathbf{FP}[S]$ and $\mathbf{NP}[S]$ are considered.

Bounded Nondeterminism and Alternation in Parameterized Complexity Theory

Machine-based Methods in Parameterized Complexity Theory

State Complexity Characterizations of Parameterized Degree-Bounded Graph Connectivity, Sub-Linear Space Computation, and the Linear Space Hypothesis

The Parameterized Space Complexity of Model-Checking Bounded Variable First-Order Logic

A Parameterized Halting Problem, the Linear Time Hierarchy, and the MRDP Theorem.

Characterising Probabilistic Alternating Simulation for Concurrent Games

On Miniaturized Problems in Parameterized Complexity Theory

A Logic for PTIME and a Parameterized Halting Problem

Parameterized Problems Complete for Nondeterministic FPT time and Logarithmic Space

Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch’s Theorem

Machine Characterizations Of The Classes Of The W-Hierarchy

Parameterized Parallel Computing and First-Order Logic.

From Almost Optimal Algorithms to Logics for Complexity Classes Via Listings and a Halting Problem

Fuzzy Alternating Büchi Automata over Distributive Lattices

Parameterized Valiant's Classes

On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT.

Supportive Oracles for Parameterized Polynomial-Time Sub-Linear-Space Computations in Relation to L, NL, and P

Some variants of SAT and their properties

On Slicewise Monotone Parameterized Problems And Optimal Proof Systems For Taut

Weighted Automata and Logics Meet Computational Complexity

Alternating Nominal Automata with Name Allocation