English
Related papers

Related papers: An Algorithm for Road Coloring

200 papers

A word $w$ of letters on edges of underlying graph $\Gamma$ of deterministic finite automaton (DFA) is called synchronizing if $w$ sends all states of the automaton to a unique state. J. \v{C}erny discovered in 1964 a sequence of $n$-state…

Formal Languages and Automata Theory · Computer Science 2019-11-12 A. N. Trahtman

Graph coloring involves assigning colors to the vertices of a graph such that two vertices linked by an edge receive different colors. Graph coloring problems are general models that are very useful to formulate many relevant applications…

Machine Learning · Computer Science 2020-10-27 Olivier Goudet , Béatrice Duval , Jin-Kao Hao

We present a randomized algorithm that, given a constant $\epsilon > 0$, outputs a proper $(1+\epsilon)\Delta$-edge-coloring of an $m$-edge simple graph $G$ of maximum degree $\Delta \geq 1/\epsilon$ in $O(m)$ time with high probability.…

Data Structures and Algorithms · Computer Science 2025-02-10 Anton Bernshteyn , Abhishek Dhawan

A proper vertex colouring of a graph is \emph{nested} if the vertices of each of its colour classes can be ordered by inclusion of their open neighbourhoods. Through a relation to partially ordered sets, we show that the nested chromatic…

Combinatorics · Mathematics 2013-06-04 David Cook

A new algorithm for exactly sampling from the set of proper colorings of a graph is presented. This is the first such algorithm that has an expected running time that is guaranteed to be linear in the size of a graph with maximum degree \(…

Probability · Mathematics 2026-01-01 Kritika Bhandari , Mark Huber

Extensions to finite-state automata on strings, such as multi-head automata or multi-counter automata, have been successfully used to encode many infinite-state non-regular verification problems. In this paper, we consider a generalization…

Formal Languages and Automata Theory · Computer Science 2015-09-25 Rayna Dimitrova , Rupak Majumdar

An acyclic r-coloring of a directed graph G=(V,E) is a partition of the vertex set V into r acyclic sets. The dichromatic number of a directed graph G is the smallest r such that G allows an acyclic r-coloring. For symmetric digraphs the…

Data Structures and Algorithms · Computer Science 2020-11-23 Frank Gurski , Dominique Komander , Carolin Rehs

We study the complexity of graph modification problems with respect to homomorphism-based colouring properties of edge-coloured graphs. A homomorphism from edge-coloured graph $G$ to edge-coloured graph $H$ is a vertex-mapping from $G$ to…

Data Structures and Algorithms · Computer Science 2022-05-04 Florent Foucaud , Hervé Hocquard , Dimitri Lajou , Valia Mitsou , Théo Pierron

In the past few years, a successful line of research has lead to lower bounds for several fundamental local graph problems in the distributed setting. These results were obtained via a technique called round elimination. On a high level,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-29 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti , Joonatan Saarhelo

For graph classes $P_1,...,P_k$, Generalized Graph Coloring is the problem of deciding whether the vertex set of a given graph $G$ can be partitioned into subsets $V_1,...,V_k$ so that $V_j$ induces a graph in the class $P_j$…

Combinatorics · Mathematics 2007-05-23 Vladimir E. Alekseev , Alastair Farrugia , Vadim V. Lozin

We study a new variant of \emph{connected coloring} of graphs based on the concept of \emph{strong} edge coloring (every color class forms an \emph{induced} matching). In particular, an edge-colored path is \emph{strongly proper} if its…

The graph coloring problem (GCP) is one of the most studied NP-HARD problems in computer science. Given a graph , the task is to assign a color to all vertices such that no vertices sharing an edge receive the same color and that the number…

Neural and Evolutionary Computing · Computer Science 2021-11-19 Robiul Islam , Arup Kumar Pramanik

Let $\mathcal{C}$ be a family of edge-colored graphs. A $t$-edge colored graph $G$ is $(\mathcal{C}, t)$-saturated if $G$ does not contain any graph in $\mathcal{C}$ but the addition of any edge in any color in $[t]$ creates a copy of some…

Dominator coloring of a graph is a proper (vertex) coloring with the property that every vertex is either alone in its color class or adjacent to all vertices of at least one color class. A dominated coloring of a graph is a proper coloring…

Combinatorics · Mathematics 2020-02-19 Sandi Klavžar , Mostafa Tavakoli

One method to obtain a proper vertex coloring of graphs using a reasonable number of colors is to start from any arbitrary proper coloring and then repeat some local re-coloring techniques to reduce the number of color classes. The Grundy…

Discrete Mathematics · Computer Science 2024-03-05 Manouchehr Zaker

We study the problem of online graph coloring for $k$-colorable graphs. The best previously known deterministic algorithm uses $\widetilde{O}(n^{1-\frac{1}{k!}})$ colors for general $k$ and $\widetilde{O}(n^{5/6})$ colors for $k = 4$, both…

Data Structures and Algorithms · Computer Science 2026-04-06 Ken-ichi Kawarabayashi , Hirotaka Yoneda , Masataka Yoneda

Given a graph, an edge coloring assigns colors to edges so that no pairs of adjacent edges share the same color. We are interested in edge coloring algorithms under the W-streaming model. In this model, the algorithm does not have enough…

Data Structures and Algorithms · Computer Science 2025-04-24 Shiri Chechik , Hongyi Chen , Tianyi Zhang

In this paper we study the number of vertex recolorings that an algorithm needs to perform in order to maintain a proper coloring of a graph under insertion and deletion of vertices and edges. We present two algorithms that achieve…

Data Structures and Algorithms · Computer Science 2018-06-26 Luis Barba , Jean Cardinal , Matias Korman , Stefan Langerman , André van Renssen , Marcel Roeloffzen , Sander Verdonschot

A red-white coloring of a nontrivial connected graph $G$ is an assignment of red and white colors to the vertices of~$G$. Associated with each vertex $v$ of $G$ of diameter $d$ is a $d$-vector, called the code of $v$, whose $i$th coordinate…

Combinatorics · Mathematics 2025-04-09 Yuya Kono

A proof of the Generalized Road Coloring Problem, independent of the recent work by Beal and Perrin, is presented, using both semigroup methods and Trakhtman's algorithm. Algebraic properties of periodic, strongly connected digraphs are…

Combinatorics · Mathematics 2011-02-11 Greg Budzban , Philip Feinsilver