English
Related papers

Related papers: Catching the k-NAESAT Threshold

200 papers

Form a random k-SAT formula on n variables by selecting uniformly and independently m=rn clauses out of all 2^k (n choose k) possible k-clauses. The Satisfiability Threshold Conjecture asserts that for each k there exists a constant r_k…

Statistical Mechanics · Physics 2009-09-29 Dimitris Achlioptas , Cristopher Moore

Evaluating the statistical dimension is a common tool to determine the asymptotic phase transition in compressed sensing problems with Gaussian ensemble. Unfortunately, the exact evaluation of the statistical dimension is very difficult and…

Information Theory · Computer Science 2019-06-06 Sajad Daei , Farzan Haddadi , Arash Amini , Martin Lotz

Unlike its cousin 3SAT, the NAE-3SAT (not-all-equal-3SAT) problem has the property that spectral/SDP algorithms can efficiently refute random instances when the constraint density is a large constant (with high probability). But do these…

Data Structures and Algorithms · Computer Science 2018-04-17 Yash Deshpande , Andrea Montanari , Ryan O'Donnell , Tselil Schramm , Subhabrata Sen

This paper considers approximation algorithms for generalized $k$-median problems. This class of problems can be informally described as $k$-median with a constant number of extra constraints, and includes $k$-median with outliers, and…

Data Structures and Algorithms · Computer Science 2020-09-03 Anupam Gupta , Benjamin Moseley , Rudy Zhou

The self-consistent expansion (SCE) is a powerful technique for obtaining perturbative solutions to problems in statistical physics but it suffers from a subtle problem - too much freedom! The SCE can be used to generate an enormous number…

Statistical Mechanics · Physics 2024-07-12 Chanania Steinbock , Eytan Katzav

This paper provides a new conceptual perspective on survey propagation, which is an iterative algorithm recently introduced by the statistical physics community that is very effective in solving random k-SAT problems even with densities…

Computational Complexity · Computer Science 2007-05-23 Eliza N. Maneva , Elchanan Mossel , Martin J. Wainwright

We prove upper and lower bounds for the threshold of the q-overlap-k-Exact cover problem. These results are motivated by the one-step replica symmetry breaking approach of Statistical Physics, and the hope of using an approach based on that…

Discrete Mathematics · Computer Science 2023-09-26 Gabriel Istrate , Romeo Negrea

Under what condition is a random constraint satisfaction problem hard to refute by the sum-of-squares (SoS) algorithm? A sufficient condition is t-wise uniformity, that is, each constraint has a t-wise uniform distribution of satisfying…

Computational Complexity · Computer Science 2026-05-01 Siu On Chan , Tommaso d'Orsi , Jeff Xu

In this paper, Bayesian quickest change detection problems with sampling right constraints are considered. Specifically, there is a sequence of random variables whose probability density function will change at an unknown time. The goal is…

Information Theory · Computer Science 2014-07-16 Jun Geng , Erhan Bayraktar , Lifeng Lai

The K-subspaces (KSS) method is a generalization of the K-means method for subspace clustering. In this work, we present local convergence analysis and a recovery guarantee for KSS, assuming data are generated by the semi-random union of…

Optimization and Control · Mathematics 2022-06-22 Peng Wang , Huikang Liu , Anthony Man-Cho So , Laura Balzano

Many problems in science and engineering involve, as part of their solution process, the consideration of a separable function which is the sum of two convex functions, one of them possibly non-smooth. Recently a few works have discussed…

Optimization and Control · Mathematics 2017-03-06 Daniel Reem , Alvaro De Pierro

Progressive censoring scheme has received considerable attention in recent years. In this paper we introduce a new type-II progressive censoring scheme for two samples. It is observed that the proposed censoring scheme is analytically more…

Methodology · Statistics 2016-09-20 Shuvashree Mondal , Debasis Kundu

The Method of Moments [Pea94] is one of the most widely used methods in statistics for parameter estimation, by means of solving the system of equations that match the population and estimated moments. However, in practice and especially…

Statistics Theory · Mathematics 2019-04-16 Yihong Wu , Pengkun Yang

The k-means method is a widely used clustering algorithm. One of its distinguished features is its speed in practice. Its worst-case running-time, however, is exponential, leaving a gap between practical and theoretical performance. Arthur…

Data Structures and Algorithms · Computer Science 2008-09-11 Bodo Manthey , Heiko Röglin

We have previously reported a Bayesian algorithm for determining the coordinates of points in three-dimensional space from uncertain constraints. This method is useful in the determination of biological molecular structure. It is limited,…

Artificial Intelligence · Computer Science 2013-02-28 Russ B. Altman , Cheng C. Chen , William B. Poland , Jaswinder Pal Singh

We study the saddlepoint approximation (SPA) for sums of $n$ i.i.d. random vectors $X_i\in\mathbb R^d$ in growing dimensions. SPA provides highly accurate approximations to probability densities and distribution functions via the moment…

Probability · Mathematics 2025-10-27 Alexander Katsevich

The network scale-up method (NSUM) is a cost-effective approach to estimating the size or prevalence of a group of people that is hard to reach through a standard survey. The basic NSUM involves two steps: estimating respondents' degrees by…

Methodology · Statistics 2024-01-19 Jessica P. Kunke , Ian Laga , Xiaoyue Niu , Tyler H. McCormick

Although the \emph{residual method}, or \emph{constrained regularization}, is frequently used in applications, a detailed study of its properties is still missing. This sharply contrasts the progress of the theory of Tikhonov…

Optimization and Control · Mathematics 2012-12-06 Markus Grasmair , Markus Haltmeier , Otmar Scherzer

The $k-$traveling salesman problem ($k$-TSP) seeks a tour of minimal length that visits a subset of $k\leq n$ points. The traveling repairman problem (TRP) seeks a complete tour with minimal latency. This paper provides constant-factor…

Discrete Mathematics · Computer Science 2022-11-22 Moïse Blanchard , Alexandre Jacquillat , Patrick Jaillet

We prove that the Bounded Occurrence Ordering k-CSP Problem is not approximation resistant. We give a very simple local search algorithm that always performs better than the random assignment algorithm. Specifically, the expected value of…

Data Structures and Algorithms · Computer Science 2013-03-05 Konstantin Makarychev
‹ Prev 1 4 5 6 7 8 10 Next ›