A faster FPTAS for knapsack problem with cardinality constraint

We study the K-item knapsack problem (i.e., 1.5-dimensional knapsack problem), a generalization of the famous 0-1 knapsack problem (i.e., 1-dimensional knapsack problem) in which an upper bound K is imposed on the number of items selected. This problem is of fundamental importance and is known to have a broad range of applications in various fields. It is well known that, there is no fully polynomial time approximation scheme (FPTAS) for the d-dimensional knapsack problem when d >= 2, unless P = NP. While the K-item knapsack problem is known to admit an FPTAS, the complexity of all existing FPTASs has a high dependency on the cardinality bound K and approximation error epsilon, which could result in inefficiencies especially when K and epsilon(-1) increase. The current best results are due to Mastrolilli and Hutter (2006), in which two schemes are presented exhibiting a space-time tradeoff-one scheme with time complexity O(n+ Kz(2)/epsilon(2)) and space complexity O(n+ z(3)/epsilon), and another scheme that requires a run-time of O(n + (Kz(2) + z(4))/epsilon(2)) but only needs O(n + z(2)/epsilon) space, where z = min{K, 1/epsilon}. In this paper we close the space-time tradeoff exhibited in Mastrolilli and Hutter (2006) by designing a new FPTAS with a running time of O ($) over tilde (n + z(2)/epsilon(2)), while simultaneously reaching a space complexity(1) of O(n + z(2)/epsilon). Our scheme provides O ($) over tilde (K) and O(z) improvements on the state-of-the-art algorithms in time and space complexity respectively, and is the first scheme that achieves a running time that is independent of the cardinality bound K (up to logarithmic factors) under fixed epsilon. Another salient feature of our algorithm is that it is the first FPTAS that achieves better time and space complexity bounds than the very first standard FPTAS over all parameter regimes. (c) 2022 Elsevier B.V. All rights reserved.