English
Related papers

Related papers: Deterministic counting from coupling independence

200 papers

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é

In this paper, we consider algorithms for edge-coloring multigraphs $G$ of bounded maximum degree, i.e., $\Delta(G) = O(1)$. Shannon's theorem states that any multigraph of maximum degree $\Delta$ can be properly edge-colored with…

Data Structures and Algorithms · Computer Science 2023-10-31 Abhishek Dhawan

In this paper we propose a deterministic algorithm for approximately counting the $k$-colourings of sparse random graphs $G(n,d/n)$. In particular, our algorithm computes in polynomial time a $(1\pm n^{-\Omega(1)})$approximation of the…

Discrete Mathematics · Computer Science 2020-08-12 Charilaos Efthymiou

We study Ising spin models on finitely connected random interaction graphs which are drawn from an ensemble in which not only the degree distribution $p(k)$ can be chosen arbitrarily, but which allows for further fine-tuning of the topology…

Disordered Systems and Neural Networks · Physics 2009-11-13 C. J. Perez-Vicente , A. C. C. Coolen

The 3-domatic number problem asks whether a given graph can be partitioned intothree dominating sets. We prove that this problem can be solved by a deterministic algorithm in time 2.695^n (up to polynomial factors). This result improves the…

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

For an integer $b\ge 0$, a $b$-matching in a graph $G=(V,E)$ is a set $S\subseteq E$ such that each vertex $v\in V$ is incident to at most $b$ edges in $S$. We design a fully polynomial-time approximation scheme (FPTAS) for counting the…

Data Structures and Algorithms · Computer Science 2024-07-09 Kun He , Zhidan Li , Guoliang Qiu , Chihao Zhang

We present a simple distributed $\Delta$-approximation algorithm for maximum weight independent set (MaxIS) in the $\mathsf{CONGEST}$ model which completes in $O(\texttt{MIS}(G)\cdot \log W)$ rounds, where $\Delta$ is the maximum degree,…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-08-02 Reuven Bar-Yehuda , Keren Censor-Hillel , Mohsen Ghaffari , Gregory Schwartzman

We construct a deterministic approximation algorithm for computing a permanent of a $0,1$ $n$ by $n$ matrix to within a multiplicative factor $(1+\epsilon)^n$, for arbitrary $\epsilon>0$. When the graph underlying the matrix is a constant…

Combinatorics · Mathematics 2007-05-23 David Gamarnik , Dmitriy Katz

In this paper we introduce a new approach for approximately counting in bounded degree systems with higher-order constraints. Our main result is an algorithm to approximately count the number of solutions to a CNF formula $\Phi$ when the…

Data Structures and Algorithms · Computer Science 2017-03-17 Ankur Moitra

We consider the problem of designing deterministic graph algorithms for the model of Massively Parallel Computation (MPC) that improve with the sparsity of the input graph, as measured by the notion of arboricity. For the problems of…

Data Structures and Algorithms · Computer Science 2023-07-03 Manuela Fischer , Jeff Giliberti , Christoph Grunau

In the model of \emph{local computation algorithms} (LCAs), we aim to compute the queried part of the output by examining only a small (sublinear) portion of the input. Many recently developed LCAs on graph problems achieve time and space…

Data Structures and Algorithms · Computer Science 2015-02-16 Reut Levi , Ronitt Rubinfeld , Anak Yodpinyanee

We give a polynomial time approximation scheme (PTAS) for computing the supremum of a Gaussian process. That is, given a finite set of vectors $V\subseteq\mathbb{R}^d$, we compute a $(1+\varepsilon)$-factor approximation to $\mathop…

Data Structures and Algorithms · Computer Science 2015-03-27 Raghu Meka

We give fully polynomial-time approximation schemes (FPTAS) for the partition function of ferromagnetic 2-spin systems in certain parameter regimes. The threshold we obtain is almost tight up to an integrality gap. Our technique is based on…

Data Structures and Algorithms · Computer Science 2018-07-06 Heng Guo , Pinyan Lu

The Independent Cutset problem asks whether there is a set of vertices in a given graph that is both independent and a cutset. Such a problem is $\textsf{NP}$-complete even when the input graph is planar and has maximum degree five. In this…

Data Structures and Algorithms · Computer Science 2023-11-21 Johannes Rauch , Dieter Rautenbach , Uéverton S. Souza

Consider the Maximum Weight Independent Set problem for rectangles: given a family of weighted axis-parallel rectangles in the plane, find a maximum-weight subset of non-overlapping rectangles. The problem is notoriously hard both in the…

Data Structures and Algorithms · Computer Science 2016-11-22 Michał Pilipczuk , Erik Jan van Leeuwen , Andreas Wiese

We give a simple combinatorial algorithm to deterministically approximately count the number of satisfying assignments of general constraint satisfaction problems (CSPs). Suppose that the CSP has domain size $q=O(1)$, each constraint…

Data Structures and Algorithms · Computer Science 2023-03-10 Kun He , Chunyang Wang , Yitong Yin

We develop a new framework to prove the mixing or relaxation time for the Glauber dynamics on spin systems with unbounded degree. It works for general spin systems including both $2$-spin and multi-spin systems. As applications for this…

Data Structures and Algorithms · Computer Science 2024-07-08 Xiaoyu Chen , Weiming Feng

We give a number of approximation metatheorems for monotone maximization problems expressible in the first-order logic, in substantially more general settings than the previously known. We obtain * constant-factor approximation algorithm in…

Discrete Mathematics · Computer Science 2021-10-12 Zdeněk Dvořák

We present a deterministic distributed algorithm, in the LOCAL model, that computes a $(1+o(1))\Delta$-edge-coloring in polylogarithmic-time, so long as the maximum degree $\Delta=\tilde{\Omega}(\log n)$. For smaller $\Delta$, we give a…

Data Structures and Algorithms · Computer Science 2017-11-16 Mohsen Ghaffari , Fabian Kuhn , Yannic Maus , Jara Uitto

We present a quasipolynomial-time approximation scheme (QPTAS) for the Maximum Independent Set (\textsc{MWIS}) in graphs with a bounded number of pairwise vertex-disjoint and non-adjacent long induced cycles. More formally, for every fixed…

Data Structures and Algorithms · Computer Science 2026-02-23 Édouard Bonnet , Jadwiga Czyżewska , Tomáš Masařík , Marcin Pilipczuk , Paweł Rzążewski