中文
相关论文

相关论文: Fast sampling and counting k-SAT solutions in the …

200 篇论文

In this paper we present a novel probabilistic sampling-based motion planning algorithm called the Fast Marching Tree algorithm (FMT*). The algorithm is specifically aimed at solving complex motion planning problems in high-dimensional…

机器人学 · 计算机科学 2015-02-09 Lucas Janson , Edward Schmerling , Ashley Clark , Marco Pavone

Motivated by the physics of strings and branes, we introduce a general suite of Markov chain Monte Carlo (MCMC) "suburban samplers" (i.e., spread out Metropolis). The suburban algorithm involves an ensemble of statistical agents connected…

统计计算 · 统计学 2016-05-23 Jonathan J. Heckman , Jeffrey G. Bernstein , Ben Vigoda

Reinforcement learning (RL) tackles sequential decision-making problems by creating agents that interacts with their environment. However, existing algorithms often view these problem as static, focusing on point estimates for model…

机器学习 · 统计学 2024-03-21 Frank Shih , Faming Liang

Delayed-acceptance Markov chain Monte Carlo (DA-MCMC) samples from a probability distribution via a two-stages version of the Metropolis-Hastings algorithm, by combining the target distribution with a "surrogate" (i.e. an approximate and…

We analyze online and mini-batch k-means variants. Both scale up the widely used Lloyd 's algorithm via stochastic approximation, and have become popular for large-scale clustering and unsupervised feature learning. We show, for the first…

机器学习 · 计算机科学 2016-11-08 Cheng Tang , Claire Monteleoni

We define a notion of isotropy for discrete set distributions. If $\mu$ is a distribution over subsets $S$ of a ground set $[n]$, we say that $\mu$ is in isotropic position if $P[e \in S]$ is the same for all $e\in [n]$. We design a new…

数据结构与算法 · 计算机科学 2020-04-21 Nima Anari , Michał Dereziński

Local search algorithms applied to optimization problems often suffer from getting trapped in a local optimum. The common solution for this deficiency is to restart the algorithm when no progress is observed. Alternatively, one can start…

机器学习 · 计算机科学 2014-01-17 András György , Levente Kocsis

We study the fair sampling properties of hybrid quantum-classical Markov chain Monte Carlo (MCMC) algorithms for combinatorial optimization problems with degenerate ground states. While quantum optimization heuristics such as quantum…

量子物理 · 物理学 2025-12-17 Yuichiro Nakano , Keisuke Fujii

We introduce the \emph{submodular objectives chasing problem}, which generalizes many natural and previously-studied problems: a sequence of constrained submodular maximization problems is revealed over time, with both the objective and…

数据结构与算法 · 计算机科学 2025-11-18 Niv Buchbinder , Joseph , Naor , David Wajc

It is common to subsample Markov chain output to reduce the storage burden. Geyer (1992) shows that discarding $k-1$ out of every $k$ observations will not improve statistical efficiency, as quantified through variance in a given…

统计计算 · 统计学 2017-04-12 Art B. Owen

We show that efficient approximate sampling algorithms, combined with a slow exponential time oracle for computing its output distribution, can be combined into constructing efficient perfect samplers, which sample exactly from a target…

计算复杂性 · 计算机科学 2024-12-09 Andreas Göbel , Jingcheng Liu , Pasin Manurangsi , Marcus Pappik

Markov Chain Monte Carlo (MCMC) algorithms are often used for approximate inference inside learning, but their slow mixing can be difficult to diagnose and the approximations can seriously degrade learning. To alleviate these issues, we…

机器学习 · 计算机科学 2015-02-25 Jacob Steinhardt , Percy Liang

Constraint satisfaction problems (CSPs) models many important intractable NP-hard problems such as propositional satisfiability problem (SAT). Algorithms with non-trivial upper bounds on running time for restricted SAT with bounded clause…

数据结构与算法 · 计算机科学 2008-01-22 Liang Li , Xin Li , Tian Liu , Ke Xu

We present a new local-search algorithm for the $k$-median clustering problem. We show that local optima for this algorithm give a $(2.836+\epsilon)$-approximation; our result improves upon the $(3+\epsilon)$-approximate local-search…

数据结构与算法 · 计算机科学 2021-11-09 Vincent Cohen-Addad , Anupam Gupta , Lunjia Hu , Hoon Oh , David Saulpic

We consider conditional tests for non-negative discrete exponential families. We develop two Markov Chain Monte Carlo (MCMC) algorithms which allow us to sample from the conditional space and to perform approximated tests. The first…

统计计算 · 统计学 2017-07-27 Roberto Fontana , Francesca Romana Crucinio

The Local Computation Algorithm (LCA) model is a popular model in the field of sublinear-time algorithms that measures the complexity of an algorithm by the number of probes the algorithm makes in the neighborhood of one node to determine…

数据结构与算法 · 计算机科学 2021-12-06 Sebastian Brandt , Christoph Grunau , Václav Rozhoň

The Lovasz Local Lemma is a seminal result in probabilistic combinatorics. It gives a sufficient condition on a probability space and a collection of events for the existence of an outcome that simultaneously avoids all of those events.…

数据结构与算法 · 计算机科学 2015-11-19 Nicholas Harvey , Jan Vondrak

We give an FPTAS for computing the number of matchings of size $k$ in a graph $G$ of maximum degree $\Delta$ on $n$ vertices, for all $k \le (1-\delta)m^*(G)$, where $\delta>0$ is fixed and $m^*(G)$ is the matching number of $G$, and an…

数据结构与算法 · 计算机科学 2021-08-04 Vishesh Jain , Will Perkins , Ashwin Sah , Mehtaab Sawhney

Recently Rubinfeld et al. (ICS 2011, pp. 223--238) proposed a new model of sublinear algorithms called \emph{local computation algorithms}. In this model, a computation problem $F$ may have more than one legal solution and each of them…

数据结构与算法 · 计算机科学 2011-12-01 Noga Alon , Ronitt Rubinfeld , Shai Vardi , Ning Xie

We describe a novel approach to accelerating Monte Carlo Markov Chains. Our focus is cosmological parameter estimation, but the algorithm is applicable to any problem for which the likelihood surface is a smooth function of the free…

宇宙学与河外天体物理 · 物理学 2015-05-20 Adam Bouland , Richard Easther , Katherine Rosenfeld