MoL-2015-01: Witteveen, Jouke E. (2015) Structural Parameterized Complexity. [Report]
Preview |
Text (Full Text)
MoL-2015-01.text.pdf Download (502kB) | Preview |
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 |