English
Related papers

Related papers: A new approach on locally checkable problems

200 papers

Low-treedepth colorings are an important tool for algorithms that exploit structure in classes of bounded expansion; they guarantee subgraphs that use few colors have bounded treedepth. These colorings have an implicit tradeoff between the…

Data Structures and Algorithms · Computer Science 2018-07-26 Jeremy Kun , Michael P. O'Brien , Marcin Pilipczuk , Blair D. Sullivan

We introduce a new parameter, called stretch-width, that we show sits strictly between clique-width and twin-width. Unlike the reduced parameters [BKW '22], planar graphs and polynomial subdivisions do not have bounded stretch-width. This…

Discrete Mathematics · Computer Science 2023-05-23 Édouard Bonnet , Julien Duron

Roman domination is one of the many variants of domination that keeps most of the complexity features of the classical domination problem. We prove that Roman domination behaves differently in two aspects: enumeration and extension. We…

Data Structures and Algorithms · Computer Science 2022-04-12 Faisal N. Abu-Khzam , Henning Fernau , Kevin Mann

Consider any locally checkable labeling problem $\Pi$ in rooted regular trees: there is a finite set of labels $\Sigma$, and for each label $x \in \Sigma$ we specify what are permitted label combinations of the children for an internal node…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-05 Alkida Balliu , Sebastian Brandt , Yi-Jun Chang , Dennis Olivetti , Jan Studený , Jukka Suomela , Aleksandr Tereshchenko

Many important combinatorial problems can be modeled as constraint satisfaction problems. Hence identifying polynomial-time solvable classes of constraint satisfaction problems has received a lot of attention. In this paper, we are…

Data Structures and Algorithms · Computer Science 2017-11-15 Martin Grohe , Dániel Marx

We study the problem of bi-chromatic coloring of hypergraphs in the LOCAL distributed model of computation. This problem can easily be solved by a randomized local algorithm with no communication. However, it is not known how to solve it…

Data Structures and Algorithms · Computer Science 2019-08-01 Dariusz R. Kowalski , Piotr Krysta

Treewidth is a measure of how tree-like a graph is. It has many important algorithmic applications because many NP-hard problems on general graphs become tractable when restricted to graphs of bounded treewidth. Algorithms for problems on…

Data Structures and Algorithms · Computer Science 2020-06-03 Johan M. M. van Rooij

Graph alignment aims at finding the vertex correspondence between two correlated graphs, a task that frequently occurs in graph mining applications such as social network analysis. Attributed graph alignment is a variant of graph alignment,…

Data Structures and Algorithms · Computer Science 2024-03-13 Ziao Wang , Ning Zhang , Weina Wang , Lele Wang

Classes of graphs with bounded expansion are a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, the greatest reduced average density (grad) of G with rank r,…

Combinatorics · Mathematics 2007-05-23 Jaroslav Nesetril , Patrice Ossona De Mendez

For any $\varepsilon > 0$, we give a polynomial-time $n^\varepsilon$-approximation algorithm for Max Independent Set in graphs of bounded twin-width given with an $O(1)$-sequence. This result is derived from the following time-approximation…

Data Structures and Algorithms · Computer Science 2022-09-27 Pierre Bergé , Édouard Bonnet , Hugues Déprés , Rémi Watrigant

The notion of a (polynomial) kernelization from parameterized complexity is a well-studied model for efficient preprocessing for hard computational problems. By now, it is quite well understood which parameterized problems do or…

Data Structures and Algorithms · Computer Science 2025-04-28 Leonid Antipov , Stefan Kratsch

The focus of this paper is two fold. Firstly, we present a logical approach to graph modification problems such as minimum node deletion, edge deletion, edge augmentation problems by expressing them as an expression in first order (FO)…

Logic in Computer Science · Computer Science 2017-11-09 Kona Harshita , Sounaka Mishra , Renjith. P , N. Sadagopan

A graph is said to be well-dominated if all its minimal dominating sets are of the same size. The class of well-dominated graphs forms a subclass of the well studied class of well-covered graphs. While the recognition problem for the class…

Discrete Mathematics · Computer Science 2023-06-22 Didem Gözüpek , Ademir Hujdurović , Martin Milanič

We study the {\em Budgeted Dominating Set} (BDS) problem on uncertain graphs, namely, graphs with a probability distribution $p$ associated with the edges, such that an edge $e$ exists in the graph with probability $p(e)$. The input to the…

Data Structures and Algorithms · Computer Science 2021-07-08 Keerti Choudhary , Avi Cohen , N. S. Narayanaswamy , David Peleg , R. Vijayaragunathan

The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…

The concept of generalized domination unifies well-known variants of domination-like and independence problems, such as Dominating Set, Independent Set, Perfect Code, etc. A generalized domination (also called $[\sigma,\rho]$-Dominating…

Computational Complexity · Computer Science 2014-04-04 Mathieu Chapelle

Let $G=(V,E)$ be a finite undirected graph. An edge set $E' \subseteq E$ is a {\em dominating induced matching} ({\em d.i.m.}) in $G$ if every edge in $E$ is intersected by exactly one edge of $E'$. The \emph{Dominating Induced Matching}…

Discrete Mathematics · Computer Science 2020-03-20 Andreas Brandstädt , Raffaele Mosca

This paper investigates concurrency-constrained scheduling problems, where the objective is to construct a schedule for a set of jobs subject to concurrency restrictions. Formally, we are given a conflict graph $G$ defined over a set of $n$…

Discrete Mathematics · Computer Science 2025-06-30 Hans L. Bodlaender , Danny Hermelin , Erik Jan van Leeuwen

In this paper, we show that given a weighted, directed planar graph $G$, and any $\epsilon >0$, there exists a polynomial time and $O(n^{\frac{1}{2}+\epsilon})$ space algorithm that computes the shortest path between two fixed vertices in…

Computational Complexity · Computer Science 2015-02-10 Diptarka Chakraborty , Raghunath Tewari

A semitotal dominating set of a graph $G$ with no isolated vertex is a dominating set $D$ of $G$ such that every vertex in $D$ is within distance two of another vertex in $D$. The minimum size $\gamma_{t2}(G)$ of a semitotal dominating set…

Computational Complexity · Computer Science 2018-10-17 Esther Galby , Andrea Munaro , Bernard Ries