The chromatic number of a graph G, denoted by χ(G), is the minimum k
such that G admits a k-coloring of its vertex set in such a way that each
color class is an independent set (a set of pairwise non-adjacent vertices).
The dichromatic number of a digraph D, denoted by χA(D), is the minimum
k such that D admits a k-coloring of its vertex set in such a way that
each color class is acyclic.
In 1976, Bondy proved that the chromatic number of a digraph D is at most
its circumference, the length of a longest cycle.
Given a digraph D, we will construct three different graphs whose chromatic
numbers bound χA(D).
Moreover, we prove: i) for integers k≥2, s≥1 and r1,…,rs with k≥ri≥0 and ri=1 for each i∈[s], that if all
cycles in D have length r modulo k for some r∈{r1,…,rs},
then χA(D)≤2s+1; ii) if D has girth g and there are integers k
and p, with k≥g−1≥p≥1 such that D contains no cycle of length
r modulo ⌈pk⌉p for each r∈{−p+2,…,0,…,p}, then χA(D)≤⌈pk⌉;
iii) if D has girth g, the length of a shortest cycle, and circumference
c, then χA(D)≤⌈g−1c−1⌉+1, which improves,
substantially, the bound proposed by Bondy. Our results show that if we have
more information about the lengths of cycles in a digraph, then we can improve
the bounds for the dichromatic number known until now.Comment: 14 page