English
Related papers

Related papers: #BIS-Hardness for 2-Spin Systems on Bipartite Boun…

200 papers

The class of two-spin systems contains several important models, including random independent sets and the Ising model of statistical physics. We show that for both the hard-core (independent set) model and the anti-ferromagnetic Ising…

Probability · Mathematics 2012-03-13 Allan Sly , Nike Sun

The problem of (approximately) counting the independent sets of a bipartite graph (#BIS) is the canonical approximate counting problem that is complete in the intermediate complexity class #RH\Pi_1. It is believed that #BIS does not have an…

Computational Complexity · Computer Science 2019-07-16 Radu Curticapean , Holger Dell , Fedor Fomin , Leslie Ann Goldberg , John Lapinskas

We study the approximability of computing the partition function for ferromagnetic two-state spin systems. The remarkable algorithm by Jerrum and Sinclair showed that there is a fully polynomial-time randomized approximation scheme (FPRAS)…

Computational Complexity · Computer Science 2014-02-19 Jingcheng Liu , Pinyan Lu , Chihao Zhang

A remarkable connection has been established for antiferromagnetic 2-spin systems, including the Ising and hard-core models, showing that the computational complexity of approximating the partition function for graphs with maximum degree D…

Computational Complexity · Computer Science 2014-11-05 Andreas Galanis , Daniel Stefankovic , Eric Vigoda

Recent results establish for 2-spin antiferromagnetic systems that the computational complexity of approximating the partition function on graphs of maximum degree D undergoes a phase transition that coincides with the uniqueness phase…

Computational Complexity · Computer Science 2016-09-15 Andreas Galanis , Daniel Stefankovic , Eric Vigoda , Linji Yang

We give a randomized algorithm that approximates the number of independent sets in a dense, regular bipartite graph -- in the language of approximate counting, we give an FPRAS for #BIS on the class of dense, regular bipartite graphs.…

Data Structures and Algorithms · Computer Science 2023-07-20 Charlie Carlson , Ewan Davies , Alexandra Kolla , Aditya Potukuchi

One of the most important recent developments in the complexity of approximate counting is the classification of the complexity of approximating the partition functions of antiferromagnetic 2-spin systems on bounded-degree graphs. This…

Computational Complexity · Computer Science 2016-06-21 Andreas Galanis , Leslie Ann Goldberg

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

A spin system is a framework in which the vertices of a graph are assigned spins from a finite set. The interactions between neighbouring spins give rise to weights, so a spin assignment can also be viewed as a weighted graph homomorphism.…

Data Structures and Algorithms · Computer Science 2021-04-15 Andreas Galanis , Leslie Ann Goldberg , James Stewart

Two-state spin systems is a classical topic in statistical physics. We consider the problem of computing the partition function of the systems on a bounded degree graph. Based on the self-avoiding tree, we prove the systems exhibits strong…

Discrete Mathematics · Computer Science 2009-12-01 Jinshan Zhang , Heng Liang , Fengshan Bai

We study the approximability of computing the partition functions of two-state spin systems. The problem is parameterized by a $2\times 2$ symmetric matrix. Previous results on this problem were restricted either to the case where the…

Computational Complexity · Computer Science 2025-08-19 Yumou Fei , Leslie Ann Goldberg , Pinyan Lu

In a seminal paper (Weitz, 2006), Weitz gave a deterministic fully polynomial approximation scheme for count- ing exponentially weighted independent sets (equivalently, approximating the partition function of the hard-core model from…

Discrete Mathematics · Computer Science 2015-03-19 Alistair Sinclair , Piyush Srivastava , Marc Thurley

We provide evidence that it is computationally difficult to approximate the partition function of the ferromagnetic q-state Potts model when q>2. Specifically we show that the partition function is hard for the complexity class #RHPi_1…

Computational Complexity · Computer Science 2012-11-13 Leslie Ann Goldberg , Mark Jerrum

We give a complete characterization of the two-state anti-ferromagnetic spin systems which are of strong spatial mixing on general graphs. We show that a two-state anti-ferromagnetic spin system is of strong spatial mixing on all graphs of…

Data Structures and Algorithms · Computer Science 2021-05-10 Liang Li , Pinyan Lu , Yitong Yin

We consider the problem of approximating the partition function of the hard-core model on planar graphs of degree at most 4. We show that when the activity lambda is sufficiently large, there is no fully polynomial randomised approximation…

Computational Complexity · Computer Science 2014-07-08 Leslie Ann Goldberg , Mark Jerrum , Colin McQuillan

We give an FPTAS for approximating the partition function of the hard-core model for bipartite graphs when there is sufficient imbalance in the degrees or fugacities between the sides $(L,R)$ of the bipartition. This includes, among others,…

Data Structures and Algorithms · Computer Science 2019-06-06 Sarah Cannon , Will Perkins

Two kinds of approximation algorithms exist for the k-BALANCED PARTITIONING problem: those that are fast but compute unsatisfying approximation ratios, and those that guarantee high quality ratios but are slow. In this paper we prove that…

Computational Complexity · Computer Science 2019-04-29 Andreas Emil Feldmann

Recent inapproximability results of Sly (2010), together with an approximation algorithm presented by Weitz (2006) establish a beautiful picture for the computational complexity of approximating the partition function of the hard-core…

Discrete Mathematics · Computer Science 2016-09-14 Andreas Galanis , Daniel Stefankovic , Eric Vigoda

We introduce a new graph polynomial that encodes interesting properties of graphs, for example, the number of matchings and the number of perfect matchings. Most importantly, for bipartite graphs the polynomial encodes the number of…

Discrete Mathematics · Computer Science 2010-02-10 Qi Ge , Daniel Stefankovic

We study the Maximum Bipartite Subgraph (MBS) problem, which is defined as follows. Given a set $S$ of $n$ geometric objects in the plane, we want to compute a maximum-size subset $S'\subseteq S$ such that the intersection graph of the…

Discrete Mathematics · Computer Science 2020-03-19 Satyabrata Jana , Anil Maheshwari , Saeed Mehrabi , Sasanka Roy
‹ Prev 1 2 3 10 Next ›