English
Related papers

Related papers: Counting independent sets via Divide Measure and C…

200 papers

We prove a characterization of all polynomial-time computable queries on the class of interval graphs by sentences of fixed-point logic with counting. More precisely, it is shown that on the class of unordered interval graphs, any query is…

Logic in Computer Science · Computer Science 2011-01-14 Bastian Laubner

The independent set on a graph $G=(V,E)$ is a subset of $V$ such that no two vertices in the subset have an edge between them. The MIS problem on $G$ seeks to identify an independent set with maximum cardinality, i.e. maximum independent…

Data Structures and Algorithms · Computer Science 2017-05-26 Bhadrachalam Chitturi

The mixing time of a graph is an important metric, which is not only useful in analyzing connectivity and expansion properties of the network, but also serves as a key parameter in designing efficient algorithms. We present an efficient…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-10-19 Anisur Rahaman Molla , Gopal Pandurangan

Given a hypergraph H = (V, E), a coloring of its vertices is said to be conflict-free if for every hyperedge S \in E there is at least one vertex in S whose color is distinct from the colors of all other vertices in S. The discrete interval…

Combinatorics · Mathematics 2012-05-01 Panagiotis Cheilaris , Shakhar Smorodinsky

Identifying the sets of operations that can be executed simultaneously is an important problem appearing in many parallel applications. By modeling the operations and their interactions as a graph, one can identify the independent…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-07-28 Ahmet Erdem Sarıyüce , Erik Saule , Ümit V. Çatalyürek

The {Congested Clique} is a distributed-computing model for single-hop networks with restricted bandwidth that has been very intensively studied recently. It models a network by an $n$-vertex graph in which any pair of vertices can…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-02-21 Leonid Barenboim , Victor Khazanov

Divide-and-conquer is a central paradigm for the design of algorithms, through which some fundamental computational problems, such as sorting arrays and computing convex hulls, are solved in optimal time within $\Theta(n\log{n})$ in the…

Data Structures and Algorithms · Computer Science 2015-09-28 Jeremy Barbay , Carlos Ochoa , Pablo Perez-Lantero

We strengthen a result by Laskar and Lyle (Discrete Appl. Math. (2009), 330-338) by proving that it is NP-complete to decide whether a bipartite planar graph can be partitioned into three independent dominating sets. In contrast, we show…

Computational Complexity · Computer Science 2019-05-14 Juho Lauri , Christodoulos Mitillos

We consider graphs on monomials in $n$ variables of a fixed degree $d$ where two monomials are adjacent if and only if their least common multiple has degree $d+1$. We prove that when $n = 3$ and $d$ is divisible by $3$ as well as when…

Combinatorics · Mathematics 2021-03-16 John Machacek

Distributed graph coloring is one of the most extensively studied problems in distributed computing. There is a canonical family of distributed graph coloring algorithms known as the locally-iterative coloring algorithms, first formalized…

Data Structures and Algorithms · Computer Science 2023-01-31 Xinyu Fu , Yitong Yin , Chaodong Zheng

We investigate how efficiently a well-studied family of domination-type problems can be solved on bounded-treewidth graphs. For sets $\sigma,\rho$ of non-negative integers, a $(\sigma,\rho)$-set of a graph $G$ is a set $S$ of vertices such…

Computational Complexity · Computer Science 2025-04-22 Jacob Focke , Dániel Marx , Fionn Mc Inerney , Daniel Neuen , Govind S. Sankar , Philipp Schepper , Philip Wellnitz

We introduce a new graph invariant that measures fractional covering of a graph by cuts. Besides being interesting in its own right, it is useful for study of homomorphisms and tension-continuous mappings. We study the relations with…

Combinatorics · Mathematics 2015-11-24 Robert Šámal

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

A graph $G$ with $n$ vertices is called an outerstring graph if it has an intersection representation of a set of $n$ curves inside a disk such that one endpoint of every curve is attached to the boundary of the disk. Given an outerstring…

Computational Geometry · Computer Science 2021-08-03 Prosenjit Bose , Paz Carmi , J. Mark Keil , Anil Maheshwari , Saeed Mehrabi , Debajyoti Mondal , Michiel Smid

We develop sequential algorithms for constructing edge-colorings of graphs and multigraphs efficiently and using few colors. Our primary focus is edge-coloring arbitrary simple graphs using $d+1$ colors, where $d$ is the largest vertex…

Data Structures and Algorithms · Computer Science 2021-03-02 Corwin Sinnamon

We characterize the connected graphs of given order $n$ and given independence number $\alpha$ that maximize the number of maximum independent sets. For $3\leq \alpha\leq n/2$, there is a unique such graph that arises from the disjoint…

Combinatorics · Mathematics 2018-06-29 E. Mohr , D. Rautenbach

We present an $O(n^5)$ algorithm that computes a maximum stable set of any perfect graph with no balanced skew-partition. We present $O(n^7)$ time algorithm that colors them.

Discrete Mathematics · Computer Science 2020-12-01 Maria Chudnovsky , Nicolas Trotignon , Théophile Trunck , Kristina Vuskovic

In the Independent Set Reconfiguration problem under the Token Addition/Removal rule, given a graph $G$ and two independent sets $I$ and $J$ of $G$, we want to transform $I$ into $J$ by adding and removing vertices, such that all the sets…

Data Structures and Algorithms · Computer Science 2026-04-30 Hung P. Hoang , Naoto Ohsaka , Rin Saito , Yuma Tamura

A $t$-ruling set of a graph $G = (V, E)$ is a vertex-subset $S \subseteq V$ that is independent and satisfies the property that every vertex $v \in V$ is at a distance of at most $t$ from some vertex in $S$. A \textit{maximal independent…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-07-16 Kishore Kothapalli , Sriram Pemmaraju

We present an algorithm that takes as input an $n$-vertex planar graph $G$ and a $k$-vertex pattern graph $P$, and computes the number of (induced) copies of $P$ in $G$ in $2^{O(k/\log k)}n^{O(1)}$ time. If $P$ is a matching, independent…

Data Structures and Algorithms · Computer Science 2019-04-26 Jesper Nederlof