Live data from Hacker News

Mathematician Disproves Hedetniemi’s Graph Theory Conjecture

quantamagazine.org

21–30 of 77 posts

Re: Mathematician Disproves Hedetniemi’s Graph Theory Conjecture

#21
post #9

Long time ago I failed to solve this conjecture. Nice to see it have been solved. I shared some email with S. Hetdetniemi about some special cases. Good old times.

What results and special cases did you work on?

I cannot remember. I emailed him about some results, he said they were interesting, but later I discovered those results were already published. I told him : I will throw them to trash. Very impolite from my part!, that must be 20 years ago.

Re: Mathematician Disproves Hedetniemi’s Graph Theory Conjecture

#22
> Network coloring problems, which were inspired by the question of how to color maps so that adjoining countries are different colors, ...

> Do four colors suffice to color any map? — took more than a century to answer (the answer is yes, in case you were wondering).

I know very little about graphs and found this bit surprising. After some searching I found out it is called the Four Color Theorem.

Does anyone know of a resource that provides a more intuitive explanation for this for non-graph-theorists?

Re: Mathematician Disproves Hedetniemi’s Graph Theory Conjecture

#23

> Network coloring problems, which were inspired by the question of how to color maps so that adjoining countries are different colors, ... > Do four colors suffice to color any map? — took more than a century to answer (the answer is yes, in case you were wondering). I know very little about graphs and found this bit surprising. After some searching I found out it is called the Four Color Theorem. Does anyone know o…

Intuitive explanation about the proof? That might be tricky because it took a computer to prove it.

Re: Mathematician Disproves Hedetniemi’s Graph Theory Conjecture

#24

> Network coloring problems, which were inspired by the question of how to color maps so that adjoining countries are different colors, ... > Do four colors suffice to color any map? — took more than a century to answer (the answer is yes, in case you were wondering). I know very little about graphs and found this bit surprising. After some searching I found out it is called the Four Color Theorem. Does anyone know o…

It required a notoriously hard-to-simplify proof, which required computer assisted brute force analysis. But an intuition is that a complete graph with four nodes is planar, and five is not. A (3,3) bipartite graph is also the smallest non-planar bipartite graph. That's probably good for answering "why would you suspect 4".

Re: Mathematician Disproves Hedetniemi’s Graph Theory Conjecture

#26

> Network coloring problems, which were inspired by the question of how to color maps so that adjoining countries are different colors, ... > Do four colors suffice to color any map? — took more than a century to answer (the answer is yes, in case you were wondering). I know very little about graphs and found this bit surprising. After some searching I found out it is called the Four Color Theorem. Does anyone know o…

Numberphile covered it well: https://www.youtube.com/watch?v=NgbK43jB4rQ

It's also got a lot of videos on other cool math stuff.

Re: Mathematician Disproves Hedetniemi’s Graph Theory Conjecture

#27
post #2

Beautiful article, though not sure why two examples are introduced (students x instruments, and jobs x hobbies). The abstract for Shitov's paper is also a gem of brevity, here reproduced in its entirety: "The chromatic number of G×H can be smaller than the minimum of the chromatic numbers of finite simple graphs G and H." (And, of course, the first reference in the paper is co-authored by Erdős.)

The first example is used to explain what a tensor product of 2 graphs is.

The second example was used to show how colouring the tensor product may actually be useful.

I thought the second example was a little more complex (primarily because it requires the connection of incompatible nodes, as opposed to the more straightforward pairing of compatible nodes), so having a different, more straight forward example to just explain tensor products was helpful.

Also, having 2 different unrelated examples for the same thing can definitely help with understanding the underlying property/theorem.

Re: Mathematician Disproves Hedetniemi’s Graph Theory Conjecture

#28
post #23

> Network coloring problems, which were inspired by the question of how to color maps so that adjoining countries are different colors, ... > Do four colors suffice to color any map? — took more than a century to answer (the answer is yes, in case you were wondering). I know very little about graphs and found this bit surprising. After some searching I found out it is called the Four Color Theorem. Does anyone know o…

Intuitive explanation about the proof? That might be tricky because it took a computer to prove it.

You can get some way there with a proof of the five-color theorem, though, which is much simpler.

There’s also a good popular overview of the history of the problem in the book “Four Colors Suffice” by Robin Wilson.

Re: Mathematician Disproves Hedetniemi’s Graph Theory Conjecture

#29
post #24

> Network coloring problems, which were inspired by the question of how to color maps so that adjoining countries are different colors, ... > Do four colors suffice to color any map? — took more than a century to answer (the answer is yes, in case you were wondering). I know very little about graphs and found this bit surprising. After some searching I found out it is called the Four Color Theorem. Does anyone know o…

It required a notoriously hard-to-simplify proof, which required computer assisted brute force analysis. But an intuition is that a complete graph with four nodes is planar, and five is not. A (3,3) bipartite graph is also the smallest non-planar bipartite graph. That's probably good for answering "why would you suspect 4".

To save laymen a google: A complete graph is one where all the nodes are connected. A planar graph is one that can be draw in the plane without two lines intersecting.

Re: Mathematician Disproves Hedetniemi’s Graph Theory Conjecture

#30

> Network coloring problems, which were inspired by the question of how to color maps so that adjoining countries are different colors, ... > Do four colors suffice to color any map? — took more than a century to answer (the answer is yes, in case you were wondering). I know very little about graphs and found this bit surprising. After some searching I found out it is called the Four Color Theorem. Does anyone know o…

LOL. Not likely. The history of the proof is interesting. It was the first major proof that was done by computer. It reduced the set of graphs to about 2,000 and then brute forced it. Some refused to accept this was a "proof" in the traditional sense.
Post reply on HN