Gallai–Hasse–Roy–Vitaver theorem

In graph theory, the Gallai–Hasse–Roy–Vitaver theorem is a form of duality between the colorings of the vertices of a given undirected graph and the orientations of its edges. It states that the minimum number of colors needed to properly color any graph equals one plus the length of a longest path in an orientation of chosen to minimize this path's length.[1] The orientations for which the longest path has minimum length always include at least one acyclic orientation.[2]

Four different orientations of a 5-cycle, showing a maximal acyclic subgraph of each orientation (solid edges) and a coloring of the vertices by the length of the longest incoming path in this subgraph. The orientation with the shortest paths, on the left, also provides an optimal coloring of the graph.

This theorem implies that every orientation of a graph with chromatic number contains a simple directed path with vertices;[3] this path can be constrained to begin at any vertex that can reach all other vertices of the oriented graph.[4][5]

Examples

edit

A bipartite graph may be oriented from one side of the bipartition to the other. The longest path in this orientation has length one, with only two vertices. Conversely, if a graph is oriented without any three-vertex paths, then every vertex must either be a source (with no incoming edges) or a sink (with no outgoing edges) and the partition of the vertices into sources and sinks shows that it is bipartite.[6]

In any orientation of a cycle graph of odd length, it is not possible for the edges to alternate in orientation all around the cycle, so some two consecutive edges must form a path with three vertices. Correspondingly, the chromatic number of an odd cycle is three.

Proof

edit

To prove that the chromatic number is greater than or equal to the minimum number of vertices in a longest path, suppose that a given graph has a coloring with   colors, for some number  . Then it may be acyclically oriented by numbering colors and by directing each edge from its lower-numbered endpoint to the higher-numbered endpoint. With this orientation, the numbers are strictly increasing along each directed path, so each path can include at most one vertex of each color, for a total of at most   vertices per path.[3]

To prove that the chromatic number is less than or equal to the minimum number of vertices in a longest path, suppose that a given graph has an orientation with at most   vertices per simple directed path, for some number  . Then the vertices of the graph may be colored with   colors by choosing a maximal acyclic subgraph of the orientation, and then coloring each vertex by the length of the longest path in the chosen subgraph that ends at that vertex. Each edge within the subgraph is oriented from a vertex with a lower number to a vertex with a higher number, and is therefore properly colored. For each edge that is not in the subgraph, there must exist a directed path within the subgraph connecting the same two vertices in the opposite direction, for otherwise the edge could have been included in the chosen subgraph; therefore, the edge is oriented from a higher number to a lower number and is again properly colored.[1]

The proof of this theorem was used as a test case for a formalization of mathematical induction by Yuri Matiyasevich.[7]

Category-theoretic interpretation

edit

The theorem also has a natural interpretation in the category of directed graphs and graph homomorphisms. A homomorphism is a map from the vertices of one graph to the vertices of another that always maps edges to edges. Thus, a  -coloring of an undirected graph   may be described by a homomorphism from   to the complete graph  . If the complete graph is given an orientation, it becomes a tournament, and the orientation can be lifted back across the homomorphism to give an orientation of  . In particular, the coloring given by the length of the longest incoming path corresponds in this way to a homomorphism to a transitive tournament (an acyclically oriented complete graph), and every coloring can be described by a homomorphism to a transitive tournament in this way.[2]

Considering homomorphisms in the other direction, to   instead of from  , a directed graph   has at most   vertices in its longest path if and only if there is no homomorphism from the path graph   to  .[2]

Thus, the Gallai–Hasse–Roy–Vitaver theorem can be equivalently stated as follows:

For every directed graph  , there is a homomorphism from   to the  -vertex transitive tournament if and only if there is no homomorphism from the  -vertex path to  .[2]

In the case that   is acyclic, this can also be seen as a form of Mirsky's theorem that the longest chain in a partially ordered set equals the minimum number of antichains into which the set may be partitioned.[8] This statement can be generalized from paths to other directed graphs: for every polytree   there is a dual directed graph   such that, for every directed graph  , there is a homomorphism from   to   if and only if there is not a homomorphism from   to  .[9]

edit

The Gallai–Hasse–Roy–Vitaver theorem has been repeatedly rediscovered.[2] It is named after separate publications by Tibor Gallai,[10] Maria Hasse,[11] B. Roy,[12] and L. M. Vitaver.[13] Roy credits the statement of the theorem to a conjecture in a 1958 graph theory textbook by Claude Berge.[12] It is a generalization of a much older theorem of László Rédei from 1934, that every tournament (an oriented complete graph) contains a directed Hamiltonian path.[14][15] Rédei's theorem follows immediately from the Gallai–Hasse–Roy–Vitaver theorem applied to an undirected complete graph.[14]

Instead of orienting a graph to minimize the length of its longest path, it is also natural to maximize the length of the shortest path, for a strong orientation (one in which every pair of vertices has a shortest path). Having a strong orientation requires that the given undirected graph be a bridgeless graph. For these graphs, it is always possible to find a strong orientation in which, for some pair of vertices, the shortest path length equals the length of the longest path in the given undirected graph.[16][17]

