Re: Four Color Theorem.



In article <1122341617.557618.299500@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
b92057@xxxxxxxxx wrote:

> Rule 1 merely states a condition that must exist if the graph is
> 5-partite. A graph can be 5-C if and only if it is 5-partite!

Nonsense. The cycle on 5-vertices is 5-colorable. It is also
4-colorable, and 3-colorable, but not 2-colorable.

> My intention is to understand exactly what is necessary to prove
> the 4CT.

Do you mean that you want to understand exactly what hypotheses
are necessary for the conclusion of the 4CT to hold? or do you
mean you want to understand exactly what the mathematical steps
are in the proof of the 4CT?

If the former, I repeat my comment that the hypotheses can be
found in any number of places where the theorem is stated.
If the latter, that's a lot harder, but there are some useful
expositions of the proof out there.

--
Gerry Myerson (gerry@xxxxxxxxxxxxxxx) (i -> u for email)
.



Relevant Pages

  • counting cycles
    ... :> its meaning is perfectly clear and non-controversial. ... If you try to graph it, ... Except that this cycle IS infinite. ... It's hard to know what you even COULD mean by an infinite cycle. ...
    (sci.logic)
  • Re: Finding Euler paths..
    ... > Euler path in a graph taking input as the edges. ... check that there can exist a euler path in the graph. ... [For a Euler cycle, find any old cycle to start ... So, our original path shares no vertices with the first cycle, so we ...
    (comp.programming)
  • Re: searching an example for the road coloring conjecture, degree 2
    ... >>connected directed graph with outdegree 2 admits an edge coloring such ... >>the smallest coprime cycle set has at least 3 elements. ...
    (sci.math.research)
  • Re: Shortest path algorithm in digraph with multiple goals?
    ... > lot of red edges (thus your solution will produce a huge graph). ... graph traversal algorithms. ... arcs" can occur in any cycle. ... which there have been 'k' previous traversals of the "counted" arcs. ...
    (comp.theory)
  • Re: Shortest path algorithm in digraph with multiple goals?
    ... > lot of red edges (thus your solution will produce a huge graph). ... graph traversal algorithms. ... arcs" can occur in any cycle. ... which there have been 'k' previous traversals of the "counted" arcs. ...
    (comp.programming)