Arrow Research search
Back to CSL

CSL 2007

Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping

Conference Paper Finite Model Theory Logic in Computer Science · Theoretical Computer Science

Abstract

Abstract Recently a mapping, the so-called miniaturization mapping, has been introduced and it has been shown that faithfully translates subexponential parameterized complexity into (unbounded) parameterized complexity [2]. We determine the preimages under of various (classes of) problems and show that they coincide with natural reparameterizations which take into account the amount of nondeterminism needed to solve them.

Authors

Keywords

No keywords are indexed for this paper.

Context

Venue
Annual Conference on Computer Science Logic
Archive span
1988-2026
Indexed papers
1413
Paper id
725116684990243802
v2026.09.13