English
Related papers

Related papers: $2^{\log^{1-\eps} n}$ Hardness for Closest Vector …

200 papers

We obtain hardness of approximation results for the $\ell_p$-Shortest Path problem, a variant of the classic Shortest Path problem with vector costs. For every integer $p \in [2,\infty)$, we show a hardness of $\Omega(p(\log n / \log^2\log…

Data Structures and Algorithms · Computer Science 2025-10-27 Charlie Carlson , Yury Makarychev , Ron Mosenzon

We show conditional hardness of Approximate Nearest Neighbor Search (ANN) under the $\ell_\infty$ norm with two simple reductions. Our first reduction shows that hardness of a special case of the Shortest Vector Problem (SVP), which…

Computational Complexity · Computer Science 2020-11-13 Young Kun Ko , Min Jae Song

We show that, assuming NP $\not\subseteq$ $\cap_{\delta > 0}$DTIME$\left(\exp{n^\delta}\right)$, the shortest vector problem for lattices of rank $n$ in any finite $\ell_p$ norm is hard to approximate within a factor of $2^{(\log n)^{1 -…

Computational Complexity · Computer Science 2026-04-07 Isaac M Hair , Amit Sahai

$\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 study the hardness of approximation of clause minimum and literal minimum representations of pure Horn functions in $n$ Boolean variables. We show that unless P=NP, it is not possible to approximate in polynomial time the minimum number…

Computational Complexity · Computer Science 2014-03-12 Endre Boros , Aritanan Gruber

We prove that SVP$_p$ is NP-hard to approximate within a factor of $2^{\log^{1 - \varepsilon} n}$, for all constants $\varepsilon > 0$ and $p > 2$, under standard deterministic Karp reductions. This result is also the first proof that…

Computational Complexity · Computer Science 2026-03-31 Isaac M. Hair , Amit Sahai

We show a number of fine-grained hardness results for the Closest Vector Problem in the $\ell_p$ norm ($\mathrm{CVP}_p$), and its approximate and non-uniform variants. First, we show that $\mathrm{CVP}_p$ cannot be solved in…

Computational Complexity · Computer Science 2021-08-10 Divesh Aggarwal , Huck Bennett , Alexander Golovnev , Noah Stephens-Davidowitz

$ \newcommand{\eps}{\varepsilon} \newcommand{\problem}[1]{\ensuremath{\mathrm{#1}} } \newcommand{\CVP}{\problem{CVP}} \newcommand{\SVP}{\problem{SVP}} \newcommand{\CVPP}{\problem{CVPP}} \newcommand{\ensuremath}[1]{#1} $For odd integers $p…

Computational Complexity · Computer Science 2019-01-28 Huck Bennett , Alexander Golovnev , Noah Stephens-Davidowitz

Bl\"omer and Seifert showed that $\mathsf{SIVP}_2$ is NP-hard to approximate by giving a reduction from $\mathsf{CVP}_2$ to $\mathsf{SIVP}_2$ for constant approximation factors as long as the $\mathsf{CVP}$ instance has a certain property.…

Computational Complexity · Computer Science 2020-11-03 Divesh Aggarwal , Eldon Chung

$ \newcommand{\SVP}{\mathsf{SVP}} \newcommand{\NP}{\mathsf{NP}} \newcommand{\RTIME}{\mathsf{RTIME}} \newcommand{\RSUBEXP}{\mathsf{RSUBEXP}} \newcommand{\eps}{\epsilon} \newcommand{\poly}{\mathop{\mathrm{poly}}} $We show that unless $\NP…

Computational Complexity · Computer Science 2018-06-12 Ishay Haviv , Oded Regev

The \v{C}ern\'y conjecture states that every $n$-state synchronizing automaton has a reset word of length at most $(n-1)^2$. We study the hardness of finding short reset words. It is known that the exact version of the problem, i.e.,…

Formal Languages and Automata Theory · Computer Science 2015-06-10 Pawel Gawrychowski , Damian Straszak

The problem of finding longest common subsequence (LCS) is one of the fundamental problems in computer science, which finds application in fields such as computational biology, text processing, information retrieval, data compression etc.…

Computational Complexity · Computer Science 2020-06-25 Amey Bhangale , Diptarka Chakraborty , Rajendra Kumar

The Closest Vector Problem (CVP) is a computational problem in lattices that is central to modern cryptography. The study of its fine-grained complexity has gained momentum in the last few years, partly due to the upcoming deployment of…

Data Structures and Algorithms · Computer Science 2025-01-08 Amir Abboud , Rajendra Kumar

$\newcommand{\eps}{\varepsilon} $We prove that for any $\eps > 0$ it is $\textsf{NP}$-hard to approximate the non-commutative Grothendieck problem to within a factor $1/2 + \eps$, which matches the approximation ratio of the algorithm of…

Computational Complexity · Computer Science 2022-02-22 Jop Briët , Oded Regev , Rishi Saket

We prove conditional near-quadratic running time lower bounds for approximate Bichromatic Closest Pair with Euclidean, Manhattan, Hamming, or edit distance. Specifically, unless the Strong Exponential Time Hypothesis (SETH) is false, for…

Computational Complexity · Computer Science 2018-03-05 Aviad Rubinstein

The vertex cover problem is one of the most important and intensively studied combinatorial optimization problems. Khot and Regev (2003) proved that the problem is NP-hard to approximate within a factor $2 - \epsilon$, assuming the Unique…

Computational Complexity · Computer Science 2015-11-30 Abbas Bazzi , Samuel Fiorini , Sebastian Pokutta , Ola Svensson

We give simple deterministic reductions demonstrating the NP-hardness of approximating the nearest codeword problem and minimum distance problem within arbitrary constant factors (and almost-polynomial factors assuming NP cannot be solved…

Computational Complexity · Computer Science 2025-06-26 Vijay Bhattiprolu , Venkatesan Guruswami , Xuandi Ren

We study the well-known Label Cover problem under the additional requirement that problem instances have large girth. We show that if the girth is some $k$, the problem is roughly $2^{\log^{1-\epsilon} n/k}$ hard to approximate for all…

Data Structures and Algorithms · Computer Science 2012-03-06 Michael Dinitz , Guy Kortsarz , Ran Raz

Given an $n$-vertex non-negatively real-weighted graph $G$, whose vertices are partitioned into a set of $k$ clusters, a \emph{clustered network design problem} on $G$ consists of solving a given network design optimization problem on $G$,…

Data Structures and Algorithms · Computer Science 2018-02-01 Mattia D'Emidio , Luca Forlizzi , Daniele Frigioni , Stefano Leucci , Guido Proietti

It is well known that Sparse PCA (Sparse Principal Component Analysis) is NP-hard to solve exactly on worst-case instances. What is the complexity of solving Sparse PCA approximately? Our contributions include: 1) a simple and efficient…

Machine Learning · Statistics 2015-07-22 Siu On Chan , Dimitris Papailiopoulos , Aviad Rubinstein
‹ Prev 1 2 3 10 Next ›