English
Related papers

Related papers: Simultaneous Approximation for Lattice-Based Crypt…

200 papers

The Matching Augmentation Problem (MAP) has recently received significant attention as an important step towards better approximation algorithms for finding cheap $2$-edge connected subgraphs. This has culminated in a…

Data Structures and Algorithms · Computer Science 2022-08-25 Etienne Bamas , Marina Drygala , Ola Svensson

Motivated by problems arising in decentralized control problems and non-cooperative Nash games, we consider a class of strongly monotone Cartesian variational inequality (VI) problems, where the mappings either contain expectations or their…

Optimization and Control · Mathematics 2013-01-10 Farzad Yousefian , Angelia Nedić , Uday V. Shanbhag

A particular instance of the Shortest Vector Problem (SVP) appears in the context of Compute-and-Forward. Despite the NP-hardness of the SVP, we will show that this certain instance can be solved in complexity order $O(n\psi\log(n\psi))$…

Information Theory · Computer Science 2017-11-28 Saeid Sahraei , Michael Gastpar

The closest vector problem (CVP) and shortest (nonzero) vector problem (SVP) are the core algorithmic problems on Euclidean lattices. They are central to the applications of lattices in many problems of communications and cryptography.…

Information Theory · Computer Science 2016-11-17 Laura Luzzi , Damien Stehle , Cong Ling

This thesis explores algorithmic applications and limitations of convex relaxation hierarchies for approximating some discrete and continuous optimization problems. - We show a dichotomy of approximability of constraint satisfaction…

Computational Complexity · Computer Science 2025-09-01 Mrinalkanti Ghosh

The Quadratic Assignment Problem (QAP) is an important discrete optimization instance that encompasses many well-known combinatorial optimization problems, and has applications in a wide range of areas such as logistics and computer vision.…

Optimization and Control · Mathematics 2024-10-16 Junyu Chen , Yong Sheng Soh

We give a public key encryption scheme with plausible quasi-exponential security based on the conjectured intractability of two constraint satisfaction problems (CSPs), both of which are instantiated with a corruption rate of $1 - o(1)$.…

Cryptography and Security · Computer Science 2026-04-14 Isaac M Hair , Amit Sahai

In 1982, Lagarias showed that solving the approximate Shortest Vector Problem also solves the problem of finding good simultaneous Diophantine approximations. Here we provide a deterministic, dimension-preserving reduction in the reverse…

Number Theory · Mathematics 2021-04-08 Daniel E. Martin

In a seminal work, Micciancio & Voulgaris (2013) described a deterministic single-exponential time algorithm for the Closest Vector Problem (CVP) on lattices. It is based on the computation of the Voronoi cell of the given lattice and thus…

Data Structures and Algorithms · Computer Science 2020-01-08 Christoph Hunkenschröder , Gina Reuland , Matthias Schymura

We consider the matching augmentation problem (MAP), where a matching of a graph needs to be extended into a $2$-edge-connected spanning subgraph by adding the minimum number of edges to it. We present a polynomial-time algorithm with an…

Data Structures and Algorithms · Computer Science 2023-05-29 Mohit Garg , Felix Hommelsheim , Nicole Megow

Combinatorial reconfiguration is a growing research field studying problems on the transformability between a pair of solutions of a search problem. We consider the approximability of optimization variants of reconfiguration problems; e.g.,…

Discrete Mathematics · Computer Science 2025-01-07 Naoto Ohsaka

The Metropolis process (MP) and Simulated Annealing (SA) are stochastic local search heuristics that are often used in solving combinatorial optimization problems. Despite significant interest, there are very few theoretical results…

Data Structures and Algorithms · Computer Science 2023-12-22 Zongchen Chen , Dan Mikulincer , Daniel Reichman , Alexander S. Wein

In a column-restricted covering integer program (CCIP), all the non-zero entries of any column of the constraint matrix are equal. Such programs capture capacitated versions of covering problems. In this paper, we study the approximability…

Data Structures and Algorithms · Computer Science 2015-05-18 Deeparnab Chakrabarty , Elyot Grant , Jochen Koenemann

The Constraint Satisfaction Problem (CSP) is a problem of computing a homomorphism $\mathbf{R}\to \mathbf{\Gamma}$ between two relational structures, where $\mathbf{R}$ is defined over a domain $V$ and $\mathbf{\Gamma}$ is defined over a…

Computational Complexity · Computer Science 2023-11-21 Rustem Takhanov

Recently, a lot of attention has been devoted to finding physically realisable operations that realise as closely as possible certain desired transformations between quantum states, e.g. quantum cloning, teleportation, quantum gates, etc.…

Quantum Physics · Physics 2013-04-25 K. Audenaert , B. De Moor

This paper presents algorithms for local inversion of maps and shows how several important computational problems such as cryptanalysis of symmetric encryption algorithms, RSA algorithm and solving the elliptic curve discrete log problem…

Cryptography and Security · Computer Science 2022-03-08 Virendra Sule

The Super-SAT or SSAT problem was introduced by Dinur et al.(2002,2003) to prove the NP-hardness of approximation of two popular lattice problems - Shortest Vector Problem(SVP) and Closest Vector Problem(CVP). They conjectured that SSAT is…

Computational Complexity · Computer Science 2021-10-06 Priyanka Mukhopadhyay

Any ideal in a number field can be factored into a product of prime ideals. In this paper we study the prime ideal shortest vector problem (SVP) in the ring $ \Z[x]/(x^{2^n} + 1) $, a popular choice in the design of ideal lattice based…

Cryptography and Security · Computer Science 2021-03-03 Yanbin Pan , Jun Xu , Nick Wadleigh , Qi Cheng

The quadratic assignment problem (QAP) is one of the most difficult combinatorial optimization problems. An effective heuristic for obtaining approximate solutions to the QAP is simulated annealing (SA). Here we describe an SA…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-03-20 Gerald Paul

The symmetric binary perceptron ($\mathrm{SBP}_{\kappa}$) problem with parameter $\kappa : \mathbb{R}_{\geq1} \to [0,1]$ is an average-case search problem defined as follows: given a random Gaussian matrix $\mathbf{A} \sim…

Statistics Theory · Mathematics 2025-07-29 Neekon Vafa , Vinod Vaikuntanathan