Fixed structure complexity

Yonatan Aumann, Yair Dombb

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

Abstract

We consider a non-standard parametrization, where, for problems consisting of a combinatorial structure and a number, we parameterize by the combinatorial structure, rather than by the number. For example, in the Short- Nondeterministic-Halt problem, which is to determine if a nondeterministic machine M accepts the empty string in t steps, we parameterize by |M|, rather than t. We call such parametrization fixed structure parametrization. Fixed structure parametrization not only provides a new set of parameterized problems, but also results in problems that do not seem to fall within the classical parameterized complexity classes. In this paper we take the first steps in understanding these problems. We define fixed structure analogues of various classical problems, including graph problems, and provide complexity, hardness and equivalence results.

Original languageEnglish
Title of host publicationParameterized and Exact Computation - Third International Workshop, IWPEC 2008, Proceedings
Pages30-42
Number of pages13
DOIs
StatePublished - 2008
Event3rd International Workshop on Parameterized and Exact Computation, IWPEC 2008 - Victoria, BC, Canada
Duration: 14 May 200816 May 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5018 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd International Workshop on Parameterized and Exact Computation, IWPEC 2008
Country/TerritoryCanada
CityVictoria, BC
Period14/05/0816/05/08

Fingerprint

Dive into the research topics of 'Fixed structure complexity'. Together they form a unique fingerprint.

Cite this