coloring
4410 papers tagged with this keyword
Cooperative colorings of hypergraphs
Given a class $\mathcal{H}$ of $m$ hypergraphs ${H}_1, {H}_2, \ldots, {H}_m$ with the same vertex set $V$, a cooperative coloring of them is a partition $\{I_1, I_2, \ldots, I_m\}$ of $V$ in such a way that each $I_i$ is an independent set in ${H}_i$ for $1\leq i\leq m$. The cooperative chromatic number of a class $\mathcal{H}$ is the smallest number of hypergraphs from $\mathcal{H}$ that always possess a cooperative coloring. For the classes of $k$-uniform tight cycles, $k$-uniform loose cycles, $k$-uniform tight paths, and $k$-uniform loose paths, we find that their cooperative chromatic numbers are all exactly two utilizing a new proved set system partition theorem, which also has its independent interests and offers a broader perspective. For the class of $k$-partite $k$-uniform hypergraphs with sufficient large maximum degree $d$, we prove that its cooperative chromatic number has lower bound $Ω(\log_k d)$ and upper bound $\text{O}\left(\frac{d}{\ln d}\right)^{\frac{1}{k-1}}$.
Coloring the vertices of a graph with mutual-visibility property
Given a graph $G$, a mutual-visibility coloring of $G$ is introduced as follows. We color two vertices $x,y\in V(G)$ with a same color, if there is a shortest $x,y$-path whose internal vertices have different colors than $x,y$. The smallest number of colors needed in a mutual-visibility coloring of $G$ is the mutual-visibility chromatic number of $G$, which is denoted $χ_μ(G)$. Relationships between $χ_μ(G)$ and its two parent ones, the chromatic number and the mutual-visibility number, are presented. Graphs of diameter two are considered, and in particular the asymptotic growth of the mutual-visibility number of the Cartesian product of complete graphs is determined. A greedy algorithm that finds a mutual-visibility coloring is designed and several possible scenarios on its efficiency are discussed. Several bounds are given in terms of other graph parameters such as the diameter, the order, the maximum degree, the degree of regularity of regular graphs, and/or the mutual-visibility number. For the corona products it is proved that the value of its mutual-visibility chromatic number depends on that of the first factor of the product. Graphs $G$ for which $χ_μ(G)=2$ are also considered.
Proving Norine's Conjecture holds for $n=7$ via SAT solvers
We say a red/blue edge-coloring of the $n$-dimensional cube graph, $Q_n$, is antipodal if all pairs of antipodal edges have different colors. Norine conjectured that in such a coloring there must exist a pair of antipodal vertices connected by a monochromatic path. Previous work has proven this conjecture for $n\le 6$. Using SAT solvers we verify that the conjecture holds for $n = 7$.
A biased edge coloring game
Published in Discrete Appl. Math., 366:193-200, 2025
• Search Publication
We combine the ideas of edge coloring games and asymmetric graph coloring games and define the \emph{$(m,1)$-edge coloring game}, which is alternatively played by two players Maker and Breaker on a finite simple graph $G$ with a set of colors $X$. Maker plays first and colors $m$ uncolored edges on each turn. Breaker colors only one uncolored edge on each turn. They make sure that adjacent edges get distinct colors. Maker wins if eventually every edge is colored; Breaker wins if at some point, the player who is playing cannot color any edge. We define the \emph{$(m,1)$-game chromatic index} of $G$ to be the smallest nonnegative integer $k$ such that Maker has a winning strategy with $|X|=k$. We give some general upper bounds on the $(m,1)$-game chromatic indices of trees, determine the exact $(m,1)$-game chromatic indices of some caterpillars and all wheels, and show that larger $m$ does not necessarily give us smaller $(m,1)$-game chromatic index.
Quasi-tree-partitions of graphs with an excluded subgraph
This paper studies the structure of graphs with given tree-width and excluding a fixed complete bipartite subgraph, which generalises the bounded degree setting. We give a new structural description of such graphs in terms of so-called quasi-tree-partitions. We demonstrate the utility of this result through applications to (fractional) clustered colouring. Further generalisations of these structural and colouring results are presented.
Coloring bridge-free antiprismatic graphs
The coloring problem is a well-research topic and its complexity is known for several classes of graphs. However, the question of its complexity remains open for the class of antiprismatic graphs, which are the complement of prismatic graphs and one of the four remaining cases highlighted by Lozin and Malishev. In this article we focus on the equivalent question of the complexity of the clique cover problem in prismatic graphs.
A graph $G$ is prismatic if for every triangle $T$ of $G$, every vertex of $G$ not in $T$ has a unique neighbor in $T$. A graph is co-bridge-free if it has no $C_4+2K_1$ as induced subgraph. We give a polynomial time algorithm that solves the clique cover problem in co-bridge-free prismatic graphs. It relies on the structural description given by Chudnovsky and Seymour, and on later work of Preissmann, Robin and Trotignon.
We show that co-bridge-free prismatic graphs have a bounded number of disjoint triangles and that implies that the algorithm presented by Preissmann et al. applies.
On the chromatic symmetric homology for star graphs
The chromatic symmetric function $X_G$ is a power series that encodes the proper colorings of a graph $G$ by assigning a variable to each color and a monomial to each coloring such that the power of a variable in a monomial is the number of times the corresponding color is used in the corresponding coloring. The chromatic symmetric homology $H_*(G)$ is a doubly graded family of $\mathbb{C}[\mathfrak{S}_n]$-modules that was defined by Sazdanović and Yip (2018) as a categorification of $X_G$. Chandler, Sazdanović, Stella, and Yip (2023) proved that $H_*(G)$ is a strictly stronger graph invariant than $X_G$, and they also computed or conjectured formulas for it in a number of special cases. We prove and extend some of their conjectured formulas for the case of star graphs, where one central vertex is connected to all other vertices and no other pairs of vertices are connected.
The generalized Ramsey number $f(n, 5, 8) = \frac 67 n + o(n)$
A $(p, q)$-coloring of $K_n$ is a coloring of the edges of $K_n$ such that every $p$-clique has at least $q$ distinct colors among its edges. The generalized Ramsey number $f(n, p, q)$ is the minimum number of colors such that $K_n$ has a $(p, q)$-coloring. Gomez-Leos, Heath, Parker, Schweider and Zerbib recently proved $f(n, 5, 8) \ge \frac 67 (n-1)$. Here we prove an asymptotically matching upper bound.
Brooks' type theorems for coloring parameters of locally finite graphs and Konig's Lemma
Published in Ars Math. Contemp. Vol. 25 No. 4 (2025)
• View Publication
• BIB
In the past, analogues to Brooks' theorem have been found for various parameters of graph coloring for infinite locally finite connected graphs in ZFC. We prove these theorems are not provable in ZF (i.e. the Zermelo-Fraenkel set theory without the Axiom of Choice (AC)). Moreover, such theorems follow from Konig's Lemma (every infinite locally finite connected graph has a ray-a weak form of AC) in ZF. In ZF, we formulate new conditions for the existence of the distinguishing chromatic number, the distinguishing chromatic index, the total chromatic number, the total distinguishing chromatic number, the odd chromatic number, and the neighbor-distinguishing index in infinite locally finite connected graphs, which are equivalent to Konig's Lemma. In this direction, we strengthen a recent result of Stawiski from 2023.
We also figured out the upper bound for list-distinguishing chromatic number for infinite graphs in ZFC (i.e. the Zermelo-Fraenkel set theory with the Axiom of Choice (AC)).
On a Problem of Ramsey Theory
Published in German International Journal of Modern Science 86 (2024) pp. 15-17
• View Publication
• BIB
In 1955, Greenwood and Gleason showed that the Ramsey number R(3, 3, 3) = 17 by constructing an edge-chromatic graph on 16 vertices in three colors with no triangles. Their technique employed finite fields. This same result was obtained later by using another technique. In this article, we examine the complete graph on 17 vertices, K17, which can be represented as a regular polygon of 17 sides with all its diagonals. We color each edge of K17 with one of the three colors, blue, red or yellow. The graph thus obtained is called complete trichromatic graph K17^(3) (the superscript determines the number of colors). A triangle contained in graph K17^(3) with edges colored with one and only one color is called monochromatic. It has been shown that for any coloring of the K17^(3) edges, K17^(3) contains at least one monochromatic triangle. This article examines the problem of determining the minimum number of monochromatic triangles with the same color contained in K17^(3).
Permutation Wordle
We introduce a guessing game, permutation Wordle, in which a guesser attempts to recover a hidden permutation in $S_n$. In each round, the guesser guesses a permutation (using information from previous rounds) and is told which entries of that permutation are correct. We describe a natural guessing strategy, which we believe to be optimal. We show that the number of permutations this strategy solves in $k+1$ rounds is the Eulerian number $A(n,k)$.
We also describe an extension to suited permutations: the setter chooses a permutation in $S_n$ and also a coloring of $[n]$ using $s$ colors. We generalize our strategy, give a recurrence for the number of suited permutations solved in $k+1$ rounds, and relate these numbers to the Eulerian numbers. In the case of two suits, or signed permutations, we also relate these numbers to the Eulerian numbers of type B.
Clustered Colouring of Graph Products
A colouring of a graph $G$ has clustering $k$ if the maximum number of vertices in a monochromatic component equals $k$. Motivated by recent results showing that many natural graph classes are subgraphs of the strong product of a graph with bounded treewidth and a path, this paper studies clustered colouring of strong products of two bounded treewidth graphs, where none, one, or both graphs have bounded degree. For example, in the case of two colours, if $n$ is the number of vertices in the product, then we show that clustering $Θ(n^{2/3})$ is best possible, even if one of the graphs is a path. However, if both graphs have bounded degree, then clustering $Θ(n^{1/2})$ is best possible. With three colours, if one of the graphs has bounded degree, then we show that clustering $Θ(n^{3/7})$ is best possible. However, if neither graph has bounded degree, then clustering $Ω(n^{1/2})$ is necessary. More general bounds for any given number of colours are also presented.
Pointed Quandle Coloring Quivers of Linkoids
We enhance the pointed quandle counting invariant of linkoids through the use of quivers analogously to quandle coloring quivers. This allows us to generalize the in-degree polynomial invariant of links to linkoids. Additionally, we introduce a new linkoid invariant, which we call the in-degree quiver polynomial matrix. Lastly, we study the pointed quandle coloring quivers of linkoids of $(p,2)$-torus type with respect to pointed dihedral quandles.
Odd 4-coloring of outerplanar graphs
A proper $k$-coloring of $G$ is called an odd coloring of $G$ if for every vertex $v$, there is a color that appears at an odd number of neighbors of $v$. This concept was introduced recently by Petruševski and Škrekovski, and they conjectured that every planar graph is odd 5-colorable. Towards this conjecture, Caro, Petruševski, and Škrekovski showed that every outerplanar graph is odd 5-colorable, and this bound is tight since the cycle of length 5 is not odd 4-colorable. Recently, the first author and others showed that every maximal outerplanar graph is odd 4-colorable. In this paper, we show that a connected outerplanar graph $G$ is odd 4-colorable if and only if $G$ contains a block which is not a copy of the cycle of length 5. This strengthens the result by Caro, Petruševski, and Škrekovski, and gives a complete characterization of odd 4-colorable outerplanar graphs.
A note on edge colorings distinguishing all triangles in a graph
We consider edge colorings of a graph in such a way that each two different triangles have distinct colorings. It is an extension of the well-known idea of distinguishing all maximal stars in a graph. It was introduced in literature in 1985 and studied by many authors in various variants, but always for stars. We estimate new invariants regarding triangles for proper and general colorings.
On the multicolor Turán conjecture for color-critical graphs
A {\it simple $k$-coloring} of a multigraph $G$ is a decomposition of the edge multiset as a disjoint sum of $k$ simple graphs which are referred as colors. A subgraph $H$ of a multigraph $G$ is called {\it multicolored} if its edges receive distinct colors in a given simple $k$-coloring of $G$. In 2004, Keevash-Saks-Sudakov-Verstraëte introduced the {\it $k$-color Turán number} $ex_k(n,H)$, which denotes the maximum number of edges in an $n$-vertex multigraph that has a simple $k$-coloring containing no multicolored copies of $H$. They made a conjecture for any $r\geq 3$ and $r$-color-critical graph $H$ that in the range of $k\geq \frac{r-1}{r-2}(e(H)-1)$, if $n$ is sufficiently large, then $ex_k(n, H)$ is achieved by the multigraph consisting of $k$ colors all of which are identical copies of the Turán graph $T_{r-1}(n)$. In this paper, we show that this holds in the range of $k\geq 2\frac{r-1}{r}(e(H)-1)$, significantly improving earlier results. Our proof combines the stability argument of Chakraborti-Kim-Lee-Liu-Seo with a novel graph packing technique for embedding multigraphs.
On local antimagic total chromatic number of certain one point union of graphs
Let $G = (V,E)$ be a connected simple graph of order $p$ and size $q$. A bijection $f:V(G)\cup E(G)\to \{1,2,\ldots,p+q\}$ is called a local antimagic total labeling of $G$ if for any two adjacent vertices $u$ and $v$, we have $w(u)\ne w(v)$, where $w(u) = f(u) + \sum_{e\in E(u)} f(e)$ and $E(u)$ is the set of incident edge(s) of $u$. The local antimagic total chromatic number, denoted $χ_{lat}(G)$, is the minimum number of distinct weights over local antimagic total labeling of $G$. In this paper, we provide a correct proof and exact local antimagic total chromatic number of path and spider graphs given in [Local vertex antimagic total coloring of path graph and amalgamation of path, {\it CGANT J. Maths Appln.} {\bf 5(1)} 2024, DOI:10.25037/cgantjma.v5i1.109]. Further, we determined the local antimagic total chromatic number of spider graph with each leg of length at most 2. We also showed the existence of unicyclic and bicyclic graphs with local antimagic total chromatic number 3.
Solution Numbers for Eight Blocks to Madness Puzzle
The 30 MacMahon colored cubes have each face painted with one of six colors and every color appears on at least one face. One puzzle involving these cubes is to create a $2\times2\times2$ model with eight distinct MacMahon cubes to recreate a larger version with the external coloring of a specified target cube, also a MacMahon cube, and touching interior faces are the same color. J.H. Conway is credited with arranging the cubes in a $6\times6$ tableau that gives a solution to this puzzle. In fact, the particular set of eight cubes that solves this puzzle can be arranged in exactly \textit{two} distinct ways to solve the puzzle. We study a less restrictive puzzle without requiring interior face matching. We describe solutions to the $2\times2\times2$ puzzle and the number of distinct solutions attainable for a collection of eight cubes. Additionally, given a collection of eight MacMahon cubes, we study the number of target cubes that can be built in a $2\times2\times2$ model. We calculate the distribution of the number of cubes that can be built over all collections of eight cubes (the maximum number is five) and provide a complete characterization of the collections that can build five distinct cubes. Furthermore, we identify nine new sets of twelve cubes, called Minimum Universal sets, from which all 30 cubes can be built.
Rainbow connectivity of multilayered random geometric graphs
An edge-colored multigraph $G$ is rainbow connected if every pair of vertices is joined by at least one rainbow path, i.e., a path where no two edges are of the same color.
In the context of multilayered networks we introduce the notion of multilayered random geometric graphs, from $h\ge 2$ independent random geometric graphs $G(n,r)$ on the unit square. We define an edge-coloring by coloring the edges according to the copy of $G(n,r)$ they belong to and study the rainbow connectivity of the resulting edge-colored multigraph. We show that $r(n)=\left(\frac{\log n}{n}\right)^{\frac{h-1}{2h}}$ is a threshold of the radius for the property of being rainbow connected. This complements the known analogous results for the multilayerd graphs defined on the Erdős-R\' enyi random model.
Digraph Placement Games
This paper considers a natural ruleset for playing a partisan combinatorial game on a directed graph, which we call Digraph Placement. Given a digraph $G$ with a not necessarily proper $2$-coloring of $V(G)$, the Digraph Placement game played on $G$ by the players Left and Right, who play alternately, is defined as follows. On her turn, Left chooses a blue vertex which is deleted along with all of its out-neighbours. On his turn Right chooses a red vertex, which is deleted along with all of its out-neighbours. A player loses if on their turn they cannot move. We show constructively that Digraph Placement is a universal partisan ruleset; for all partisan combinatorial games $X$ there exists a Digraph Placement game, $G$, such that $G = X$. Digraph Placement and many other games including Nim, Poset Game, Col, Node Kayles, Domineering, and Arc Kayles are instances of a class of placement games that we call conflict placement games. We prove that $X$ is a conflict placement game if and only if it has the same literal form as a Digraph Placement game. A corollary of this is that deciding the winner of a Digraph Placement game is PSPACE-hard. Next, for a game value $X$ we prove bounds on the order of a smallest Digraph Placement game $G$ such that $G = X$.