MoL-2015-01: Structural Parameterized Complexity

MoL-2015-01: Witteveen, Jouke E. (2015) Structural Parameterized Complexity. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
MoL-2015-01.text.pdf

Download (502kB) | Preview
[thumbnail of Abstract] Text (Abstract)
MoL-2015-01.abstract.txt

Download (918B)

Abstract

We revisit fixed-parameter tractability, fixed-parameter reducibility and kernelizability. The standard formulations of their definitions are enhanced for greater correctness from a structural complexity point of view. Doing so makes clear the distinction between fixed-parameter reducibility and kernelizability. Additionally, these time based definitions are augmented with space based counterparts. We then proceed to introduce an informativeness property for parameterized problems and define a measure for the computational complexity of individual instances of parameterized problems. By its construction, this measure embodies the idea that parameters capture complexity. This measure is lower bounded by the resource bounded Kolmogorov complexity, where the resource bound depends on the computational complexity of the parameterized problem.

Item Type: Report
Report Nr: MoL-2015-01
Series Name: Master of Logic Thesis (MoL) Series
Year: 2015
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38
URI: https://eprints.illc.uva.nl/id/eprint/942

Actions (login required)

View Item View Item