Fixed-parameter tractability and completeness II: on completeness for W[1]
Theoretical Computer Science
Approximation algorithms for NP-hard problems
Approximation algorithms for NP-hard problems
Approximation algorithms
Linear FPT reductions and computational lower bounds
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Parameterized approximation scheme for the multiple knapsack problem
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Approximation schemes for deal splitting and covering integer programs with multiplicity constraints
Theoretical Computer Science
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Complex-demand knapsack problems and incentives in AC power systems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Bounding the running time of algorithms for scheduling and packing problems
WADS'13 Proceedings of the 13th international conference on Algorithms and Data Structures
Hi-index | 0.89 |
In the d-dimensional (vector) knapsack problem given is a set of items, each having a d-dimensional size vector and a profit, and a d-dimensional bin. The goal is to select a subset of the items of maximum total profit such that the sum of all vectors is bounded by the bin capacity in each dimension. It is well known that, unless P=NP, there is no fully polynomial-time approximation scheme for d-dimensional knapsack, already for d=2. The best known result is a polynomial-time approximation scheme (PTAS) due to Frieze and Clarke [A.M. Frieze, M. Clarke, Approximation algorithms for the m-dimensional 0-1 knapsack problem: worst-case and probabilistic analyses, European J. Operat. Res. 15 (1) (1984) 100-109] for the case where d=2 is some fixed constant. A fundamental open question is whether the problem admits an efficient PTAS (EPTAS). In this paper we resolve this question by showing that there is no EPTAS for d-dimensional knapsack, already for d=2, unless W[1]=FPT. Furthermore, we show that unless all problems in SNP are solvable in sub-exponential time, there is no approximation scheme for two-dimensional knapsack whose running time is f(1/@e)|I|^o^(^1^/^@e^), for any function f. Together, the two results suggest that a significant improvement over the running time of the scheme of Frieze and Clarke is unlikely to exist.