References

edit
  1. ^ a b Hsu, Lih-Hsing; Lin, Cheng-Kuan (2009), "Theorem 8.5", Graph Theory and Interconnection Networks, Boca Raton, Florida: CRC Press, pp. 129–130, ISBN 978-1-4200-4481-2, MR 2454502
  2. ^ a b c d e Nešetřil, Jaroslav; Ossona de Mendez, Patrice (2012), "Section 3.7: Homomorphisms", Sparsity: Graphs, Structures, and Algorithms, Algorithms and Combinatorics, vol. 28, Heidelberg: Springer, pp. 39–46, doi:10.1007/978-3-642-27875-4, ISBN 978-3-642-27874-7, MR 2920058; see especially Theorem 3.13, p. 42
  3. ^ a b Chartrand, Gary; Zhang, Ping (2009), "Theorem 7.17 (The Gallai–Roy–Vitaver Theorem)", Chromatic Graph Theory, Discrete Mathematics and its Applications, Boca Raton, Florida: CRC Press, ISBN 978-1-58488-800-0, MR 2450569
  4. ^ Li, Hao (2001), "A generalization of the Gallai–Roy theorem", Graphs and Combinatorics, 17 (4): 681–685, doi:10.1007/PL00007256, MR 1876576, S2CID 37646065
  5. ^ Chang, Gerard J.; Tong, Li-Da; Yan, Jing-Ho; Yeh, Hong-Gwa (2002), "A note on the Gallai–Roy–Vitaver theorem", Discrete Mathematics, 256 (1–2): 441–444, doi:10.1016/S0012-365X(02)00386-2, MR 1927565
  6. ^ Guzmán-Pro, Santiago; Hernández-Cruz, César (2022), "Oriented expressions of graph properties", European Journal of Combinatorics, 105, Paper No. 103567, arXiv:2012.12811, doi:10.1016/j.ejc.2022.103567, MR 4432176, S2CID 229363421
  7. ^ Матиясевич, Ю. В. (1974), "Одна схема доказательств в дискретной математике" [A certain scheme for proofs in discrete mathematics], Исследования по конструктивной математике и математической логике [Studies in constructive mathematics and mathematical logic. Part VI. Dedicated to A. A. Markov on the occasion of his 70th birthday], Zapiski Naučnyh Seminarov Leningradskogo Otdelenija Matematičeskogo Instituta im. V. A. Steklova Akademii Nauk SSSR (LOMI) (in Russian), vol. 40, pp. 94–100, MR 0363823
  8. ^ Mirsky, Leon (1971), "A dual of Dilworth's decomposition theorem", American Mathematical Monthly, 78 (8): 876–877, doi:10.2307/2316481, JSTOR 2316481
  9. ^ Nešetřil, Jaroslav; Tardif, Claude (2008), "A dualistic approach to bounding the chromatic number of a graph", European Journal of Combinatorics, 29 (1): 254–260, doi:10.1016/j.ejc.2003.09.024, MR 2368632
  10. ^ Gallai, Tibor (1968), "On directed graphs and circuits", Theory of Graphs (Proceedings of the Colloquium held at Tihany 1966), Budapest: Akadémiai Kiadó, pp. 115–118
  11. ^ Hasse, Maria (1965), "Zur algebraischen Begründung der Graphentheorie. I", Mathematische Nachrichten (in German), 28 (5–6): 275–290, doi:10.1002/mana.19650280503, MR 0179105
  12. ^ a b Roy, B. (1967), "Nombre chromatique et plus longs chemins d'un graphe" (PDF), Rev. Française Informat. Recherche Opérationnelle (in French), 1 (5): 129–132, doi:10.1051/m2an/1967010501291, MR 0225683
  13. ^ Витавер, Л. М. (1962), "Нахождение минимальных раскрасок вершин графа с помощью булевых степеней матрицы смежностей [Determination of minimal coloring of vertices of a graph by means of Boolean powers of the incidence matrix]", Doklady Akademii Nauk SSSR (in Russian), 147: 758–759, MR 0145509
  14. ^ a b Havet, Frédéric (2013), "Section 3.1: Gallai–Roy Theorem and related results", Orientations and colouring of graphs (PDF), Lecture notes for the summer school SGT 2013 in Oléron, France, pp. 15–19
  15. ^ Rédei, László (1934), "Ein kombinatorischer Satz", Acta Litteraria Szeged, 7: 39–43
  16. ^ Gutin, G. (1994), "Minimizing and maximizing the diameter in orientations of graphs", Graphs and Combinatorics, 10 (3): 225–230, doi:10.1007/BF02986669, MR 1304376, S2CID 2453716
  17. ^ Bondy, J. A. (2003), "Short proofs of classical theorems", Journal of Graph Theory, 44 (3): 159–165, doi:10.1002/jgt.10135, MR 2012799, S2CID 2174153