|
|
| Line 1: |
Line 1: |
| [[File:Hdetniemi conjecture example.svg|300px|right|thumb|Example of '''Hedetniemi's conjecture''': the tensor product of C5 and C3 (on the left) produces a graph that contains a cycle with length 15 (on the right) so: the resulting graph requires 3 colors.]]
| | Hello, my title is Andrew and my spouse doesn't like it at all. Mississippi is exactly where her home is but her spouse wants them to move. As a woman what she really likes is style and she's been performing it for quite a whilst. Invoicing is my occupation.<br><br>Also visit my site free psychic readings ([http://fashionlinked.com/index.php?do=/profile-13453/info/ http://fashionlinked.com/index.php?do=/profile-13453/info/]) |
| | |
| In [[graph theory]], '''Hedetniemi's conjecture''', named after [[Stephen T. Hedetniemi]], concerns the connection between [[graph coloring]] and the [[tensor product of graphs]]. This conjecture states that
| |
| :χ(''G'' × ''H'') = min {χ(''G''), χ(''H'')}.
| |
| Here χ(''G'') denotes the [[chromatic number]] of an undirected finite graph ''G''.
| |
| An inequality in one direction is easy: if ''G'' is ''k''-colored, one can ''k''-color ''G'' × ''H'' by using the same coloring for each copy of ''G'' in the product, so χ(''G'' × ''H'') ≤ χ(''G''). For the same reason χ(''G'' × ''H'') ≤ χ(''H''); therefore, χ(''G'' × ''H'') ≤ min {χ(''G''), χ(''H'')}. Thus, Hedetniemi's conjecture amounts to the assertion that tensor products can't be colored with an unexpectedly small number of colors.
| |
| | |
| Hedetniemi formulated his conjecture in 1966 based on the inequality described above. Hedetniemi's conjecture has also been called the [[Laszlo Lovász|Lovász]]-Hedetniemi conjecture. It cannot be generalized to infinite graphs: {{harvtxt|Hajnal|1985}} gave an example of two infinite graphs, each requiring an uncountable number of colors, such that their product can be colored with only countably many colors. {{harvtxt|Rinot|2013}} proved that in the [[constructible universe]], for every infinite cardinal <math>\kappa</math>, there exist a pair of graphs of chromatic number greater than <math>\kappa</math>, such that their product can still be colored with only countably many colors.
| |
| | |
| | |
| == Example ==
| |
| | |
| Suppose that ''G'' and ''H'' are both [[cycle graph]]s ''C<sub>m</sub>'' and ''C<sub>n</sub>''. Then the edges of ''G'' × ''H'' can be grouped into cycles with length equal to the least common multiple of ''m'' and ''n''. Thus, if both ''G'' and ''H'' have an odd number of vertices and therefore require three colors, the product ''G'' × ''H'' will contain odd cycles and will also require three colors.
| |
| | |
| == Special cases == | |
| Clearly, any graph with a nonempty set of edges requires two colors; therefore, the conjecture is true whenever ''G'' or ''H'' is bipartite. It is also true when ''G'' or ''H'' is 3-colorable, for if both ''G'' and ''H'' contain an odd cycle then so does ''G'' × ''H''. In the remaining cases, both factors of the tensor product require four or more colors. When both factors are 4-chromatic, El-Zahar and Sauer (1985) showed that their tensor product also requires four colors; therefore, Hedetniemi's conjecture is true for this case as well.
| |
| | |
| == Related problems ==
| |
| A similar equality for the [[cartesian product of graphs]] was proven by Sabidussi (1957) and rediscovered several times afterwards. Häggkvist et al. (1988) view graph coloring categorically, as a homomorphism from a graph to a complete graph, and consider similar problems for generalizations of graph coloring involving homomorphisms to incomplete graphs. Duffus et al. (1985) introduced two stronger conjectures involving unique colorability.
| |
| | |
| == References ==
| |
| *{{cite journal
| |
| | author = [[Dwight Duffus|Duffus, D.]]; Sands, B.; Woodrow, R. E.
| |
| | title = On the chromatic number of the product of graphs
| |
| | journal = J. Graph Theory
| |
| | volume = 9
| |
| | year = 1985
| |
| | issue = 4
| |
| | pages = 487–495
| |
| | mr = 0890239
| |
| | doi = 10.1002/jgt.3190090409}}
| |
| *{{cite journal
| |
| | author = El-Zahar, M.; Sauer, N.
| |
| | title = The chromatic number of the product of two 4-chromatic graphs is 4
| |
| | journal = Combinatorica
| |
| | volume = 5
| |
| | pages = 121–126
| |
| | year = 1985
| |
| | mr = 0815577
| |
| | doi = 10.1007/BF02579374
| |
| | issue = 2}}
| |
| *{{cite journal
| |
| | author = Häggkvist, R.; Hell, P.; Miller, D. J.; Neumann Lara, V.
| |
| | title = On multiplicative graphs and the product conjecture
| |
| | journal = Combinatorica
| |
| | volume = 8
| |
| | year = 1988
| |
| | issue = 1
| |
| | pages = 63–74
| |
| | mr = 0951994
| |
| | doi = 10.1007/BF02122553}}
| |
| *{{cite journal
| |
| | author = Hajnal, A. | authorlink = András Hajnal
| |
| | title = The chromatic number of the product of two ℵ<sub>1</sub> chromatic graphs can be countable
| |
| | journal = Combinatorica
| |
| | volume = 5
| |
| | year = 1985
| |
| | pages = 137–140
| |
| | mr = 0815579
| |
| | doi = 10.1007/BF02579376
| |
| | issue = 2}}
| |
| *{{cite paper
| |
| | author = S. Hedetniemi
| |
| | title = Homomorphisms of graphs and automata
| |
| | version = Technical Report 03105-44-T
| |
| | year = 1966
| |
| | publisher = University of Michigan}}
| |
| *{{cite book
| |
| | author = Imrich, Wilfried; Klavžar, Sandi
| |
| | title = Product Graphs: Structure and Recognition
| |
| | publisher = Wiley
| |
| | year = 2000
| |
| | isbn = 0-471-37039-8
| |
| | oclc = 42921382}}
| |
| *{{cite journal
| |
| | author = Klavžar, Sandi
| |
| | title = Coloring graph products: a survey
| |
| | journal = [[Discrete Mathematics (journal)|Discrete Mathematics]]
| |
| | volume = 155
| |
| | year = 1996
| |
| | issue = 1–3
| |
| | pages = 135–145
| |
| | mr = 1401366
| |
| | doi = 10.1016/0012-365X(94)00377-U}}
| |
| *{{cite arXiv
| |
| |last=Rinot
| |
| |first=Assaf
| |
| |eprint=1307.6841
| |
| |title=Hedetniemi's conjecture for uncountable graphs
| |
| |year=2013 }}
| |
| *{{cite journal
| |
| | authorlink = G. Sabidussi
| |
| | author = Sabidussi, G.
| |
| | title = Graphs with given group and given graph-theoretical properties
| |
| | journal = Canad. J. Math.
| |
| | volume = 9
| |
| | year = 1957
| |
| | pages = 515–525
| |
| | mr = 0094810
| |
| | doi = 10.4153/CJM-1957-060-7}}
| |
| *{{cite journal
| |
| | author = Sauer, N.
| |
| | title = Hedetniemi's conjecture: a survey
| |
| | journal = Discrete Mathematics
| |
| | volume = 229
| |
| | issue = 1–3
| |
| | year = 2001
| |
| | pages = 261–292
| |
| | doi = 10.1016/S0012-365X(00)00213-2
| |
| | mr = 1815610}}
| |
| *{{cite journal
| |
| | author = Zhu, Xuding
| |
| | title = A survey on Hedetniemi's conjecture
| |
| | journal = Taiwanese J. Math.
| |
| | volume = 2
| |
| | year = 1998
| |
| | issue = 1
| |
| | pages = 1–24
| |
| | mr = 1609464}}
| |
| | |
| [[Category:Graph products]]
| |
| [[Category:Graph coloring]]
| |
| [[Category:Conjectures]]
| |
Hello, my title is Andrew and my spouse doesn't like it at all. Mississippi is exactly where her home is but her spouse wants them to move. As a woman what she really likes is style and she's been performing it for quite a whilst. Invoicing is my occupation.
Also visit my site free psychic readings (http://fashionlinked.com/index.php?do=/profile-13453/info/)