中文
相关论文

相关论文: Survey propagation: an algorithm for satisfiabilit…

200 篇论文

In dictionary learning, also known as sparse coding, the algorithm is given samples of the form $y = Ax$ where $x\in \mathbb{R}^m$ is an unknown random sparse vector and $A$ is an unknown dictionary matrix in $\mathbb{R}^{n\times m}$…

数据结构与算法 · 计算机科学 2014-01-06 Sanjeev Arora , Aditya Bhaskara , Rong Ge , Tengyu Ma

Generating data from discrete distributions is important for a number of application domains including text, tabular data, and genomic data. Several groups have recently used random $k$-satisfiability ($k$-SAT) as a synthetic benchmark for…

机器学习 · 计算机科学 2026-03-24 Alankrita Bhatt , Mukur Gupta , Germain Kolossov , Andrea Montanari

The structural phase transitions and computational complexity of random 3-SAT instances are traditionally described using thermodynamic analogies from statistical physics, such as Replica Symmetry Breaking and energy landscapes. While…

计算复杂性 · 计算机科学 2026-03-02 Yongjian Zhan

We present efficient counting and sampling algorithms for random $k$-SAT when the clause density satisfies $\alpha \le \frac{2^k}{\mathrm{poly}(k)}.$ In particular, the exponential term $2^k$ matches the satisfiability threshold…

数据结构与算法 · 计算机科学 2024-11-06 Zongchen Chen , Aditya Lonkar , Chunyang Wang , Kuan Yang , Yitong Yin

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,…

人工智能 · 计算机科学 2013-02-28 Russ B. Altman , Cheng C. Chen , William B. Poland , Jaswinder Pal Singh

Warning Propagation is a combinatorial message passing algorithm that unifies and generalises a wide variety of recursive combinatorial procedures. Special cases include the Unit Clause Propagation and Pure Literal algorithms for…

组合数学 · 数学 2024-05-27 Oliver Cooley , Joon Lee , Jean B. Ravelomanana

Improving the explainability of the results from machine learning methods has become an important research goal. Here, we study the problem of making clusters more interpretable by extending a recent approach of [Davidson et al., NeurIPS…

数据结构与算法 · 计算机科学 2020-02-10 Prathyush Sambaturu , Aparna Gupta , Ian Davidson , S. S. Ravi , Anil Vullikanti , Andrew Warren

The max-product algorithm, a local message-passing scheme that attempts to compute the most probable assignment (MAP) of a given probability distribution, has been successfully employed as a method of approximate inference for applications…

信息论 · 计算机科学 2014-01-07 Nicholas Ruozzi , Sekhar Tatikonda

Affinity propagation is an exemplar-based clustering algorithm that finds a set of data-points that best exemplify the data, and associates each datapoint with one exemplar. We extend affinity propagation in a principled way to solve the…

机器学习 · 计算机科学 2012-02-20 Inmar Givoni , Clement Chung , Brendan J. Frey

Uncertainty analysis in the outcomes of model predictions is a key element in decision-based material design to establish confidence in the models and evaluate the fidelity of models. Uncertainty Propagation (UP) is a technique to determine…

机器学习 · 计算机科学 2023-02-13 Danial Khatamsaz , Vahid Attari , Raymundo Arroyave , Douglas L. Allaire

The computational complexity of solving random 3-Satisfiability (3-SAT) problems is investigated. 3-SAT is a representative example of hard computational tasks; it consists in knowing whether a set of alpha N randomly drawn logical…

统计力学 · 物理学 2009-10-31 Simona Cocco , Remi Monasson

The task of manipulating correlated random variables in a distributed setting has received attention in the fields of both Information Theory and Computer Science. Often shared correlations can be converted, using a little amount of…

信息论 · 计算机科学 2019-10-03 Madhu Sudan , Himanshu Tyagi , Shun Watanabe

In this letter, we show how the Survey Propagation algorithm can be generalized to include external forcing messages, and used to address selectively an exponential number of glassy ground states. These capabilities can be used to explore…

无序系统与神经网络 · 物理学 2009-11-10 Demian Battaglia , Alfredo Braunstein , Joël Chavas , Riccardo Zecchina

Motivation: Similarity-measure based clustering is a crucial problem appearing throughout scientific data analysis. Recently, a powerful new algorithm called Affinity Propagation (AP) based on message-passing techniques was proposed by Frey…

定量方法 · 定量生物学 2007-11-29 Michele Leone , Sumedha , Martin Weigt

Attribution scores reflect how important the feature values in an input entity are for the output of a machine learning model. One of the most popular attribution scores is the SHAP score, which is an instantiation of the general Shapley…

We study the problem, introduced by Qiao and Valiant, of learning from untrusted batches. Here, we assume $m$ users, all of whom have samples from some underlying distribution $p$ over $1, \ldots, n$. Each user sends a batch of $k$ i.i.d.…

数据结构与算法 · 计算机科学 2019-11-07 Sitan Chen , Jerry Li , Ankur Moitra

We study the problem of list-decodable sparse mean estimation. Specifically, for a parameter $\alpha \in (0, 1/2)$, we are given $m$ points in $\mathbb{R}^n$, $\lfloor \alpha m \rfloor$ of which are i.i.d. samples from a distribution $D$…

数据结构与算法 · 计算机科学 2024-07-08 Ilias Diakonikolas , Daniel M. Kane , Sushrut Karmalkar , Ankit Pensia , Thanasis Pittas

The random 3-satisfiability (3-SAT) problem is in the unsatisfiable (UNSAT) phase when the clause density $\alpha$ exceeds a critical value $\alpha_s \approx 4.267$. However, rigorously proving the unsatisfiability of a given large 3-SAT…

计算复杂性 · 计算机科学 2013-07-29 Lu-Lu Wu , Hai-Jun Zhou , Mikko Alava , Erik Aurell , Pekka Orponen

This paper studies the convergence rate of a message-passing distributed algorithm for solving a large-scale linear system. This problem is generalised from the celebrated Gaussian Belief Propagation (BP) problem for statistical learning…

系统与控制 · 电气工程与系统科学 2020-04-15 Zhaorong Zhang , Qianqian Cai , Minyue Fu

In this work, we study the $k$-median and $k$-means clustering problems when the data is distributed across many servers and can contain outliers. While there has been a lot of work on these problems for worst-case instances, we focus on…

数据结构与算法 · 计算机科学 2019-03-08 Pranjal Awasthi , Ainesh Bakshi , Maria-Florina Balcan , Colin White , David Woodruff