Fixed-parameter decidability: Extending parameterized complexity analysis

We extend the reach of fixed‐parameter analysis by introducing classes of parameterized sets defined based on decidability instead of complexity. Known results in computability theory can be expressed in the language of fixed‐parameter analysis, making use of the landscape of these new classes. On t...

Full description

Saved in:
Bibliographic Details
Published in:Mathematical logic quarterly Vol. 62; no. 6; pp. 596 - 607
Main Authors: Witteveen, Jouke, Torenvliet, Leen
Format: Journal Article
Language:English
Published: Berlin Blackwell Publishing Ltd 01.12.2016
Wiley Subscription Services, Inc
Subjects:
Complexity theory
Parameterization
Real numbers
ISSN:0942-5616, 1521-3870
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We extend the reach of fixed‐parameter analysis by introducing classes of parameterized sets defined based on decidability instead of complexity. Known results in computability theory can be expressed in the language of fixed‐parameter analysis, making use of the landscape of these new classes. On the one hand this unifies results that would not otherwise show their kinship, while on the other it allows for further exchange of insights between complexity theory and computability theory. In the landscape of our fixed‐parameter decidability classes, we recover part of the classification of real numbers according to their computability. From this, using the structural properties of the landscape, we get a new proof of the existence of P‐selective bi‐immune sets. Furthermore, we show that parameter values in parameterized sets in our uniformly fixed‐parameter decidability classes interact with both instance complexity and Kolmogorov complexity. By deriving a parameter based upper bound on instance complexity, we demonstrate how parameters convey a sense of randomness. Motivated by the instance complexity conjecture, we show that the upper bound on the instance complexity is infinitely often also an upper bound on the Kolmogorov complexity.
Bibliography:istex:0882F9F6555DF09A671024912821A390D960714C
ArticleID:MALQ201500077
ark:/67375/WNG-W57K3QJW-M
ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0942-5616
1521-3870
DOI:10.1002/malq.201500077