English
Related papers

Related papers: Approximability of the Four-Vertex Model

200 papers

Is Fully Polynomial-time Randomized Approximation Scheme (FPRAS) for a problem via an MCMC algorithm possible when it is known that rapid mixing provably fails? We introduce several weight-preserving maps for the eight-vertex model on…

Computational Complexity · Computer Science 2020-10-13 Jin-Yi Cai , Tianyu Liu

The six-vertex model is an important model in statistical physics and has deep connections with counting problems. There have been some fully polynomial randomized approximation schemes (FPRAS) for the six-vertex model [30, 10], which all…

Probability · Mathematics 2022-02-22 Zhiguo Fu , Junda Li , Xiongxin Yang

We (claim to) prove the extremely surprising fact that NP=RP. It is achieved by creating a Fully Polynomial-Time Randomized Approximation Scheme (FPRAS) for approximately counting the number of independent sets in bounded degree graphs,…

Computational Complexity · Computer Science 2020-08-06 András Faragó

The matrix permanent belongs to the complexity class #P-Complete. It is generally believed to be computationally infeasible for large problem sizes, and significant research has been done on approximation algorithms for the matrix…

Data Structures and Algorithms · Computer Science 2020-12-08 James E. Newman , Moshe Y. Vardi

Weighted model counting (WMC) consists of computing the weighted sum of all satisfying assignments of a propositional formula. WMC is well-known to be #P-hard for exact solving, but admits a fully polynomial randomized approximation scheme…

Artificial Intelligence · Computer Science 2020-07-14 Ralph Abboud , İsmail İlkan Ceylan , Radoslav Dimitrov

We give a fully polynomial-time randomized approximation scheme (FPRAS) for the all-terminal network reliability problem, which is to determine the probability that, in a undirected graph, assuming each edge fails independently, the…

Data Structures and Algorithms · Computer Science 2021-06-16 Heng Guo , Mark Jerrum

We initiate a study of the classification of approximation complexity of the eight-vertex model defined over 4-regular graphs. The eight-vertex model, together with its special case the six-vertex model, is one of the most extensively…

Computational Complexity · Computer Science 2018-11-09 Jin-Yi Cai , Tianyu Liu , Pinyan Lu , Jing Yu

We investigate the computational difficulty of approximating the partition function of the ferromagnetic Ising model on a regular matroid. Jerrum and Sinclair have shown that there is a fully polynomial randomised approximation scheme…

Computational Complexity · Computer Science 2013-08-01 Leslie Ann Goldberg , Mark Jerrum

In the Ising model, we consider the problem of estimating the covariance of the spins at two specified vertices. In the ferromagnetic case, it is easy to obtain an additive approximation to this covariance by repeatedly sampling from the…

Data Structures and Algorithms · Computer Science 2021-06-16 Leslie Ann Goldberg , Mark Jerrum

The approximate uniform sampling of graphs with a given degree sequence is a well-known, extensively studied problem in theoretical computer science and has significant applications, e.g., in the analysis of social networks. In this work we…

Discrete Mathematics · Computer Science 2023-01-05 Georgios Amanatidis , Pieter Kleer

We give a fully polynomial randomized approximation scheme to compute a lower bound for the matching polynomial of any weighted graph at a positive argument. For the matching polynomial of complete bipartite graphs with bounded weights…

Computational Complexity · Computer Science 2007-05-23 Shmuel Friedland

In this paper we give a fully polynomial randomized approximation scheme (FPRAS) for the number of all matchings in hypergraphs belonging to a class of sparse, uniform hypergraphs. Our method is based on a generalization of the canonical…

Data Structures and Algorithms · Computer Science 2012-04-06 Marek Karpinski , Andrzej Rucinski , Edyta Szymanska

Given a graphical model (GM), computing its partition function is the most essential inference task, but it is computationally intractable in general. To address the issue, iterative approximation algorithms exploring certain local…

Machine Learning · Computer Science 2019-05-15 Sejun Park , Eunho Yang , Se-Young Yun , Jinwoo Shin

Conjunctive queries are one of the most common class of queries used in database systems, and the best studied in the literature. A seminal result of Grohe, Schwentick, and Segoufin (STOC 2001) demonstrates that for every class $G$ of…

Data Structures and Algorithms · Computer Science 2020-11-23 Marcelo Arenas , Luis Alberto Croquevielle , Rajesh Jayaram , Cristian Riveros

We study the approximation complexity of the partition function of the eight-vertex model on general 4-regular graphs. For the first time, we relate the approximability of the eight-vertex model to the complexity of approximately counting…

Computational Complexity · Computer Science 2019-04-25 Jin-Yi Cai , Tianyu Liu

We give a fully polynomial-time randomized approximation scheme (FPRAS) for two terminal reliability in directed acyclic graphs (DAGs). In contrast, we also show the complementing problem of approximating two terminal unreliability in DAGs…

Data Structures and Algorithms · Computer Science 2024-02-16 Weiming Feng , Heng Guo

We study the problem of approximating the value of the matching polynomial on graphs with edge parameter $\gamma$, where $\gamma$ takes arbitrary values in the complex plane. When $\gamma$ is a positive real, Jerrum and Sinclair showed that…

Discrete Mathematics · Computer Science 2021-01-13 Ivona Bezakova , Andreas Galanis , Leslie Ann Goldberg , Daniel Stefankovic

In this paper we give a fully polynomial randomized approximation scheme (FPRAS) for the number of matchings in k-uniform hypergraphs whose intersection graphs contain few claws. Our method gives a generalization of the canonical path…

Data Structures and Algorithms · Computer Science 2012-04-25 Marek Karpinski , Andrzej Rucinski , Edyta Szymanska

Counting the number of independent sets for a bipartite graph (#BIS) plays a crucial role in the study of approximate counting. It has been conjectured that there is no fully polynomial-time (randomized) approximation scheme (FPTAS/FPRAS)…

Data Structures and Algorithms · Computer Science 2015-04-09 Jingcheng Liu , Pinyan Lu

We give a fully polynomial-time randomised approximation scheme (FPRAS) for the number of bases in a bicircular matroids. This is a natural class of matroids for which counting bases exactly is #P-hard and yet approximate counting can be…

Data Structures and Algorithms · Computer Science 2021-01-27 Heng Guo , Mark Jerrum
‹ Prev 1 2 3 10 Next ›