English
Related papers

Related papers: No Polynomial Kernels for Knapsack

200 papers

The field of kernelization studies polynomial-time preprocessing routines for hard problems in the framework of parameterized complexity. Although a framework for proving kernelization lower bounds has been discovered in 2008 and…

Data Structures and Algorithms · Computer Science 2011-11-03 Marek Cygan , Stefan Kratsch , Marcin Pilipczuk , Michał Pilipczuk , Magnus Wahlström

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

Kernelization is a general theoretical framework for preprocessing instances of NP-hard problems into (generally smaller) instances with bounded size, via the repeated application of data reduction rules. For the fundamental Max Cut…

Data Structures and Algorithms · Computer Science 2019-05-28 Damir Ferizovic , Demian Hespe , Sebastian Lamm , Matthias Mnich , Christian Schulz , Darren Strash

A well-recognized limitation of kernel learning is the requirement to handle a kernel matrix, whose size is quadratic in the number of training examples. Many methods have been proposed to reduce this computational cost, mostly by using a…

Machine Learning · Computer Science 2014-11-06 Nicolò Cesa-Bianchi , Yishay Mansour , Ohad Shamir

An enumeration kernel as defined by Creignou et al. [Theory Comput. Syst. 2017] for a parameterized enumeration problem consists of an algorithm that transforms each instance into one whose size is bounded by the parameter plus a…

Data Structures and Algorithms · Computer Science 2021-01-12 Petr A. Golovach , Christian Komusiewicz , Dieter Kratsch , Van Bang Le

We prove a number of results around kernelization of problems parameterized by the size of a given vertex cover of the input graph. We provide three sets of simple general conditions characterizing problems admitting kernels of polynomial…

Data Structures and Algorithms · Computer Science 2013-09-27 Fedor V. Fomin , Bart M. P. Jansen , Michal Pilipczuk

Kernel $k$-means clustering is a powerful tool for unsupervised learning of non-linearly separable data. Since the earliest attempts, researchers have noted that such algorithms often become trapped by local minima arising from…

Machine Learning · Statistics 2020-11-13 Debolina Paul , Saptarshi Chakraborty , Swagatam Das , Jason Xu

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

It has been observed in many places that constant-factor approximable problems often admit polynomial or even linear problem kernels for their decision versions, e.g., Vertex Cover, Feedback Vertex Set, and Triangle Packing. While there…

Computational Complexity · Computer Science 2015-03-13 Stefan Kratsch

In the Tree Deletion Set problem the input is a graph G together with an integer k. The objective is to determine whether there exists a set S of at most k vertices such that G-S is a tree. The problem is NP-complete and even NP-hard to…

Data Structures and Algorithms · Computer Science 2013-10-01 Archontia C. Giannopoulou , Daniel Lokshtanov , Saket Saurabh , Ondrej Suchy

Parameterized complexity allows us to analyze the time complexity of problems with respect to a natural parameter depending on the problem. Reoptimization looks for solutions or approximations for problem instances when given solutions to…

Computational Complexity · Computer Science 2019-07-31 Hans-Joachim Böckenhauer , Elisabet Burjons , Martin Raszyk , Peter Rossmanith

Until recently, techniques for obtaining lower bounds for kernelization were one of the most sought after tools in the field of parameterized complexity. Now, after a strong influx of techniques, we are in the fortunate situation of having…

Data Structures and Algorithms · Computer Science 2015-03-19 Stefan Kratsch

In the framework of computational complexity and in an effort to define a more natural reduction for problems of equivalence, we investigate the recently introduced kernel reduction, a reduction that operates on each element of a pair…

Computational Complexity · Computer Science 2016-04-29 Jeffrey Finkelstein , Benjamin Hescott

Kernelization investigates exact preprocessing algorithms with performance guarantees. The most prevalent type of parameters used in kernelization is the solution size for optimization problems; however, also structural parameters have been…

Data Structures and Algorithms · Computer Science 2015-07-21 Eduard Eiben , Robert Ganian , Stefan Szeider

Object proposals are an ensemble of bounding boxes with high potential to contain objects. In order to determine a small set of proposals with a high recall, a common scheme is extracting multiple features followed by a ranking algorithm…

Computer Vision and Pattern Recognition · Computer Science 2017-05-19 Jing Wang , Jie Shen , Ping Li

Kernelization algorithms in the context of Parameterized Complexity are often based on a combination of reduction rules and combinatorial insights. We will expose in this paper a similar strategy for obtaining polynomial-time approximation…

Data Structures and Algorithms · Computer Science 2014-09-15 Faisal N. Abu-Khzam , Cristina Bazgan , Morgan Chopin , Henning Fernau

A polynomial Turing kernel for some parameterized problem $P$ is a polynomial-time algorithm that solves $P$ using queries to an oracle of $P$ whose sizes are upper-bounded by some polynomial in the parameter. Here the term "polynomial"…

Computational Complexity · Computer Science 2021-10-08 Till Fluschnik , Klaus Heeger , Danny Hermelin

The {\sc $k$-Leaf Out-Branching} problem is to find an out-branching (i.e. a rooted oriented spanning tree) with at least $k$ leaves in a given digraph. The problem has recently received much attention from the viewpoint of parameterized…

Data Structures and Algorithms · Computer Science 2008-11-06 Henning Fernau , Fedor V. Fomin , Daniel Lokshtanov , Daniel Raible , Saket Saurabh , Yngve Villanger

We study the existence of polynomial kernels for the problem of deciding feasibility of integer linear programs (ILPs), and for finding good solutions for covering and packing ILPs. Our main results are as follows: First, we show that the…

Computational Complexity · Computer Science 2013-02-18 Stefan Kratsch

Integer linear programs (ILPs) are a widely applied framework for dealing with combinatorial problems that arise in practice. It is known, e.g., by the success of CPLEX, that preprocessing and simplification can greatly speed up the process…

Computational Complexity · Computer Science 2013-02-18 Stefan Kratsch