English
Related papers

Related papers: Deterministic Construction of an Approximate M-Ell…

200 papers

Convex relaxations based on different hierarchies of linear/semi-definite programs have been used recently to devise approximation algorithms for various optimization problems. The approximation guarantee of these algorithms improves with…

Data Structures and Algorithms · Computer Science 2015-03-20 Venkatesan Guruswami , Ali Kemal Sinop

A lattice is the integer span of some linearly independent vectors. Lattice problems have many significant applications in coding theory and cryptographic systems for their conjectured hardness. The Shortest Vector Problem (SVP), which is…

Data Structures and Algorithms · Computer Science 2018-03-09 Yanlin Chen , Kai-Min Chung , Ching-Yi Lai

We establish deterministic hardness of approximation results for the Shortest Vector Problem in $\ell_p$ norm ($\mathsf{SVP}_p$) and for Unique-SVP ($\mathsf{uSVP}_p$) for all $p > 2$. Previously, no deterministic hardness results were…

Computational Complexity · Computer Science 2025-10-21 Yahli Hecht , Muli Safra

Efficiently solving the Shortest Vector Problem (SVP) in two-dimensional lattices holds practical significance in cryptography and computational geometry. While simpler than its high-dimensional counterpart, two-dimensional SVP motivates…

Computational Geometry · Computer Science 2025-07-02 Lihao Zhao , Chengliang Tian , Jingguo Bi , Guangwu Xu , Jia Yu

In 2018, the longest vector problem (LVP) and the closest vector problem (CVP) in $p$-adic lattices were introduced. These problems are closely linked to the orthogonalization process. In this paper, we first prove that every $p$-adic…

Number Theory · Mathematics 2025-09-11 Chi Zhang , Yingpu Deng , Zhaonan Wang

Our contribution in this paper is two folded. We consider first the case of linear programming with real coefficients and give a method which allows the computation of a new upper bound on the distance from the origin to a feasible point.…

Optimization and Control · Mathematics 2020-10-30 Beniamin Costandin , Marius Costandin , Petru Dobra

We present a substantially more efficient variant, both in terms of running time and size of preprocessing advice, of the algorithm by Liu, Lyubashevsky, and Micciancio for solving CVPP (the preprocessing version of the Closest Vector…

Data Structures and Algorithms · Computer Science 2019-01-28 Daniel Dadush , Oded Regev , Noah Stephens-Davidowitz

The closest vector problem (CVP) is a fundamental optimization problem in lattice-based cryptography and its conjectured hardness underpins the security of lattice-based cryptosystems. Furthermore, Schnorr's lattice-based factoring…

Cryptography and Security · Computer Science 2025-10-23 Max O. Al-Hasso , Marko von der Leyen

The most important computational problem on lattices is the Shortest Vector Problem (SVP). In this paper, we present new algorithms that improve the state-of-the-art for provable classical/quantum algorithms for SVP. We present the…

Data Structures and Algorithms · Computer Science 2025-08-19 Divesh Aggarwal , Yanlin Chen , Rajendra Kumar , Yixin Shen

We consider the classical Minimum Balanced Cut problem: given a graph $G$, compute a partition of its vertices into two subsets of roughly equal volume, while minimizing the number of edges connecting the subsets. We present the first {\em…

Data Structures and Algorithms · Computer Science 2020-05-05 Julia Chuzhoy , Yu Gao , Jason Li , Danupon Nanongkai , Richard Peng , Thatchaphol Saranurak

In this note, we develop fast and deterministic dimensionality reduction techniques for a family of subspace approximation problems. Let $P\subset \mathbbm{R}^N$ be a given set of $M$ points. The techniques developed herein find an $O(n…

Computational Geometry · Computer Science 2013-12-06 Mark Iwen , Felix Krahmer

$\newcommand{\NP}{\mathsf{NP}}\newcommand{\GapSVP}{\textrm{GapSVP}}$We give a simple proof that the (approximate, decisional) Shortest Vector Problem is $\NP$-hard under a randomized reduction. Specifically, we show that for any $p \geq 1$…

Computational Complexity · Computer Science 2022-02-17 Huck Bennett , Chris Peikert

We show how to generalize Gama and Nguyen's slide reduction algorithm [STOC '08] for solving the approximate Shortest Vector Problem over lattices (SVP). As a result, we show the fastest provably correct algorithm for $\delta$-approximate…

Data Structures and Algorithms · Computer Science 2019-08-13 Divesh Aggarwal , Jianwei Li , Phong Q. Nguyen , Noah Stephens-Davidowitz

In the Connected Vertex Cover problem we are given an undirected graph G together with an integer k and we are to find a subset of vertices X of size at most k, such that X contains at least one end-point of each edge and moreover X induces…

Data Structures and Algorithms · Computer Science 2012-03-01 Marek Cygan

Blomer and Naewe[BN09] modified the randomized sieving algorithm of Ajtai, Kumar and Sivakumar[AKS01] to solve the shortest vector problem (SVP). The algorithm starts with $N = 2^{O(n)}$ randomly chosen vectors in the lattice and employs a…

Data Structures and Algorithms · Computer Science 2018-05-16 Divesh Aggarwal , Priyanka Mukhopadhyay

A discrete-time linear dynamical system (LDS) is given by an update matrix $M \in \mathbb{R}^{d\times d}$, and has the trajectories $\langle s, Ms, M^2s, \ldots \rangle$ for $s \in \mathbb{R}^d$. Reachability-type decision problems of…

Logic in Computer Science · Computer Science 2025-12-30 Toghrul Karimov

In the decremental $(1+\epsilon)$-approximate Single-Source Shortest Path (SSSP) problem, we are given a graph $G=(V,E)$ with $n = |V|, m = |E|$, undergoing edge deletions, and a distinguished source $s \in V$, and we are asked to process…

Data Structures and Algorithms · Computer Science 2020-01-30 Maximilian Probst Gutenberg , Christian Wulff-Nilsen

Given vectors $v_1,\dots,v_n\in\mathbb{R}^d$ and a matroid $M=([n],I)$, we study the problem of finding a basis $S$ of $M$ such that $\det(\sum_{i \in S}v_i v_i^\top)$ is maximized. This problem appears in a diverse set of areas such as…

Data Structures and Algorithms · Computer Science 2020-04-20 Vivek Madan , Aleksandar Nikolov , Mohit Singh , Uthaipon Tantipongpipat

We provide the currently fastest randomized (1+epsilon)-approximation algorithm for the closest vector problem in the infinity norm. The running time of our method depends on the dimension n and the approximation guarantee epsilon by 2^O(n)…

Data Structures and Algorithms · Computer Science 2010-12-13 Friedrich Eisenbrand , Nicolai Hähnle , Martin Niemeier

We show a $2^{n/2+o(n)}$-time algorithm that finds a (non-zero) vector in a lattice $\mathcal{L} \subset \mathbb{R}^n$ with norm at most $\tilde{O}(\sqrt{n})\cdot \min\{\lambda_1(\mathcal{L}), \det(\mathcal{L})^{1/n}\}$, where…

Data Structures and Algorithms · Computer Science 2020-07-21 Divesh Aggarwal , Zeyong Li , Noah Stephens-Davidowitz