English
Related papers

Related papers: Kernelization for Orthogonality Dimension

200 papers

We prove a quantum query lower bound \Omega(n^{(d+1)/(d+2)}) for the problem of deciding whether an input string of size n contains a k-tuple which belongs to a fixed orthogonal array on k factors of strength d<=k-1 and index 1, provided…

Quantum Physics · Physics 2013-04-04 Robert Spalek

An orthogonal representation of a graph is an assignment of nonzero real vectors to its vertices such that distinct non-adjacent vertices are assigned to orthogonal vectors. We prove general lower bounds on the dimension of orthogonal…

Combinatorics · Mathematics 2018-11-29 Ishay Haviv

We study the parameterized complexity of the connected version of the vertex cover problem, where the solution set has to induce a connected subgraph. Although this problem does not admit a polynomial kernel for general graphs (unless NP is…

Data Structures and Algorithms · Computer Science 2011-10-11 Lukasz Kowalik , Marcin Pilipczuk , Karol Suchan

For a graph $G$, a subset $S\subseteq V(G)$ is called a resolving set of $G$ if, for any two vertices $u,v\in V(G)$, there exists a vertex $w\in S$ such that $d(w,u)\neq d(w,v)$. The Metric Dimension problem takes as input a graph $G$ on…

Data Structures and Algorithms · Computer Science 2025-03-18 Florent Foucaud , Esther Galby , Liana Khazaliya , Shaohua Li , Fionn Mc Inerney , Roohani Sharma , Prafullkumar Tale

Kernelization is an important tool in parameterized algorithmics. Given an input instance accompanied by a parameter, the goal is to compute in polynomial time an equivalent instance of the same problem such that the size of the reduced…

Computational Complexity · Computer Science 2018-10-23 Till Fluschnik , George B. Mertzios , André Nichterlein

A 3-path vertex cover in a graph is a vertex subset $C$ such that every path of three vertices contains at least one vertex from $C$. The parameterized 3-path vertex cover problem asks whether a graph has a 3-path vertex cover of size at…

Data Structures and Algorithms · Computer Science 2017-08-08 Mingyu Xiao , Shaowei Kou

The $d$-Hitting Set problem is a fundamental problem in parameterized complexity, which asks whether a given hypergraph contains a vertex subset $S$ of size at most $k$ that intersects every hyperedge (i.e., $S \cap e \neq \emptyset$ for…

Data Structures and Algorithms · Computer Science 2025-07-01 Yuxi Liu , Mingyu Xiao

We study the existence of polynomial kernels, for parameterized problems without a polynomial kernel on general graphs, when restricted to graphs of bounded twin-width. Our main result is that a polynomial kernel for $k$-Dominating Set on…

Data Structures and Algorithms · Computer Science 2021-09-15 Édouard Bonnet , Eun Jung Kim , Amadeus Reinald , Stéphan Thomassé , Rémi Watrigant

Meta-kernelization theorems are general results that provide polynomial kernels for large classes of parameterized problems. The known meta-kernelization theorems, in particular the results of Bodlaender et al. (FOCS'09) and of Fomin et al.…

Data Structures and Algorithms · Computer Science 2013-04-22 Robert Ganian , Friedrich Slivovsky , Stefan Szeider

In the $k$-Leaf Out-Branching and $k$-Internal Out-Branching problems we are given a directed graph $D$ with a designated root $r$ and a nonnegative integer $k$. The question is to determine the existence of an outbranching rooted at $r$…

Data Structures and Algorithms · Computer Science 2015-09-08 Marthe Bonamy , Łukasz Kowalik , Michał Pilipczuk , Arkadiusz Socała

We introduce the notion of an $\varepsilon$-cover for a kernel range space. A kernel range space concerns a set of points $X \subset \mathbb{R}^d$ and the space of all queries by a fixed kernel (e.g., a Gaussian kernel $K(p,\cdot) =…

Computational Geometry · Computer Science 2025-06-13 Jeff M. Phillips , Hasan Pourmahmood-Aghababa

A random geometric graph (RGG) with kernel $K$ is constructed by first sampling latent points $x_1,\ldots,x_n$ independently and uniformly from the $d$-dimensional unit sphere, then connecting each pair $(i,j)$ with probability $K(\langle…

Probability · Mathematics 2026-02-17 Cheng Mao , Yihong Wu , Jiaming Xu

The \textsc{$l$-Exact Component Order Connectivity} problem asks whether, given an input graph $G$ and an integer $k$, there exists a vertex subset $S\subseteq V(G)$ of size at most $k$ such that every connected component in $G - S$ has…

Data Structures and Algorithms · Computer Science 2026-05-20 Yuxi Liu , Mingyu Xiao

The computation of (i) $\varepsilon$-kernels, (ii) approximate diameter, and (iii) approximate bichromatic closest pair are fundamental problems in geometric approximation. In this paper, we describe new algorithms that offer significant…

Computational Geometry · Computer Science 2017-04-03 Sunil Arya , Guilherme D. da Fonseca , David M. Mount

Let $n$ be the size of a parameterized problem and $k$ the parameter. We present kernels for Feedback Vertex Set, Path Contraction and Cluster Editing/Deletion whose sizes are all polynomial in $k$ and that are computable in polynomial time…

Data Structures and Algorithms · Computer Science 2024-02-21 Frank Kammer , Andrej Sajenko

The notion of treewidth plays an important role in theoretical and practical studies of graph problems. It has been recognized that, especially in practical environments, when computing the treewidth of a graph it is invaluable to first…

Data Structures and Algorithms · Computer Science 2015-03-19 Hans L. Bodlaender , Bart M. P. Jansen , Stefan Kratsch

After Bob sends Alice a bit, she responds with a lengthy reply. At the cost of a factor of two in the total communication, Alice could just as well have given the two possible replies without listening and have Bob select which applies to…

Quantum Physics · Physics 2018-02-13 Jop Briët , Jeroen Zuiddam

Given a digraph $D$, we say that a set of vertices $Q\subseteq V(D)$ is a $q$-kernel if $Q$ is an independent set and if every vertex of $D$ can be reached from $Q$ by a path of length at most $q$. In this paper, we initiate the study of…

Combinatorics · Mathematics 2024-07-19 Sam Spiro

In a parameterized problem, every instance I comes with a positive integer k. The problem is said to admit a polynomial kernel if, in polynomial time, one can reduce the size of the instance I to a polynomial in k, while preserving the…

Discrete Mathematics · Computer Science 2013-09-26 Hans L. Bodlaender , Fedor V. Fomin , Daniel Lokshtanov , Eelko Penninkx , Saket Saurabh , Dimitrios M. Thilikos

Let $D = (V(D), A(D))$ be a digraph. A subset $S \subseteq V(D)$ is $k$-independent if the distance between every pair of vertices of $S$ is at least $k$, and it is $\ell$-absorbent if for every vertex $u$ in $V(D) \setminus S$ there exists…

Combinatorics · Mathematics 2016-10-19 Sebastián González Hermosillo de la Maza , César Hernández-Cruz