English
Related papers

Related papers: (Meta) Kernelization

200 papers

The clustered planarity problem (c-planarity) asks whether a hierarchically clustered graph admits a planar drawing such that the clusters can be nicely represented by regions. We introduce the cd-tree data structure and give a new…

Data Structures and Algorithms · Computer Science 2015-06-19 Thomas Bläsius , Ignaz Rutter

For a given graph $G = (V, E)$, a subset of the vertices $D\subseteq V$ is called a semitotal dominating set, if $D$ is a dominating set and every vertex $v \in D$ is within distance two to another witness $v' \in D$. We want to find a…

Computational Complexity · Computer Science 2025-06-24 Lukas Retschmeier

Here, we show that the first isomorphism theorem, the orbit-stabilizer theorem, and the non-uniqueness of solutions of underdetermined linear systems are all manifestations of the same underlying algebraic property. We will call this…

Group Theory · Mathematics 2014-12-15 Stephen G. Odaibo

We investigate the question whether Subset Sum can be solved by a polynomial-time algorithm with access to a certificate of length poly(k) where k is the maximal number of bits in an input number. In other words, can it be solved using only…

Data Structures and Algorithms · Computer Science 2024-09-06 Michał Włodarczyk

In the Proper Interval Vertex Deletion problem (PIVD for short), we are given a graph $G$ and an integer parameter $k>0$, and the question is whether there are at most $k$ vertices in $G$ whose removal results in a proper interval graph. It…

Data Structures and Algorithms · Computer Science 2016-11-28 Wenjun Li , Yongjie Yang , Jianer Chen , Jianxin Wang

Poljak and Turzik (Discrete Mathematics 1986) introduced the notion of {\lambda}-extendible properties of graphs as a generalization of the property of being bipartite. They showed that for any 0 < {\lambda} < 1 and {\lambda}-extendible…

Discrete Mathematics · Computer Science 2013-10-11 Robert Crowston , Mark Jones , Gabriele Muciaccia , Geevarghese Philip , Ashutosh Rai , Saket Saurabh

The F-Minor-Free Deletion problem asks, for a fixed set F and an input consisting of a graph G and integer k, whether k vertices can be removed from G such that the resulting graph does not contain any member of F as a minor. This paper…

Data Structures and Algorithms · Computer Science 2015-02-16 Archontia C. Giannopoulou , Bart M. P. Jansen , Daniel Lokshtanov , Saket Saurabh

Let F be a finite family of graphs. In the F-Deletion problem, one is given a graph G and an integer k, and the goal is to find k vertices whose deletion results in a graph with no minor from the family F. This may be regarded as a…

Data Structures and Algorithms · Computer Science 2026-01-21 Roohani Sharma , Michał Włodarczyk

For a fixed graph $H$, the $H$-SUBGRAPH HITTING problem consists in deleting the minimum number of vertices from an input graph to obtain a graph without any occurrence of $H$ as a subgraph. This problem can be seen as a generalization of…

Data Structures and Algorithms · Computer Science 2024-04-26 Marin Bougeret , Bart M. P. Jansen , Ignasi Sau

In a directed graph, a kernel is a subset of vertices that is both stable and absorbing. Not all digraphs have a kernel, but a theorem due to Boros and Gurvich guarantees the existence of a kernel in every clique-acyclic orientation of a…

Discrete Mathematics · Computer Science 2018-01-09 Adèle Pass-Lanneau , Ayumi Igarashi , Frédéric Meunier

Perhaps the best known kernelization result is the kernel of size 335k for the Planar Dominating Set problem by Alber et al. [JACM 2004], later improved to 67k by Chen et al. [SICOMP 2007]. This result means roughly, that the problem of…

Data Structures and Algorithms · Computer Science 2012-07-20 Lukasz Kowalik

We re-visit the complexity of kernelization for the $d$-Hitting Set problem. This is a classic problem in Parameterized Complexity, which encompasses several other of the most well-studied problems in this field, such as Vertex Cover,…

Data Structures and Algorithms · Computer Science 2023-08-14 Fedor V. Fomin , Tien-Nam Le , Daniel Lokshtanov , Saket Saurabh , Stephan Thomasse , Meirav Zehavi

We study the parameterized complexity of a broad class of problems called "local graph partitioning problems" that includes the classical fixed cardinality problems as max k-vertex cover, k-densest subgraph, etc. By developing a technique…

Computational Complexity · Computer Science 2013-06-11 Edouard Bonnet , Bruno Escoffier , Vangelis Th. Paschos , Emeric Tourniaire

An edge dominating set of a graph G=(V,E) is a subset M of edges in the graph such that each edge in E-M is incident with at least one edge in M. In an instance of the parameterized edge dominating set problem we are given a graph G=(V,E)…

Discrete Mathematics · Computer Science 2011-04-22 Mingyu Xiao , Ton Kloks , Sheung-Hung Poon

The accuracy and complexity of kernel learning algorithms is determined by the set of kernels over which it is able to optimize. An ideal set of kernels should: admit a linear parameterization (tractability); be dense in the set of all…

Machine Learning · Statistics 2020-05-04 Brendon K. Colbert , Matthew M. Peet

The pathwidth of a graph is a measure of how path-like the graph is. Given a graph G and an integer k, the problem of finding whether there exist at most k vertices in G whose deletion results in a graph of pathwidth at most one is NP-…

Data Structures and Algorithms · Computer Science 2010-09-07 Geevarghese Philip , Venkatesh Raman , Yngve Villanger

Kernels on graphs have had limited options for node-level problems. To address this, we present a novel, generalized kernel for graphs with node feature data for semi-supervised learning. The kernel is derived from a regularization…

Machine Learning · Computer Science 2022-11-29 Yin-Cong Zhi , Felix L. Opolka , Yin Cheng Ng , Pietro Liò , Xiaowen Dong

Packing graphs is a combinatorial problem where several given graphs are being mapped into a common host graph such that every edge is used at most once. In the planar tree packing problem we are given two trees T1 and T2 on n vertices and…

Computational Geometry · Computer Science 2016-03-28 Markus Geyer , Michael Hoffmann , Michael Kaufmann , Vincent Kusters , Csaba D. Tóth

If, for a subset S of Z^k, we compare the conditions of being parametrizable (a) by a single k-tuple of polynomials with integer coefficients, (b) by a single k-tuple of integer-valued polynomials and, (c) by finitely many k-tuples of…

Number Theory · Mathematics 2011-06-29 Sophie Frisch

Given a graph $G$, an integer $k\geq 0$, and a non-negative integral function $f:V(G) \rightarrow \mathcal{N}$, the Vector Domination problem asks whether a set $S$ of vertices, of cardinality $k$ or less, exists in $G$ so that every vertex…

Combinatorics · Mathematics 2025-06-19 Mahabba El Sahili , Faisal N. Abu-Khzam