MoL-2015-01: Structural Parameterized Complexity

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

[thumbnail of Full Text]
Text (Full Text)

Download (502kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (918B)


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

Actions (login required)

View Item View Item