English
Related papers

Related papers: Deterministic counting from coupling independence

200 papers

Maximum Independent Set (MIS for short) is in general graphs the paradigmatic $W[1]$-hard problem. In stark contrast, polynomial-time algorithms are known when the inputs are restricted to structured graph classes such as, for instance,…

Data Structures and Algorithms · Computer Science 2019-09-19 Édouard Bonnet , Nicolas Bousquet , Stéphan Thomassé , Rémi Watrigant

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

Motion planning under differential constraints is a classic problem in robotics. To date, the state of the art is represented by sampling-based techniques, with the Rapidly-exploring Random Tree algorithm as a leading example. Yet, the…

Robotics · Computer Science 2015-03-03 Edward Schmerling , Lucas Janson , Marco Pavone

The three domatic number problem asks whether a given undirected graph can be partitioned into at least three dominating sets, i.e., sets whose closed neighborhood equals the vertex set of the graph. Since this problem is NP-complete, no…

Computational Complexity · Computer Science 2007-05-23 Tobias Riege , Jörg Rothe

Recent developments in approximate counting have made startling progress in developing fast algorithmic methods for approximating the number of solutions to constraint satisfaction problems (CSPs) with large arities, using connections to…

Computational Complexity · Computer Science 2022-08-23 Andreas Galanis , Heng Guo , Jiaheng Wang

We develop a framework for obtaining polynomial time approximation schemes (PTAS) for a class of stochastic dynamic programs. Using our framework, we obtain the first PTAS for the following stochastic combinatorial optimization problems:…

Data Structures and Algorithms · Computer Science 2018-05-22 Hao Fu , Jian Li , Pan Xu

We introduce new method of optimization for finding free parameters of affine iterated function systems (IFS), which are used for fractal approximation. We provide the comparison of effectiveness of fractal and quadratic types of…

Dynamical Systems · Mathematics 2012-10-04 K. Igudesman , G. Shabernev

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

In this paper, we present a new exact algorithm for counting perfect matchings, which relies on neither inclusion-exclusion principle nor tree-decompositions. For any bipartite graph of $2n$ nodes and $\Delta n$ edges such that $\Delta \geq…

Data Structures and Algorithms · Computer Science 2012-08-14 Taisuke Izumi , Tadashi Wadayama

In the Flexible Graph Connectivity (FGC) problem, we are given an undirected multigraph on $n$ vertices with nonnegative edge costs, where each edge is classified as either safe or unsafe. Given integer parameters $p$ and $q$, the goal in…

Discrete Mathematics · Computer Science 2026-05-07 Sharat Ibrahimpur , László A. Végh

We present a new random sampling strategy for k-bandlimited signals defined on graphs, based on determinantal point processes (DPP). For small graphs, ie, in cases where the spectrum of the graph is accessible, we exhibit a DPP sampling…

Machine Learning · Computer Science 2017-03-07 Nicolas Tremblay , Pierre-Olivier Amblard , Simon Barthelmé

A distributed algorithm is self-stabilizing if after faults and attacks hit the system and place it in some arbitrary global state, the systems recovers from this catastrophic situation without external intervention in finite time.…

Data Structures and Algorithms · Computer Science 2009-09-29 Samuel Bernard , Stéphane Devismes , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil

We study the power of polynomial-time truthful mechanisms comparing to polynomial time (non-truthful) algorithms. We show that there is a setting in which deterministic polynomial-time truthful mechanisms cannot guarantee a bounded…

Computer Science and Game Theory · Computer Science 2009-08-24 Shahar Dobzinski

We propose new bounds on the domination number and on the independence number of a graph and show that our bounds compare favorably to recent ones. Our bounds are obtained by using the Bhatia-Davis inequality linking the variance, the…

Combinatorics · Mathematics 2022-01-25 Jochen Harant , Samuel Mohr

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

In this paper, we study the following robust optimization problem. Given an independence system and candidate objective functions, we choose an independent set, and then an adversary chooses one objective function, knowing our choice. Our…

Data Structures and Algorithms · Computer Science 2018-05-22 Yasushi Kawase , Hanna Sumita

As the main contribution of this work we present deterministic edge coloring algorithms in the CONGEST model. In particular, we present an algorithm that edge colors any $n$-node graph with maximum degree $\Delta$ with with…

Data Structures and Algorithms · Computer Science 2026-03-04 Joakim Blikstad , Yannic Maus , Tijn de Vos

We settle the complexity of the $(\Delta+1)$-coloring and $(\Delta+1)$-list coloring problems in the CONGESTED CLIQUE model by presenting a simple deterministic algorithm for both problems running in a constant number of rounds. This…

Data Structures and Algorithms · Computer Science 2020-09-15 Artur Czumaj , Peter Davies , Merav Parter

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

A (unit) disk graph is the intersection graph of closed (unit) disks in the plane. Almost three decades ago, an elegant polynomial-time algorithm was found for \textsc{Maximum Clique} on unit disk graphs [Clark, Colbourn, Johnson; Discrete…