An FPTAS for the $\Delta$-modular multidimensional knapsack problem
Abstract
It is known that there is no EPTAS for the $m$-dimensional knapsack problem unless $W[1] = FPT$. It is true already for the case, when $m = 2$. But, an FPTAS still can exist for some other particular cases of the problem. In this note, we show that the $m$-dimensional knapsack problem with a $\Delta$-modular constraints matrix admits an FPTAS, whose complexity bound depends on $\Delta$ linearly. More precisely, the proposed algorithm complexity is $$O(T_{LP} \cdot (1/\varepsilon)^{m+3} \cdot (2m)^{2m + 6} \cdot \Delta),$$ where $T_{LP}$ is the linear programming complexity bound. In particular, for fixed $m$ the arithmetical complexity bound becomes $$ O(n \cdot (1/\varepsilon)^{m+3} \cdot \Delta). $$ Our algorithm is actually a generalisation of the classical FPTAS for the $1$-dimensional case. Strictly speaking, the considered problem can be solved by an exact polynomial-time algorithm, when $m$ is fixed and $\Delta$ grows as a polynomial on $n$. This fact can be observed combining previously known results. In this paper, we give a slightly more accurate analysis to present an exact algorithm with the complexity bound $$ O(n \cdot \Delta^{m + 1}), \quad \text{ for $m$ being fixed}. $$ Note that the last bound is non-linear by $\Delta$ with respect to the given FPTAS.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2021
- DOI:
- 10.48550/arXiv.2103.07257
- arXiv:
- arXiv:2103.07257
- Bibcode:
- 2021arXiv210307257G
- Keywords:
-
- Computer Science - Computational Complexity;
- Computer Science - Discrete Mathematics;
- Mathematics - Optimization and Control
- E-Print:
- In MOTOR 2021, Irkutsk, Russia, July 5-10, 2021, Proceedings. Springer-Verlag, Berlin, Heidelberg, 79-95 (2021)