Source author record

Astrid Pieterse

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Computational Complexity Data Structures and Algorithms

Catalog footprint

Research overview

3works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Approximate Turing Kernelization for Problems Parameterized by Treewidth

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 $(α\cdot 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 $\ell$ has a $(1+\varepsilon)$ -approximate Turing kernel with $O(\frac{\ell^2}{\varepsilon})$ vertices, answering an open question posed by Lokshtanov et al. [STOC 2017]. Furthermore, we give $(1+\varepsilon)$ -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+\varepsilon)$ -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.

preprint2020arXiv

Sparsification Lower Bounds for List $H$ -Coloring

We investigate the List $H$ -Coloring problem, the generalization of graph coloring that asks whether an input graph $G$ admits a homomorphism to the undirected graph $H$ (possibly with loops), such that each vertex $v \in V(G)$ is mapped to a vertex on its list $L(v) \subseteq V(H)$ . An important result by Feder, Hell, and Huang [JGT 2003] states that List $H$ -Coloring is polynomial-time solvable if $H$ is a so-called bi-arc graph, and NP-complete otherwise. We investigate the NP-complete cases of the problem from the perspective of polynomial-time sparsification: can an $n$ -vertex instance be efficiently reduced to an equivalent instance of bitsize $O(n^{2-\varepsilon})$ for some $\varepsilon > 0$ ? We prove that if $H$ is not a bi-arc graph, then List $H$ -Coloring does not admit such a sparsification algorithm unless $NP \subseteq coNP/poly$ . Our proofs combine techniques from kernelization lower bounds with a study of the structure of graphs $H$ which are not bi-arc graphs.

preprint2015arXiv

Sparsification Upper and Lower Bounds for Graph Problems and Not-All-Equal SAT

We present several sparsification lower and upper bounds for classic problems in graph theory and logic. For the problems 4-Coloring, (Directed) Hamiltonian Cycle, and (Connected) Dominating Set, we prove that there is no polynomial-time algorithm that reduces any n-vertex input to an equivalent instance, of an arbitrary problem, with bitsize O(n^{2-e}) for e > 0, unless NP is in coNP/poly and the polynomial-time hierarchy collapses. These results imply that existing linear-vertex kernels for k-Nonblocker and k-Max Leaf Spanning Tree (the parametric duals of (Connected) Dominating Set) cannot be improved to have O(k^{2-e}) edges, unless NP is in coNP/poly. We also present a positive result and exhibit a non-trivial sparsification algorithm for d-Not-All-Equal SAT. We give an algorithm that reduces an n-variable input with clauses of size at most d to an equivalent input with O(n^{d-1}) clauses, for any fixed d. Our algorithm is based on a linear-algebraic proof of Lovasz that bounds the number of hyperedges in critically 3-chromatic d-uniform n-vertex hypergraphs by n choose d-1. We show that our kernel is tight under the assumption that NP is not a subset of coNP/poly.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Astrid Pieterse

Research overview

Is this your work?

3 publications

Approximate Turing Kernelization for Problems Parameterized by Treewidth

Sparsification Lower Bounds for List $H$ -Coloring

Sparsification Upper and Lower Bounds for Graph Problems and Not-All-Equal SAT

See the researcher in context

Building this map preview

Astrid Pieterse

Research overview

Is this your work?

3 publications

Approximate Turing Kernelization for Problems Parameterized by Treewidth

Sparsification Lower Bounds for List HHH-Coloring

Sparsification Upper and Lower Bounds for Graph Problems and Not-All-Equal SAT

See the researcher in context

Building this map preview

Sparsification Lower Bounds for List $H$ -Coloring