Approximate Turing Kernelization for Problems Parameterized by Treewidth

04/27/2020
by   Eva-Maria C. Hols, et al.
0

We extend the notion of lossy kernelization, introduced by Lokshtanov et al. [STOC 2017], to approximate Turing kernelization. An α-approximate Turing kernel for a parameterized optimization problem is a polynomial-time algorithm that, when given access to an oracle that outputs c-approximate solutions in O(1) time, obtains an (α· c)-approximate solution to the considered problem, using calls to the oracle of size at most f(k) for some function f that only depends on the parameter. Using this definition, we show that Independent Set parameterized by treewidth ℓ has a (1+ε)-approximate Turing kernel with O(ℓ^2/ε) vertices, answering an open question posed by Lokshtanov et al. [STOC 2017]. Furthermore, we give (1+ε)-approximate Turing kernels for the following graph problems parameterized by treewidth: Vertex Cover, Edge Clique Cover, Edge-Disjoint Triangle Packing and Connected Vertex Cover. We generalize the result for Independent Set and Vertex Cover, by showing that all graph problems that we will call "friendly" admit (1+ε)-approximate Turing kernels of polynomial size when parameterized by treewidth. We use this to obtain approximate Turing kernels for Vertex-Disjoint H-packing for connected graphs H, Clique Cover, Feedback Vertex Set and Edge Dominating Set.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/05/2023

Approximate Turing kernelization and lower bounds for domination problems

An α-approximate polynomial Turing kernelization is a polynomial-time al...
research
09/27/2018

Reoptimization of Parameterized Problems

Parameterized complexity allows us to analyze the time complexity of pro...
research
10/07/2021

Polynomial Turing Kernels for Clique with an Optimal Number of Queries

A polynomial Turing kernel for some parameterized problem P is a polynom...
research
08/11/2023

Lossy Kernelization for (Implicit) Hitting Set Problems

We re-visit the complexity of kernelization for the d-Hitting Set proble...
research
06/24/2018

On r-Simple k-Path and Related Problems Parameterized by k/r

Abasi et al. (2014) and Gabizon et al. (2015) studied the following prob...
research
08/31/2023

A Discharging Method: Improved Kernels for Edge Triangle Packing and Covering

Edge Triangle Packing and Edge Triangle Covering are dual problems exten...
research
07/03/2022

On Polynomial Kernels for Traveling Salesperson Problem and its Generalizations

For many problems, the important instances from practice possess certain...

Please sign up or login with your details

Forgot password? Click here to reset