k-Colorability is Graph Automaton Recognizable

Antonios Kalampakas

DOI: https://doi.org/10.48550/arXiv.1401.5287

2014-01-21

Formal Languages and Automata Theory

Abstract:Automata operating on general graphs have been introduced by virtue of graphoids. In this paper we construct a graph automaton that recognizes $k$-colorable graphs.

What problem does this paper attempt to address?

Exploring k-Colorability

Kia Kai Li

DOI: https://doi.org/10.48550/arXiv.cs/0702058

2007-02-10

Abstract:An introductory paper to the graph k-colorability problem.

Computational Complexity
A note on graphs of $k$-colourings

Emma Hogan,Alex Scott,Youri Tamitegama,Jane Tan

2024-03-01

Abstract:For a graph $G$, the $k$-colouring graph of $G$ has vertices corresponding to proper $k$-colourings of $G$ and edges between colourings that differ at a single vertex. The graph supports the Glauber dynamics Markov chain for $k$-colourings, and has been extensively studied from both extremal and probabilistic perspectives. In this note, we show that for every graph $G$, there exists $k$ such that $G$ is uniquely determined by its $k$-colouring graph, confirming two conjectures of Asgarli, Krehbiel, Levinson and Russell. We further show that no finite family of generalised chromatic polynomials for $G$, which encode induced subgraph counts of its colouring graphs, uniquely determine $G$.

Combinatorics
Finite Automata for Efficient Graph Recognition

Frank Drewes,Berthold Hoffmann,Mark Minas

2024-04-23

Abstract:Engelfriet and Vereijken have shown that linear graph grammars based on hyperedge replacement generate graph languages that can be considered as interpretations of regular string languages over typed symbols. In this paper we show that finite automata can be lifted from strings to graphs within the same framework. For the efficient recognition of graphs with these automata, we make them deterministic by a modified powerset construction, and state sufficient conditions under which deterministic finite graph automata recognize graphs without the need to use backtracking.

Formal Languages and Automata Theory
First-principles statistical mechanics study of the stability of a sub-nanometer thin surface oxide in reactive environments: CO oxidation at Pd(100)

Jutta Rogal,Karsten Reuter,Matthias Scheffler

DOI: https://doi.org/10.1103/PhysRevLett.98.046101

2006-09-05

Abstract:We employ a multiscale modeling approach to study the surface structure and composition of a Pd(100) model catalyst in reactive environments. Under gas phase conditions representative of technological CO oxidation (~1 atm, 300-600 K) we find the system on the verge of either stabilizing sub-nanometer thin oxide structures or CO adlayers at the surface. Under steady-state operation this suggests the presence or continuous formation and reduction of oxidic patches at the surface, which could be key to understand the observable catalytic function.

Materials Science
Recoloring via modular decomposition

Manoj Belavadi,Kathie Cameron,Ni Luh Dewi Sintiari

2024-05-10

Abstract:The reconfiguration graph of the $k$-colorings of a graph $G$, denoted $R_{k}(G)$, is the graph whose vertices are the $k$-colorings of $G$ and two colorings are adjacent in $R_{k}(G)$ if they differ in color on exactly one vertex. A graph $G$ is said to be recolorable if $R_{\ell}(G)$ is connected for all $\ell \geq \chi(G)$+1. We use the modular decomposition of several graph classes to prove that the graphs in the class are recolorable. In particular, we prove that every ($P_5$, diamond)-free graph, every ($P_5$, house, bull)-free graph, and every ($P_5$, $C_5$, co-fork)-free graph is recolorable.

Combinatorics,Discrete Mathematics
A Note on K-Colorability of P 5-Free Graphs

Chính T. Hoàng,Marcin Kamiński,Vadim Lozin,Joe Sawada,Xiao Shu

DOI: https://doi.org/10.1007/978-3-540-85238-4_31

2008-01-01

Abstract:We present a polynomial-time algorithm determining whether or not, for a fixed k, a P 5-free graph can be k-colored. If such a coloring exists, the algorithm will produce one.
Recoloring some hereditary graph classes

Manoj Belavadi,Kathie Cameron

2024-03-05

