English
Related papers

Related papers: Hierarchies of Inefficient Kernelizability

200 papers

We study the parameterized complexity of the classical Edge Hamiltonian Path problem and give several fixed-parameter tractability results. First, we settle an open question of Demaine et al. by showing that Edge Hamiltonian Path is FPT…

Data Structures and Algorithms · Computer Science 2014-03-11 Michael Lampis , Kazuhisa Makino , Valia Mitsou , Yushi Uno

We show that the problem k-Dominating Set and its several variants including k-Connected Dominating Set, k-Independent Dominating Set, and k-Dominating Clique, when parameterized by the solution size k, are W[1]-hard in either…

Computational Complexity · Computer Science 2015-03-19 Minghui Jiang , Yong Zhang

We consider the problem of operator-valued kernel learning and investigate the possibility of going beyond the well-known separable kernels. Borrowing tools and concepts from the field of quantum computing, such as partial trace and…

Machine Learning · Computer Science 2021-01-18 Riikka Huusari , Hachem Kadri

In a (parameterized) graph edge modification problem, we are given a graph $G$, an integer $k$ and a (usually well-structured) class of graphs $\mathcal{G}$, and ask whether it is possible to transform $G$ into a graph $G' \in \mathcal{G}$…

Data Structures and Algorithms · Computer Science 2021-09-17 Gabriel Bathie , Nicolas Bousquet , Théo Pierron

The MULTICUT IN TREES problem consists in deciding, given a tree, a set of requests (i.e. paths in the tree) and an integer k, whether there exists a set of k edges cutting all the requests. This problem was shown to be FPT by Guo and…

Discrete Mathematics · Computer Science 2009-02-09 Nicolas Bousquet , Jean Daligault , Stephan Thomasse , Anders Yeo

Given a digraph $D$, the Minimum Leaf Out-Branching problem (MinLOB) is the problem of finding in $D$ an out-branching with the minimum possible number of leaves, i.e., vertices of out-degree 0. We prove that MinLOB is polynomial-time…

Data Structures and Algorithms · Computer Science 2008-10-14 G. Gutin , I. Razgon , E. J. Kim

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…

Computational Complexity · Computer Science 2015-09-25 Bart M. P. Jansen , Astrid Pieterse

We propose a kernelized classification layer for deep networks. Although conventional deep networks introduce an abundance of nonlinearity for representation (feature) learning, they almost universally use a linear classifier on the learned…

Machine Learning · Computer Science 2021-03-22 Sadeep Jayasumana , Srikumar Ramalingam , Sanjiv Kumar

The knapsack problem (KP) is a very famous NP-hard problem in combinatorial optimization. Also its generalization to multiple dimensions named d-dimensional knapsack problem (d-KP) and to multiple knapsacks named multiple knapsack problem…

Computational Complexity · Computer Science 2016-11-24 Carolin Albrecht , Frank Gurski , Jochen Rethmann , Eda Yilmaz

For a fixed simple digraph $H$ without isolated vertices, we consider the problem of deleting arcs from a given tournament to get a digraph which does not contain $H$ as an immersion. We prove that for every $H$, this problem admits a…

Data Structures and Algorithms · Computer Science 2022-08-17 Łukasz Bożyk , Michał Pilipczuk

The existence of a polynomial kernel for Odd Cycle Transversal was a notorious open problem in parameterized complexity. Recently, this was settled by the present authors (Kratsch and Wahlstr\"om, SODA 2012), with a randomized polynomial…

Data Structures and Algorithms · Computer Science 2015-03-19 Stefan Kratsch , Magnus Wahlström

Building on the functional-analytic framework of operator-valued kernels and un-truncated signature kernels, we propose a scalable, provably convergent signature-based algorithm for a broad class of high-dimensional, path-dependent hedging…

Functional Analysis · Mathematics 2025-02-06 Nicola Muca Cirone , Cristopher Salvi

In the Colored Clustering problem, one is asked to cluster edge-colored (hyper-)graphs whose colors represent interaction types. More specifically, the goal is to select as many edges as possible without choosing two edges that share an…

Data Structures and Algorithms · Computer Science 2023-02-02 Leon Kellerhals , Tomohiro Koana , Pascal Kunz , Rolf Niedermeier

We develop a technique that we call Conflict Packing in the context of kernelization, obtaining (and improving) several polynomial kernels for editing problems on dense instances. We apply this technique on several well-studied problems:…

Data Structures and Algorithms · Computer Science 2014-01-31 Christophe Paul , Anthony Perez , Stéphan Thomassé

Matroids, particularly linear ones, have been a powerful tool in parameterized complexity for algorithms and kernelization. They have sped up or replaced dynamic programming. Delta-matroids generalize matroids by encapsulating structures…

Data Structures and Algorithms · Computer Science 2025-02-20 Eduard Eiben , Tomohiro Koana , Magnus Wahlström

The fundamental caching problem in networks asks to find an allocation of contents to a network of caches with the aim of maximizing the cache hit rate. Despite the problem's importance to a variety of research areas -- including not only…

Networking and Internet Architecture · Computer Science 2024-12-24 Robert Ganian , Fionn Mc Inerney , Dimitra Tsigkari

The most efficient algorithms for finding maximum independent sets in both theory and practice use reduction rules to obtain a much smaller problem instance called a kernel. The kernel can then be solved quickly using exact or heuristic…

Data Structures and Algorithms · Computer Science 2019-09-11 Demian Hespe , Christian Schulz , Darren Strash

We study provably effective and efficient data reduction for a class of NP-hard graph modification problems based on vertex degree properties. We show fixed-parameter tractability for NP-hard graph completion (that is, edge addition) cases…

Discrete Mathematics · Computer Science 2016-04-13 Vincent Froese , André Nichterlein , Rolf Niedermeier

Given a graph and two integers $k$ and $\ell$, Partial Vertex Cover asks for a set of at most $k$ vertices whose deletion results in a graph with at most $\ell$ edges. Based on the expansion lemma, we provide a problem kernel with $(\ell +…

Data Structures and Algorithms · Computer Science 2022-11-15 Tomohiro Koana , André Nichterlein , Niklas Wünsche

A graph is c-closed if every pair of vertices with at least c common neighbors is adjacent. The c-closure of a graph G is the smallest number such that G is c-closed. Fox et al. [ICALP '18] defined c-closure and investigated it in the…

Discrete Mathematics · Computer Science 2022-06-22 Tomohiro Koana , Christian Komusiewicz , Frank Sommer