English
Related papers

Related papers: The complexity of approximating averages on bounde…

200 papers

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

We study the hard-core model defined on independent sets, where each independent set I in a graph G is weighted proportionally to $\lambda^{|I|}$, for a positive real parameter $\lambda$. For large $\lambda$, computing the partition…

Probability · Mathematics 2011-08-15 Ricardo Restrepo , Jinwoo Shin , Prasad Tetali , Eric Vigoda , Linji Yang

We define a proportionally dense subgraph (PDS) as an induced subgraph of a graph with the property that each vertex in the PDS is adjacent to proportionally as many vertices in the subgraph as in the graph. We prove that the problem of…

Computational Complexity · Computer Science 2020-06-11 Cristina Bazgan , Janka Chlebíková , Clément Dallard , Thomas Pontoizeau

We establish the average-case hardness of the algorithmic problem of exact computation of the partition function associated with the Sherrington-Kirkpatrick model of spin glasses with Gaussian couplings and random external field. In…

Probability · Mathematics 2023-09-19 David Gamarnik , Eren Kizildag

We prove a conjecture of Bonamy, Bousquet, Pilipczuk, Rz\k{a}\.zewski, Thomass\'e, and Walczak, that for every graph $H$, there is a polynomial $p$ such that for every positive integer $s$, every graph of average degree at least $p(s)$…

Combinatorics · Mathematics 2024-09-30 Romain Bourneuf , Matija Bucić , Linda Cook , James Davies

We study the complexity of approximating the partition function $Z_{\mathrm{Ising}}(G; \beta)$ of the Ising model in terms of the relation between the edge interaction $\beta$ and a parameter $\Delta$ which is an upper bound on the maximum…

Computational Complexity · Computer Science 2022-04-11 Andreas Galanis , Leslie Ann Goldberg , Andrés Herrera-Poyatos

An independent transversal of a graph $G$ with a vertex partition $\mathcal P$ is an independent set of $G$ intersecting each block of $\mathcal P$ in a single vertex. Wanless and Wood proved that if each block of $\mathcal P$ has size at…

Combinatorics · Mathematics 2022-05-11 Carla Groenland , Tomáš Kaiser , Oscar Treffers , Matthew Wales

Query evaluation over probabilistic databases is notoriously intractable -- not only in combined complexity, but often in data complexity as well. This motivates the study of approximation algorithms, and particularly of combined FPRASes,…

Databases · Computer Science 2025-12-17 Antoine Amarilli , Timothy van Bremen , Octave Gaspard , Kuldeep S. Meel

The main results of this paper provide an Efficient Polynomial-Time Approximation Scheme (EPTAS) for approximating the genus (and non-orientable genus) of dense graphs. By dense we mean that $|E(G)|\ge \alpha |V(G)|^2$ for some fixed…

Combinatorics · Mathematics 2024-08-28 Yifan Jing , Bojan Mohar

We design a deterministic algorithm that, given $n$ points in a \emph{typical} constant degree regular~graph, queries $O(n)$ distances to output a constant factor approximation to the average distance among those points, thus answering a…

Data Structures and Algorithms · Computer Science 2025-10-22 Alexandros Eskenazis , Manor Mendel , Assaf Naor

Parameterized complexity theory has enabled a refined classification of the difficulty of NP-hard optimization problems on graphs with respect to key structural properties, and so to a better understanding of their true difficulties. More…

Data Structures and Algorithms · Computer Science 2017-10-19 David Coudert , Guillaume Ducoffe , Alexandru Popa

A resolving set $S$ of a graph $G$ is a subset of its vertices such that no two vertices of $G$ have the same distance vector to $S$. The Metric Dimension problem asks for a resolving set of minimum size, and in its decision form, a…

Computational Complexity · Computer Science 2019-07-19 Édouard Bonnet , Nidhi Purohit

We propose a polynomial-time algorithm which takes as input a finite set of points of $\mathbb R^3$ and compute, up to arbitrary precision, a maximum subset with diameter at most $1$. More precisely, we give the first randomized EPTAS and…

Computational Geometry · Computer Science 2018-04-12 Marthe Bonamy , Édouard Bonnet , Nicolas Bousquet , Pierre Charbit , Stéphan Thomassé

A proportionally dense subgraph (PDS) of a graph is an induced subgraph of size at least two such that every vertex in the subgraph has proportionally as many neighbors inside as outside of the subgraph. Then, maxPDS is the problem of…

Computational Complexity · Computer Science 2024-06-03 Narmina Baghirova , Antoine Castillon

For spin systems, such as the $q$-colorings and independent-set models, approximating the partition function in the so-called non-uniqueness region, where the model exhibits long-range correlations, is typically computationally hard for…

Data Structures and Algorithms · Computer Science 2021-05-06 Zongchen Chen , Andreas Galanis , Daniel Štefankovič , Eric Vigoda

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 propose a new type of approximate counting algorithms for the problems of enumerating the number of independent sets and proper colorings in low degree graphs with large girth. Our algorithms are not based on a commonly used Markov chain…

Probability · Mathematics 2007-05-23 Antar Bandyopadhyay , David Gamarnik

Consider the setting of \emph{randomly weighted graphs}, namely, graphs whose edge weights are chosen independently according to probability distributions with finite support over the non-negative reals. Under this setting, properties of…

Data Structures and Algorithms · Computer Science 2010-03-30 Yuval Emek , Amos Korman , Yuval Shavitt

General factors are a generalization of matchings. Given a graph $G$ with a set $\pi(v)$ of feasible degrees, called a degree constraint, for each vertex $v$ of $G$, the general factor problem is to find a (spanning) subgraph $F$ of $G$…

Discrete Mathematics · Computer Science 2024-05-24 Shuai Shao , Stanislav Živný

We give an FPTAS and an efficient sampling algorithm for the high-fugacity hard-core model on bounded-degree bipartite expander graphs and the low-temperature ferromagnetic Potts model on bounded-degree expander graphs. The results apply,…

Data Structures and Algorithms · Computer Science 2020-03-25 Matthew Jenssen , Peter Keevash , Will Perkins