Abstract:The reconfiguration graph of the $k$-colorings, denoted $R_k(G)$, is the graph whose vertices are the $k$-colorings of $G$ and two colorings are adjacent in $R_k(G)$ if they differ in color on exactly one vertex. A graph $G$ is said to be recolorable if $R_{\ell}(G)$ is connected for all $\ell\geq \chi(G)$+1. In this paper, we study the recolorability of several graph classes restricted by forbidden induced subgraphs. We prove some properties of a vertex-minimal graph $G$ which is not recolorable. We show that every (triangle, $H$)-free graph is recolorable if and only if every (paw, $H$)-free graph is recolorable. Every graph in the class of $(2K_2,\ H)$-free graphs, where $H$ is a 4-vertex graph except $P_4$ or $P_3$+$P_1$, is recolorable if $H$ is either a triangle, paw, claw, or diamond. Furthermore, we prove that every ($P_5$, $C_5$, house, co-banner)-free graph is recolorable.

Combinatorics
Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice

Amitayu Banerjee,Zalán Molnár,Alexa Gopaulsingh

2024-05-26

Abstract:We work with simple graphs in ZF (Zermelo--Fraenkel set theory without the Axiom of Choice (AC)) and assume that the sets of colors can be either well-orderable or non-well-orderable to prove that the following statements are equivalent to Kőnig Lemma: (a) Any infinite locally finite connected graph G such that the minimum degree of G is greater than k, has a chromatic number for any fixed integer k greater than or equal to 2. (b) Any infinite locally finite connected graph has a chromatic index. (c) Any infinite locally finite connected graph has a distinguishing number. (d) Any infinite locally finite connected graph has a distinguishing index. Our results strengthen some results of Stawiski from a recent paper on the role of the Axiom of Choice in proper and distinguishing colorings since he assumed that the sets of colors can be well-ordered. We also formulate new conditions for the existence of irreducible proper coloring, minimal edge cover, maximal matching, and minimal dominating set in connected bipartite graphs and locally finite connected graphs, which are either equivalent to AC or Kőnig Lemma. Moreover, we show that if the Axiom of Choice for families of 2 element sets holds, then the Shelah--Soifer graph has a minimal dominating set.

Combinatorics,Logic
A note on fall colorings of Kneser graphs

Saeed Shaebani

DOI: https://doi.org/10.48550/arXiv.0909.2772

2009-09-15

Combinatorics

Abstract:A fall coloring of a graph G is a proper coloring of G with k colors such that each vertex sees all k colors on its closed neighborhood. In this short note, we characterize all fall colorings of Kneser graphs of type KG(n,2).
A note on $\bar{X}$-coloring and $\hat{A}$-coloring 4-regular graphs

Jorik Jooken

2024-01-11

Abstract:Let $\partial_H(u)$ be the set of edges incident with a vertex $u$ in the graph $H$. We say that a graph $G$ is $H$-colorable if there exist total functions $f : E(G) \rightarrow E(H)$ and $g : V(G) \rightarrow V(H)$ such that $f$ is a proper edge-coloring of $G$ and for each vertex $u \in V(G)$ we have $f(\partial_G(u))=\partial_H(g(u))$. Let $\bar{X}$ be the graph obtained by adding three parallel edges between two degree one vertices of the graph $K_{1,4}$. Let $\hat{A}$ be the graph obtained by adding two pendant edges to two different vertices of a triangle and then adding two edges between the degree two vertex and the two adjacent degree three vertices. Malnegro and Ozeki [Discrete Math. 347(3):113844 (2024)] asked whether every 4-regular graph with an even number of vertices and an even cycle decomposition of size 3 admits an $\bar{X}$-coloring or an $\hat{A}$-coloring and whether every 2-connected planar 4-regular graph with an even number of vertices admits such a coloring. Additionally, they conjectured that for every 2-edge-connected simple cubic graph $G$ with an even number of edges, the line graph $L(G)$ is $\bar{X}$-colorable. In this short note, we discuss two algorithms for deciding whether a graph $G$ is $H$-colorable. We give a negative answer to the two questions and disprove the conjecture by finding suitable graphs, as verified by two independent algorithms.

