We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Computational Complexity

Title: Structured $(\min,+)$-Convolution And Its Applications For The Shortest Vector, Closest Vector, and Separable Nonlinear Knapsack Problems

Abstract: In this work we consider the problem of computing the $(\min, +)$-convolution of two sequences $a$ and $b$ of lengths $n$ and $m$, respectively, where $n \geq m$. We assume that $a$ is arbitrary, but $b_i = f(i)$, where $f(x) \colon [0,m) \to \mathbb{R}$ is a function with one of the following properties:
1. the linear case, when $f(x) =\beta + \alpha \cdot x$;
2. the monotone case, when $f(i+1) \geq f(i)$, for any $i$;
3. the convex case, when $f(i+1) - f(i) \geq f(i) - f(i-1)$, for any $i$;
4. the concave case, when $f(i+1) - f(i) \leq f(i) - f(i-1)$, for any $i$;
5. the piece-wise linear case, when $f(x)$ consist of $p$ linear pieces;
6. the polynomial case, when $f \in \mathbb{Z}^d[x]$, for some fixed $d$.
To the best of our knowledge, the cases 4-6 were not considered in literature before. We develop true sub-quadratic algorithms for them.
We apply our results to the knapsack problem with a separable nonlinear objective function, shortest lattice vector, and closest lattice vector problems.
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
Cite as: arXiv:2209.04812 [cs.CC]
  (or arXiv:2209.04812v2 [cs.CC] for this version)

Submission history

From: Dmitry Gribanov [view email]
[v1] Sun, 11 Sep 2022 08:18:10 GMT (35kb)
[v2] Wed, 28 Sep 2022 13:30:13 GMT (36kb)

Link back to: arXiv, form interface, contact.