Closest point search in lattices

E Agrell, T Eriksson, A Vardy… - IEEE transactions on …, 2002 - ieeexplore.ieee.org
In this semitutorial paper, a comprehensive survey of closest point search methods for
lattices without a regular structure is presented. The existing search strategies are described …

[PDF][PDF] On the unique games conjecture

S Khot, NK Vishnoi - FOCS, 2005 - scholar.archive.org
On the Unique Games Conjecture Page 1 On the Unique Games Conjecture Subhash Khot
Courant Institute of Mathematical Sciences, NYU ∗ Abstract This article surveys recently …

[KNJIGA][B] An introduction to support vector machines and other kernel-based learning methods

N Cristianini, J Shawe-Taylor - 2000 - books.google.com
This is the first comprehensive introduction to Support Vector Machines (SVMs), a
generation learning system based on recent advances in statistical learning theory. SVMs …

[KNJIGA][B] Parameterized complexity

RG Downey, MR Fellows - 2012 - books.google.com
The idea for this book was conceived over the second bottle of Villa Maria's Caber net
Medot'89, at the dinner of the Australasian Combinatorics Conference held at Palmerston …

Convexity, classification, and risk bounds

PL Bartlett, MI Jordan, JD McAuliffe - Journal of the American …, 2006 - Taylor & Francis
Many of the classification algorithms developed in the machine learning literature, including
the support vector machine and boosting, can be viewed as minimum contrast methods that …

Proof verification and the hardness of approximation problems

S Arora, C Lund, R Motwani, M Sudan… - Journal of the ACM …, 1998 - dl.acm.org
We show that every language in NP has a probablistic verifier that checks membership
proofs for it using logarithmic number of random bits and by examining a constant number of …

Approximation algorithms for NP-hard problems

DS Hochba - ACM Sigact News, 1997 - dl.acm.org
Approximation algorithms have developed in response to the impossibility of solving a great
variety of important optimization problems. Too frequently, when attempting to get a solution …

Probabilistic checking of proofs: A new characterization of NP

S Arora, S Safra - Journal of the ACM (JACM), 1998 - dl.acm.org
We give a new characterization of NP: the class NP contains exactly those languages L for
which membership proofs (a proof that an input x is in L) can be verified probabilistically in …

[KNJIGA][B] Complexity and approximation: Combinatorial optimization problems and their approximability properties

G Ausiello, P Crescenzi, G Gambosi, V Kann… - 2012 - books.google.com
N COMPUTER applications we are used to live with approximation. Var I ious notions of
approximation appear, in fact, in many circumstances. One notable example is the type of …

A hitting time analysis of stochastic gradient langevin dynamics

Y Zhang, P Liang, M Charikar - Conference on Learning …, 2017 - proceedings.mlr.press
Abstract We study the Stochastic Gradient Langevin Dynamics (SGLD) algorithm for non-
convex optimization. The algorithm performs stochastic gradient descent, where in each step …