Combinatorics
About Fall Colorings of Graphs

Saeed Shaebani

DOI: https://doi.org/10.48550/arXiv.0909.2775

2009-09-15

Combinatorics

Abstract:A fall $k$-coloring of a graph $G$ is a proper $k$-coloring of $G$ such that each vertex of $G$ sees all $k$ colors on its closed neighborhood. In this paper, we answer some questions of \cite{dun} about some relations between fall colorings and some other types of graph colorings.
Color-line and Proper Color-line Graphs

Van Bang Le,Florian Pfender

DOI: https://doi.org/10.48550/arXiv.1511.01025

2019-06-07

Abstract:Motivated by investigations of rainbow matchings in edge colored graphs, we introduce the notion of color-line graphs that generalizes the classical concept of line graphs in a natural way. Let $H$ be a (properly) edge-colored graph. The (proper) color-line graph $C\!L(H)$ of $H$ has edges of $H$ as vertices, and two edges of $H$ are adjacent in $C\!L(H)$ if they are incident in $H$ or have the same color. We give Krausz-type characterizations for (proper) color-line graphs, and point out that, for any fixed $k\ge 2$, recognizing if a graph is the color-line graph of some graph $H$ in which the edges are colored with at most $k$ colors is NP-complete. In contrast, we show that, for any fixed $k$, recognizing color-line graphs of properly edge colored graphs $H$ with at most $k$ colors is polynomially. Moreover, we give a good characterization for proper $2$-color line graphs that yields a linear time recognition algorithm in this case.

Combinatorics,Discrete Mathematics
The recognizability of sets of graphs is a robust property

Bruno Courcelle,Pascal Weil

DOI: https://doi.org/10.48550/arXiv.cs/0609109

2006-09-19

Logic in Computer Science

Abstract:Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the notion of a recognizable set of graphs in terms of finite congruences. Applications to the construction of efficient algorithms and to the theory of context-free sets of graphs follow naturally. The class of recognizable sets depends on the signature of graph operations. We consider three signatures related respectively to Hyperedge Replacement (HR) context-free graph grammars, to Vertex Replacement (VR) context-free graph grammars, and to modular decompositions of graphs. We compare the corresponding classes of recognizable sets. We show that they are robust in the sense that many variants of each signature (where in particular operations are defined by quantifier-free formulas, a quite flexible framework) yield the same notions of recognizability. We prove that for graphs without large complete bipartite subgraphs, HR-recognizability and VR-recognizability coincide. The same combinatorial condition equates HR-context-free and VR-context-free sets of graphs. Inasmuch as possible, results are formulated in the more general framework of relational structures.
A Partially Synchronizing Coloring

A.N. Trahtman

DOI: https://doi.org/10.48550/arXiv.2206.07116

2022-06-15

Abstract:Given a finite directed graph, a coloring of its edges turns the graph into a finite-state automaton. A k-synchronizing word of a deterministic automaton is a word in the alphabet of colors at its edges that maps the state set of the automaton at least on k-element subset. A coloring of edges of a directed strongly connected finite graph of a uniform outdegree (constant outdegree of any vertex) is k-synchronizing if the coloring turns the graph into a deterministic finite automaton possessing a k-synchronizing word. For k=1 one has the well known road coloring problem. The recent positive solution of the road coloring problem implies an elegant generalization considered first by Beal and Perrin: a directed finite strongly connected graph of uniform outdegree is k-synchronizing iff the greatest common divisor of lengths of all its cycles is k. Some consequences for coloring of an arbitrary finite digraph are presented. We describe a subquadratic algorithm of the road coloring for the k-synchronization implemented in the package TESTAS. A new linear visualization program demonstrates the obtained coloring. Some consequences for coloring of an arbitrary finite digraph and of such a graph of uniform outdegree are presented.

Formal Languages and Automata Theory
Colorful subgraphs in Kneser-like graphs

Gábor Simonyi,Gábor Tardos

DOI: https://doi.org/10.48550/arXiv.math/0512019

2005-12-01

