coloring
4497 papers tagged with this keyword
Infinite Ramsey-minimal graphs for star forests
Published
• View Publication
• BIB
For graphs $F$, $G$, and $H$, we write $F \to (G,H)$ if every red-blue coloring of the edges of $F$ produces a red copy of $G$ or a blue copy of $H$. The graph $F$ is said to be $(G,H)$-minimal if it is subgraph-minimal with respect to this property. The characterization problem for Ramsey-minimal graphs is classically done for finite graphs. In 2021, Barrett and the second author generalized this problem to infinite graphs. They asked which pairs $(G,H)$ admit a Ramsey-minimal graph and which ones do not. We show that any pair of star forests such that at least one of them involves an infinite-star component admits no Ramsey-minimal graph. Also, we construct a Ramsey-minimal graph for a finite star forest versus a subdivision graph. This paper builds upon the results of Burr et al. in 1981 on Ramsey-minimal graphs for finite star forests.
The strong equitable vertex 1-arboricity of complete bipartite graphs and balanced complete k-partite graphs
Published
• View Publication
• BIB
An \emph{equitable $(q, r)$-tree-coloring} of a graph $G$ is a $q$-coloring of $G$ such that the subgraph induced by each color class is a forest of maximum degree at most $r$ and the sizes of any two color classes differ by at most $1.$ Let the \emph{strong equitable vertex $r$-arboricity} of a graph $G,$ denoted by $va^\equiv_r (G)$, be the minimum $p$ such that $G$ has an equitable $(q, r)$-tree-coloring for every $q\geq p.$
The values of $va^\equiv_1 (K_{n,n})$ were investigated by Tao and Lin and Wu, Zhang, and Li where exact values of $va^\equiv_1 (K_{n,n})$ were found in some special cases. In this paper, we extend their results by giving the exact values of $va^\equiv_1 (K_{n,n})$ for all cases. In the process, we introduce a new function related to an equitable coloring and obtain a more general result by determining the exact value of each $va^\equiv_1 (K_{m,n})$ and $va^\equiv_1 (G)$ where $G$ is a balanced complete $k$-partite graph $K_{n,\ldots,n}.$
A note on 1-2-3 and 1-2 Conjectures for 3-regular graphs
The 1-2-3 Conjecture, posed by Karoński, Łuczak and Thomason, asked whether every connected graph $G$ different from $K_2$ can be 3-edge-weighted so that every two adjacent vertices of $G$ get distinct sums of incident weights. The 1-2 Conjecture states that if vertices also receive colors and the vertex color is added to the sum of its incident edges, then adjacent vertices can be distinguished using only $\{ 1,2\}$. In this paper we confirm 1-2 Conjecture for 3-regular graphs. Meanwhile, we show that every 3-regular graph can achieve a neighbor sum distinguishing edge coloring by using 4 colors, which answers 1-2-3 Conjecture positively.
Strong edge coloring of Cayley graphs and some product graphs
Published
• View Publication
• BIB
A strong edge coloring of a graph $G$ is a proper edge coloring of $G$ such that every color class is an induced matching. The minimum number of colors required is termed the strong chromatic index. In this paper, we determine the exact value of the strong chromatic index of all unitary Cayley graphs. Our investigations reveal an underlying product structure from which the unitary Cayley graphs emerge. We then go on to give tight bounds for the strong chromatic index of the Cartesian product of two trees, including an exact formula for the product in the case of stars. Further, we give bounds for the strong chromatic index of the product of a tree with a cycle. For any tree, those bounds may differ from the actual value only by not more than a small additive constant (at most 2 for even cycles and at most 5 for odd cycles), moreover they yield the exact value when the length of the cycle is divisible by $4$.
Multicolor Size-Ramsey Number of Cycles
Published
• View Publication
• BIB
Given a positive integer $ r $, the $ r $-color size-Ramsey number of a graph $ H $, denoted by $ \hat{R}(H, r) $, is the smallest integer $ m $ for which there exists a graph $ G $ with $ m $ edges such that, in any edge coloring of $ G $ with $ r $ colors, $G$ contains a monochromatic copy of $ H $. Haxell, Kohayakawa and Łuczak showed that the size-Ramsey number of a cycle $ C_n $ is linear in $ n $ i.e. $ \hat{R}(C_n, r) \leq c_rn $, for some constant $ c_r $. Their proof, however, is based on the Szemerédi's regularity lemma and so no specific constant $ c_r $ is known. Javadi, Khoeini, Omidi and Pokrovskiy gave an alternative proof for this result which avoids using of the regularity lemma. Indeed, they proved that if $ n $ is even, then $ c_r $ is exponential in $ r $ and if $ n $ is odd, then $ c_r $ is doubly exponential in $ r $.
\noindent In this paper, we improve the bound $c_r$ and prove that $c_r$ is polynomial in $r$ when $n$ is even and is exponential in $r$ when $n$ is odd. We also prove that in the latter case, it cannot be improved to a polynomial bound in $r$. More precisely, we prove that there are some positive constants $c_1,c_2$ such that for every even integer $n$, we have $c_1r^2n\leq \hat{R}(C_n,r)\leq c_2r^{120}(\log^2 r)n$ and for every odd integer $n$, we have
$c_1 2^{r}n \leq \hat{R}(C_n, r)\leq c_22^{16 r^2+2\log r}n $.
Logarithmic Weisfeiler-Leman Identifies All Planar Graphs
The Weisfeiler-Leman (WL) algorithm is a well-known combinatorial procedure for detecting symmetries in graphs and it is widely used in graph-isomorphism tests. It proceeds by iteratively refining a colouring of vertex tuples. The number of iterations needed to obtain the final output is crucial for the parallelisability of the algorithm.
We show that there is a constant k such that every planar graph can be identified (that is, distinguished from every non-isomorphic graph) by the k-dimensional WL algorithm within a logarithmic number of iterations. This generalises a result due to Verbitsky (STACS 2007), who proved the same for 3-connected planar graphs.
The number of iterations needed by the k-dimensional WL algorithm to identify a graph corresponds to the quantifier depth of a sentence that defines the graph in the (k+1)-variable fragment C^{k+1} of first-order logic with counting quantifiers. Thus, our result implies that every planar graph is definable with a C^{k+1}-sentence of logarithmic quantifier depth.
Recent Colorings And Labelings In Topological Coding
Topological Coding consists of two different kinds of mathematics: topological structure and mathematical relation. The colorings and labelings of graph theory are main techniques in topological coding applied in asymmetric encryption system. Topsnut-gpws (also, colored graphs) have the following advantages: (1) Run fast in communication networks because they are saved in computer by popular matrices rather than pictures. (2) Produce easily text-based (number-based) strings for encrypt files. (3) Diversity of asymmetric ciphers, one public-key corresponds to more private-keys, or more public-keys correspond more private-keys. (4) Irreversibility, Topsnut-gpws can generate quickly text-based (number-based) strings with bytes as long as desired, but these strings can not reconstruct the original Topsnut-gpws. (5) Computational security, since there are many non-polynomial (NP-complete, NP-hard) algorithms in creating Topsnut-gpws. (6) Provable security, since there are many mathematical conjectures (open problems) in graph labelings and graph colorings. We are committed to create more kinds of new Topsnut-gpws to approximate practical applications and antiquantum computation, and try to use algebraic method and Topsnut-gpws to establish graphic group, graphic lattice, graph homomorphism etc.
Coloring Discrete Manifolds
Discrete d-manifolds are classes of finite simple graphs which can triangulate classical manifolds but which are defined entirely within graph theory. We show that the chromatic number X(G) of a discrete d-manifold G is sandwiched between d+1 and 2(d+1). From the general identity X(A+B)=X(A)+X(B) for the join A+B of two finite simple graphs, it follows that there are (2k)-spheres with chromatic number X=(3k+1) and (2k-1)-spheres with chromatic number X=3k. Examples of 2-manifolds with X(G)=5 have been known since the pioneering work of Fisk. Current data support the that the ceiling function of 3(d+1)/2 could be an upper bound for all d-manifolds G, generalizing a conjecture of Albertson-Stromquist, stating X(G) is bounded above by 5 for all 2-manifolds. For a d-manifold, Fisk has introduced the (d-2)-variety O(G). This graph O(G) has maximal simplices of dimension (d-2) and correspond to complete complete subgraphs K_{d-1} of G for which the dual circle has odd cardinality. In general, O(G) is a union of (d-2)-manifolds. We note that if O(S(x)) is either empty or a (d-3)-sphere for all x then O(G) is a (d-2)-manifold or empty. The knot O(G) is already interesting for 3-manifolds G because Fisk has demonstrated that every possible knot can appear as O(G) for some 3-manifold. For 4-manifolds G especially, the Fisk variety O(G) is a 2-manifold in G as long as all O(S(x)) are either empty or a knot in every unit 3-sphere S(x).
A note on one-sided interval edge colorings of bipartite graphs
Published
• View Publication
• BIB
For a bipartite graph $G$ with parts $X$ and $Y$, an $X$-interval coloring is a proper edge coloring of $G$ by integers such that the colors on the edges incident to any vertex in $X$ form an interval. Denote by $χ'_{int}(G,X)$ the minimum $k$ such that $G$ has an $X$-interval coloring with $k$ colors. The author and Toft conjectured [Discrete Mathematics 339 (2016), 2628--2639] that there is a polynomial $P(x)$ such that if $G$ has maximum degree at most $Δ$, then $χ'_{int}(G,X) \leq P(Δ)$. In this short note, we prove this conjecture; in fact, we prove that a cubic polynomial suffices. We also deduce some improved upper bounds on $χ'_{int}(G,X)$ for bipartite graphs with small maximum degree.
Graph and hypergraph colouring via nibble methods: A survey
Published
• View Publication
• BIB
This paper provides a survey of methods, results, and open problems on graph and hypergraph colourings, with a particular emphasis on semi-random `nibble' methods. We also give a detailed sketch of some aspects of the recent proof of the Erdős-Faber-Lovász conjecture.
Girth, oddness, and colouring defect of snarks
The colouring defect of a cubic graph, introduced by Steffen in 2015, is the minimum number of edges that are left uncovered by any set of three perfect matchings. Since a cubic graph has defect $0$ if and only if it is $3$-edge-colourable, this invariant can measure how much a cubic graph differs from a $3$-edge-colourable graph. Our aim is to examine the relationship of colouring defect to oddness, an extensively studied measure of uncolourability of cubic graphs, defined as the smallest number of odd circuits in a $2$-factor. We show that there exist cyclically $5$-edge-connected snarks (cubic graphs with no $3$-edge-colouring) of oddness $2$ and arbitrarily large colouring defect. This result is achieved by means of a construction of cyclically $5$-edge-connected snarks with oddness $2$ and arbitrarily large girth. The fact that our graphs are cyclically $5$-edge-connected significantly strengthens a similar result of Jin and Steffen (2017), which only guarantees graphs with cyclic connectivity at most $3$. At the same time, our result improves Kochol's original construction of snarks with large girth (1996) in that it provides infinitely many nontrivial snarks of any prescribed girth $g\ge 5$, not just girth at least~$g$.
Distributed coloring and the local structure of unit-disk graphs
Published in Theoretical Computer Science 944 (2023), 113674
• View Publication
• BIB
Coloring unit-disk graphs efficiently is an important problem in the global and distributed setting, with applications in radio channel assignment problems when the communication relies on omni-directional antennas of the same power. In this context it is important to bound not only the complexity of the coloring algorithms, but also the number of colors used. In this paper, we consider two natural distributed settings. In the location-aware setting (when nodes know their coordinates in the plane), we give a constant time distributed algorithm coloring any unit-disk graph $G$ with at most $4ω(G)$ colors, where $ω(G)$ is the clique number of $G$. This improves upon a classical 3-approximation algorithm for this problem, for all unit-disk graphs whose chromatic number significantly exceeds their clique number. When nodes do not know their coordinates in the plane, we give a distributed algorithm in the LOCAL model that colors every unit-disk graph $G$ with at most $5.68ω(G)+1$ colors in $O(\log^* n)$ rounds. This algorithm is based on a study of the local structure of unit-disk graphs, which is of independent interest. We conjecture that every unit-disk graph $G$ has average degree at most $4ω(G)$, which would imply the existence of a $O(\log n)$ round algorithm coloring any unit-disk graph $G$ with (approximately) $4ω(G)$ colors in the LOCAL model. We provide partial results towards this conjecture using Fourier-analytical tools.
Recolouring weakly chordal graphs and the complement of triangle-free graphs
Published
• View Publication
• BIB
For a graph $G$, the $k$-recolouring graph $\mathcal{R}_k(G)$ is the graph whose vertices are the $k$-colourings of $G$ and two colourings are joined by an edge if they differ in colour on exactly one vertex. We prove that for all $n \ge 1$, there exists a $k$-colourable weakly chordal graph $G$ where $\mathcal{R}_{k+n}(G)$ is disconnected, answering an open question of Feghali and Fiala. We also show that for every $k$-colourable $3K_1$-free graph $G$, $\mathcal{R}_{k+1}(G)$ is connected with diameter at most $4|V(G)|$.
Injective coloring of graphs revisited
Published in Discrete Mathematics, 2023
• View Publication
• BIB
An open packing in a graph $G$ is a set $S$ of vertices in $G$ such that no two vertices in $S$ have a common neighbor in $G$. The injective chromatic number $χ_i(G)$ of $G$ is the smallest number of colors assigned to vertices of $G$ such that each color class is an open packing. Alternatively, the injective chromatic number of $G$ is the chromatic number of the two-step graph of $G$, which is the graph with the same vertex set as $G$ in which two vertices are adjacent if they have a common neighbor. The concept of injective coloring has been studied by many authors, while in the present paper we approach it from two novel perspectives, related to open packings and the two-step graph operation. We prove several general bounds on the injective chromatic number expressed in terms of the open packing number. In particular, we prove that $χ_{i}(G)\geq \frac{1}{2}+\sqrt{\frac{1}{4}+\frac{2m-n}{\opack}}$ holds for any connected graph $G$ of order $n\geq2$, size $m$, and the open packing number $\opack$, and characterize the class of graphs attaining the bound. Regarding the well-known bound $χ_i(G)\ge Δ(G)$, we describe the family of extremal graphs and prove that deciding when the equality holds (even for regular graphs) is NP-complete, solving an open problem from an earlier paper. Next, we consider the chromatic number of the two-step graph of a graph, and compare it with the clique number and the maximum degree of the graph. We present two large families of graphs in which $χ_i(G)$ equals the cardinality of a largest clique of the two-step graph of $G$. Finally, we consider classes of graphs that admit an injective coloring in which all color classes are maximal open packings. We give characterizations of three subclasses of these graphs among graphs with diameter $2$, and find a partial characterization of hypercubes with this property.
Colouring graphs with no induced six-vertex path or diamond
Published
• View Publication
• BIB
The diamond is the graph obtained by removing an edge from the complete graph on 4 vertices. A graph is ($P_6$, diamond)-free if it contains no induced subgraph isomorphic to a six-vertex path or a diamond. In this paper we show that the chromatic number of a ($P_6$, diamond)-free graph $G$ is no larger than the maximum of 6 and the clique number of $G$. We do this by reducing the problem to imperfect ($P_6$, diamond)-free graphs via the Strong Perfect Graph Theorem, dividing the imperfect graphs into several cases, and giving a proper colouring for each case. We also show that there is exactly one 6-vertex-critical ($P_6$, diamond, $K_6$)-free graph. Together with the Lovász theta function, this gives a polynomial time algorithm to compute the chromatic number of ($P_6$, diamond)-free graphs.
Entropy-Based Proofs of Combinatorial Results on Bipartite Graphs
Published
• View Publication
• BIB
This work considers new entropy-based proofs of some known, or otherwise refined, combinatorial bounds for bipartite graphs. These include upper bounds on the number of the independent sets, lower bounds on the minimal number of colors in constrained edge coloring, and lower bounds on the number of walks of a given length in bipartite graphs. The proofs of these combinatorial results rely on basic properties of the Shannon entropy.
On t-relaxed coloring of complete multi-partite graphs
Let $G$ be a graph and $t$ a nonnegative integer. Suppose $f$ is a mapping from the vertex set of $G$ to $\{1,2,\dots, k\}$. If, for any vertex $u$ of $G$, the number of neighbors $v$ of $u$ with $f(v)=f(u)$ is less than or equal to $t$, then $f$ is called a $t$-relaxed $k$-coloring of $G$. And $G$ is said to be $(k,t)$-colorable. The $t$-relaxed chromatic number of $G$, denote by $χ_t(G)$, is defined as the minimum integer $k$ such that $G$ is $(k,t)$-colorable. A set $S$ of vertices in $G$ is $t$-sparse if $S$ induces a graph with a maximum degree of at most $t$. Thus $G$ is $(k,t)$-colorable if and only if the vertex set of $G$ can be partitioned into $k$ $t$-sparse sets. It was proved by Belmonte, Lampis and Mitsou (2017) that the problem of deciding if a complete multi-partite graph is $(k,t)$-colorable is NP-complete. In this paper, we first give tight lower and up bounds for the $t$-relaxed chromatic number of complete multi-partite graphs. And then we design an algorithm to compute maximum $t$-sparse sets of complete multi-partite graphs running in $O((t+1)^2)$ time. Applying this algorithm, we show that the greedy algorithm for $χ_t(G)$ is $2$-approximate and runs in $O(tn)$ time steps (where $n$ is the vertex number of $G$). In particular, we prove that for $t\in \{1,2,3,4,5,6\}$, the greedy algorithm produces an optimal $t$-relaxed coloring of a complete multi-partite graph. While, for $t\ge 7$, examples are given to illustrate that the greedy strategy does not always construct an optimal $t$-relaxed coloring.
A linear algorithm for radio $k$-coloring of powers of paths having small diameters
Published
• View Publication
• BIB
The radio $k$-chromatic number $rc_k(G)$ of a graph $G$ is the minimum integer $λ$ such that there exists a function $φ: V(G) \to \{0,1,\cdots, λ\}$ satisfying $|φ(u)-φ(v)| \geq k+1 - d(u,v)$, where $d(u,v)$ denotes the distance between $u$ and $v$. A considerable amount of attention has been given to find the exact values or providing polynomial time algorithms to determine $rc_k(G)$ for several basic graph families such as paths, cycles, trees, and powers of paths, usually for some specific values of $k$.
In this article, we find the exact values of $rc_k(G)$ where $G$ is a power of a path with diameter strictly less than $k$. Our proof readily provides a linear time algorithm for assigning a radio $k$-coloring of $G$. Furthermore, our proof technique is a potential tool for solving the same problem for other classes of graphs having ``small'' diameters.
On rainbow-free colourings of uniform hypergraphs
Published in Theor. Comput. Sci., 885(11), pp. 69-76, 2021
• View Publication
• BIB
We study rainbow-free colourings of $k$-uniform hypergraphs; that is, colourings that use $k$ colours but with the property that no hyperedge attains all colours. We show that $p^*=(k-1)(\ln n)/n$ is the threshold function for the existence of a rainbow-free colouring in a random $k$-uniform hypergraph.
Linear configurations containing 4-term arithmetic progressions are uncommon
Published
• View Publication
• BIB
A linear configuration is said to be common in $G$ if every 2-coloring of $G$ yields at least the number of monochromatic instances of a randomly chosen coloring. Saad and Wolf asked whether, analogously to a result by Thomason in graph theory, every configuration containing a 4-term arithmetic progression is uncommon. We prove this in $\mathbb{F}_p^n$ for $p\geq 5$ and large $n$ and in $\mathbb{Z}_p$ for large primes $p$.