Abstract:Combining Ky Fan's theorem with ideas of Greene and Matousek we prove a generalization of Dol'nikov's theorem. Using another variant of the Borsuk-Ulam theorem due to Bacon and Tucker, we also prove the presence of all possible completely multicolored t-vertex complete bipartite graphs in t-colored t-chromatic Kneser graphs and in several of their relatives. In particular, this implies a generalization of a recent result of G. Spencer and F. E. Su.

Combinatorics,Algebraic Topology
Strictly $k$-colorable graphs

Evan Leonard

2023-07-12

Abstract:Xuding Zhu introduced a refined scale of choosability in 2020 and observed that the four color theorem is tight on this scale. We formalize and explore this idea of tightness in what we call strictly colorable graphs. We then characterize all strictly colorable complete multipartite graphs.

Combinatorics
Trivial colors in colorings of Kneser graphs

Sergei Kiselev,Andrey Kupavskii

DOI: https://doi.org/10.1016/j.disc.2023.113869

IF: 0.961

2024-01-31

Discrete Mathematics

Abstract:We show that any proper coloring of a Kneser graph KGn,k with n−2k+2 colors contains a trivial color class (i.e., a color class consisting of sets that all contain a fixed element), provided n>(2+ε)k2 , where ε→0 as k→∞ . This bound is essentially tight. This is a consequence of a more general result on the minimum number of non-trivial color classes needed to properly color KGn,k .

mathematics
A note on local coloring of graphs

Zepeng Li,Zehui Shao,Enqiang Zhu,Jin Xu

DOI: https://doi.org/10.1016/j.ipl.2014.09.032

IF: 0.851

2015-01-01

Information Processing Letters

Abstract:A local k-coloring of a graph G is a function f:V(G)→{1,2,⋯,k} such that for each S⊆V(G), 2≤|S|≤3, there exist u,v∈S with |f(u)−f(v)| at least the size of the subgraph induced by S. The local chromatic number of G is χℓ(G)=min⁡{k:G has a local k-coloring}. Chartrand et al. [2] asked: does there exist a graph Gk such that χℓ(Gk)=χ(Gk)=k? Furthermore, they conjectured that for every positive integer k, there exists a graph Gk with χℓ(G)=k such that every local k-coloring of Gk uses all of the colors 1,2,⋯,k. In this paper we give a affirmative answer to the problem and confirm the conjecture.
Every Elementary Graph is Chromatic Choosable

Nandana K Vasudevan,K Somasundaram,J Geetha

2023-12-01

Abstract:Elementary graphs are graphs whose edges can be colored using two colors in such a way that the edges in any induced $P_3$ get distinct colors. They constitute a subclass of the class of claw-free perfect graphs. In this paper, we show that for any elementary graph, its list chromatic number and chromatic number are equal.

Combinatorics
Graphs without a 3-connected subgraph are 4-colorable

Édouard Bonnet,Carl Feghali,Tung Nguyen,Alex Scott,Paul Seymour,Stéphan Thomassé,Nicolas Trotignon

2024-06-24

Abstract:In 1972, Mader showed that every graph without a 3-connected subgraph is 4-degenerate and thus 5-colorable}. We show that the number 5 of colors can be replaced by 4, which is best possible.

Combinatorics,Discrete Mathematics

k-Colorability is Graph Automaton Recognizable

Exploring k-Colorability

A note on graphs of $k$-colourings

Finite Automata for Efficient Graph Recognition

First-principles statistical mechanics study of the stability of a sub-nanometer thin surface oxide in reactive environments: CO oxidation at Pd(100)

Recoloring via modular decomposition

A Note on K-Colorability of P 5-Free Graphs

Recoloring some hereditary graph classes

Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice

A note on fall colorings of Kneser graphs

A note on $\bar{X}$-coloring and $\hat{A}$-coloring 4-regular graphs

About Fall Colorings of Graphs

Color-line and Proper Color-line Graphs

The recognizability of sets of graphs is a robust property

A Partially Synchronizing Coloring

Colorful subgraphs in Kneser-like graphs

Strictly $k$-colorable graphs

Trivial colors in colorings of Kneser graphs

A note on local coloring of graphs

Every Elementary Graph is Chromatic Choosable

Graphs without a 3-connected subgraph are 4-colorable