This document discusses spiral chains and their application to graph coloring problems. It begins with an overview of map coloring examples and the inspiration of spirals in nature. It then provides historical context around the Four Color Theorem and Kempe's idea of using chains to color graphs. The main part of the presentation outlines how spiral chains can be used to color graphs through a proof technique involving decomposing graphs into spiral segments. It provides examples of how spiral chains allow coloring of various graphs and structures. The document concludes by mentioning some other open coloring problems that may benefit from the spiral chain approach.
Can you trust the internet? An introduction to graph theory, computational co...Denise Gosnell, Ph.D.
In this presentation, Denise weaves together technical details from graph theory, computational complexity, and cryptography to ultimately discuss if the internet is secure. The discussion centers around whether or not N=NP.
The video of the event will be available on YouTube here: http://youtu.be/jCvROOijhoY
Can you trust the internet? An introduction to graph theory, computational co...Denise Gosnell, Ph.D.
In this presentation, Denise weaves together technical details from graph theory, computational complexity, and cryptography to ultimately discuss if the internet is secure. The discussion centers around whether or not N=NP.
The video of the event will be available on YouTube here: http://youtu.be/jCvROOijhoY
If you are looking for math video tutorials (with voice recording), you may download it on our YouTube Channel. Don't forget to SUBSCRIBE for you to get updated on our upcoming videos.
https://tinyurl.com/y9muob6q
Also, please do visit our page, LIKE and FOLLOW us on Facebook!
https://tinyurl.com/ycjp8r7u
https://tinyurl.com/ybo27k2u
[Question Paper] Logic and Discrete Mathematics (Revised Course) [April / 2014]Mumbai B.Sc.IT Study
This is a Question Papers of Mumbai University for B.Sc.IT Student of Semester - III [Logic and Discrete Mathematics] (Revised Course). [Year - April / 2014] . . .Solution Set of this Paper is Coming soon...
The various visual and numeric patterns, seen in the Pascal's Triangle. Includes a brief introduction and help on constructing the Pascal's Triangle. Binomial Theorem is not discussed. Though, the n C r formula has been described. Hope you enjoy it !
This is a Question Papers of Mumbai University for B.Sc.IT Student of Semester - IV [Quantitative Technology] (Revised Course). [Year - September / 2013] . . . Solution Set of this Paper is Coming soon . . .
If you are looking for math video tutorials (with voice recording), you may download it on our YouTube Channel. Don't forget to SUBSCRIBE for you to get updated on our upcoming videos.
https://tinyurl.com/y9muob6q
Also, please do visit our page, LIKE and FOLLOW us on Facebook!
https://tinyurl.com/ycjp8r7u
https://tinyurl.com/ybo27k2u
[Question Paper] Logic and Discrete Mathematics (Revised Course) [April / 2014]Mumbai B.Sc.IT Study
This is a Question Papers of Mumbai University for B.Sc.IT Student of Semester - III [Logic and Discrete Mathematics] (Revised Course). [Year - April / 2014] . . .Solution Set of this Paper is Coming soon...
The various visual and numeric patterns, seen in the Pascal's Triangle. Includes a brief introduction and help on constructing the Pascal's Triangle. Binomial Theorem is not discussed. Though, the n C r formula has been described. Hope you enjoy it !
This is a Question Papers of Mumbai University for B.Sc.IT Student of Semester - IV [Quantitative Technology] (Revised Course). [Year - September / 2013] . . . Solution Set of this Paper is Coming soon . . .
The square of opposition: Four colours sufficient for the “map” of logicVasil Penchev
How many “letters” does the “alphabet of nature” need?
Nature is maximally economical, so that that number would be the minimally possible one. What is the common in the following facts?
(1) The square of opposition
(2) The “letters” of DNA
(3) The number of colors enough for any geographic al map
(4) The minimal number of points, which allows of them not be always well-ordere
ĐỀ THI SEAMO - CẤP ĐỘ B (KHỐI 3 + 4) NĂM 2018
ĐỀ THI SEAMO - CẤP ĐỘ B (KHỐI 3 + 4) NĂM 2018
ĐỀ THI SEAMO - CẤP ĐỘ B (KHỐI 3 + 4) NĂM 2018
ĐỀ THI SEAMO - CẤP ĐỘ B (KHỐI 3 + 4) NĂM 2018
ĐỀ THI SEAMO - CẤP ĐỘ B (KHỐI 3 + 4) NĂM 2018
ĐỀ THI SEAMO - CẤP ĐỘ B (KHỐI 3 + 4) NĂM 2018
A brief overview of the life of Évariste Galois (1811-1832), his contributions to group theory, and the impact of this theory on areas such as equation theory, physics, chemistry, biology, cryptography, chemistry, computer games, and Rubik's Cubes. Emphasizes the biographical, psychological, and historical angles more than the math, but does include some math. Assumes no group theory, but includes definitions of what a group is, along with descriptions of common groups (symmetry, dihedral, cyclic, alternating, Klein 4-group) and hand-waving descriptions of concepts like the quotient group, solvability, the Galois group, and Noether's Theorem.
In graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called "colors" to elements of a graph subject to certain constraints. In its simplest form, it is a way of coloring the vertices of a graph such that no two adjacent vertices share the same color; this is called a vertex coloring. Similarly, an edge coloring assigns a color to each edge so that no two adjacent edges share the same color, and a face coloring of a planar graph assigns a color to each face or region so that no two faces that share a boundary have the same color.
1. Ibrahim CahitIbrahim Cahit
Near East UniversityNear East University
Spiral Chains:Spiral Chains:
The Four Color Theorem and BeyondThe Four Color Theorem and Beyond
Istanbul Bilgi University, 13 May 2005
2. 2
Presentation Plan
• Problem definition
• Some map coloring examples
• Inspiration and motivation (Why spiral chains?)
• Historical notes and Kempe’s idea
• Use of spiral chains in graphs
• Proof outline
• Three-Coloring Penrose Tilings
• Coloring of Arrangements of Great Circles
• Steinberg’s Three Coloring Conjecture
• Hadwiger’s Conjecture
• Tribute and concluding remarks
17. 17
The Four Color Problem has a long story
• Francis Guthrie (1852) (problem owner)
• A. de Morgan (first mathematical look)
• Arthur Cayley (1878) (first paper)
• Alfred Kempe (1879) (first proof)
• P. Heawood (1890) (refuted Kempe’s “proof”)
• P. G. Tait (1880) (another “proof”)
• Petersen (1891) (refuted Tait’s “proof”)
• G. Birkhoff (1913) (first reducible configuration)
18. 18
The Four Color Problem has a long story (2)
Reducibility
• Franklin, Bernhard and Bernhard,
Reylonds, Winn, Ore and Stample, Ore,
Stromquist, Meyer, Tutte, Whitney, Allaire,
Swart, Düre, Heesch, Miehe
• Henrich Heesch, Jean Meyer
Discharging
19. 19
The Four Color Problem has a long story (3)
Proofs at last …
• Kenneth Appel and Wolfgang Haken
(1976)
• N. Robertson, D. Sanders, P. Seymour,
and R. Thomas (1996)
• Proofs use computers
• Proofs are complicated
• Skepticism
20. 20
Who is responsible for this extremely
lengthy and computer assisted proofs ?
• George
Birkhoff
(1913)!
• Why?
(C-reducibility
in A&H proof)
The Birkhoff Diamond
Ring
21. 21
Kempe’s Idea
• Use of Kempe chain
to color white face.
• Coloring maps and
the Kowalski doctrine
(John McCarthy, 1982).
• Use of shelling structures
(antimatroids) in map
coloring (A. Parmar,
2003).
• Our coloring algorithm is
an antimatroid without
backtracking.
23. 23
Philosophy of the known
approach…
• A configuration is reducible if it cannot be
contained in a minimum counterexample
to the four-color conjecture.
• The proof by A&H is actually set up as a
contraposition of the inductive step; the
“minimal” counterexample is the smallest
graph for which the inductive step cannot
be made. [D. Pavlovic]
Shelling structures next…
24. 24
Greedoids*
(http://www.formal.stanford.edu/aarati)
• Greedoids: Mathematical structures under which
greedy algorithms reach optimal solutions
• Two kinds:
– Matroids: structure underlying greedy algorithms for
finding minimum spanning tree of graph
– Antimatroids: (shelling structures), can be
decomposed by removing successive layers until
nothing is left
*Aarati Parmar,*Aarati Parmar, ““Some Mathematical Structures Underlying Efficient PlanningSome Mathematical Structures Underlying Efficient Planning””, Stanford, Stanford
University, March 2003.University, March 2003.
25. 25
Antimatroids: Definition
• Let A be a set, L a set of strings over A
• (A,L) is an antimatroid if
1. (Simple) No string in L has a repeated element of A
2. (Normal) Every symbol of A appears in some word of
L
3. (Hereditary) L is closed under prefixes
4. (Exchange) If s, t are words of L, and s contains an
element of A not in t, then for some x in s-t, tx is a
word of L
26. 26
Four-Coloring Maps
• Antimatroids (shelling structures) can be
decomposed by removing successive layers until
nothing is left.
• Antimatroid structure shows us when we can effect
planning without search!
• Heuristics of postponing coloring show us how to
order subgoals in such a way as to avoid any
dependencies.
27. 27
Four-Coloring Maps
• A graph (V,E) is n-reducible if one can repeatedly
remove vertices of degree n or less, resulting in the
empty graph.
• If a graph is n-reducible then we can color it with
n+1 colors without backtracking.
• Let L(V,E) be the shelling sequences of removing the
vertices of degree n or less from (V,E)
• Theorem : (V,E) n-reducible iff L(V,E) is an
antimatroid.
28. 28
Four-Coloring Maps, con’t.
• Strategy: postpone 4-coloring countries with 3
or fewer neighbors; remove from map; repeat
• If entire map is decomposed in this way, the
reverse order is a plan for coloring the map!
• “Color California last.”
• When do maps have this
property?
29. 29
Four-Coloring Maps
• We want to know when we can color
without having to backtrack
• Idea in [Kempe, 1879], [McCarthy 1982]:
1. postpone 4-coloring countries with 3 or fewer
neighbors;
2. remove from map;
3. repeat.
30. 30
Antimatroids = Shelling
sequences
• If L is simple and normal, equivalent to shellings of convex
geometries in Euclidean spaces
• In our algorithm L is union of sub-spiral chains of a MPG.
a
L = {a,
ab,
abc,
abcd,
abcde,
b
c
d
e
f
...}
abcdef,
31. 31
Haken and Appel needed a computer in 1976….
http://www.mathpuzzle.com
32. 32
Bad example No.1
(Heawood graph, 1898)
2
4 2 4
2 1
4
1
3
2
3
3
1
4 3
2
4
2
4
1
3
4 1
3
1
Red-Yellow
chain
Green-Blue
chain
Hamilton cycle in the
dual graph (closest
triangle first)
By using Hamiltonian cycle.
33. 33
Bad example
(Heawood graph)
2
4 3
2
3
1
2
1
3
2
4 1
3
4
2
4
1
2
4 3
1
3
1
2
4
Spiral chain 1
Spiral chain 2
By using spiral chains
Theta sub-graph
separates two
spiral chains
34. 34
Bad example No. 2
(Errera graph, 1921)
4
1
3
2
2
3
1
4 3
2
3
2
4
1
4
1
3
Spiral
chain:
Hamilton
path in the
dual graph
37. 37
Algorithmic proof based on the spiral
chains
• Theorem. All maximal planar graphs are 4-
colorable by the use of spiral chains.
Proof:
Case (a) Maximal planar graphs with a
single spiral chain.
Case (b) Maximal planar graphs with
several spiral chains.
38. 38
A node on the spiral chain
• It looks like a way to "cut up" a graph so
that each node is connected to one of four
kinds of nodes: one node forward of it in
the spiral, and one node behind it, and
then a set of nodes to its "right" which are
bisected by the chain, and another set on
the "left" which are bisected on the other
side.
40. 40
Close look at the spiral chain …
Direction of coloring
of the nodes on the
spiral chain*
Start node
End node
* Along with the spiral chain use whenever possible 2
(possible) colors e.g., blue-yellow, green-red, etc.
Otherwise use 3 colors.
41. 41
Proof Without Words
Spiral Segment 1
Spiral Segment 2
Spiral Segment 3
STEP 1:
Spiral Chain
of the
Maximal
Planar Graph
STEP 2:
THREE
COLORING
OF SPIRAL
SEGMENTS
MAXIMAL
OUTERPLANAR
SUB-GRAPH
45. 45
Ordering the triangles in the fans
for 4-coloring
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36
1 3 5 7 9 11 13 15 17
42 6 81012141618
19
20
21
3433323130
Coloring the fan F3
by red-green chain
Coloring the fan F1 by
yellow-green-blue chain
46. 46
Extending 4-coloring to the outer-cycle
• i th level cycle nodes
must be colored with at
most three colors e.g.,
green, red, yellow in
order to reserve a color
for the last node of the
spiral chain (shown in
blue)
1 3
2
4
3
4
3
Gi-1
Cycle at the i th level
4 3 1
Coloring outercycle with the spiral chain
(termination condition)
47. 47
Spiral chains and fan decompostion in a Zoe graph
1
2
3
4
5 6 7
8
9
10
11
12
1314
15
16
17
18
19
20
21
51. 51
Uniquely 4-colorable graphs
• Start with K4 and add a
new node joined to 3
nodes of a face; repeat.
• Theorem (Fowler,
conjectured by Fisk and
Fiorini-Wilson 1977)
Every uniquely 4-
colorable planar graph
can be obtained as
described above.
52. 52
Spiral chains in an uniquely 4-colorable
MPG
1(1)
4(3) 4(3)
2(3)
3(3)
3(3)
4(3)
1(2)
1(3)
3(2)
4(1) 1(3)
2(2)
2(3)
3(1)2(1)
Spiral chain 1
Spiral chain 2
Spiral chain 4
Spiral chain 3
Spiral chain 5
This case is handled mainly by 3-reducibility (A. Parmar)
53. 53
Spiral chains and 3-coloring of Tutte’s graph, 1954
(Counter-example to Tait’s conjecture, 1880)
Spiral chain 1
Spiral chain 2
Spiral chain 3
Tait Conjecture: Every cubic graph is Hamiltonian.
54. 54
Coloring Penrose Tilings
• Three coloring of Penrose tiles proposed by J. H.
Conway.
• Simpler than the four color problem.
• Regions are in the form of kite and dart, rhombs or
pentacles only.
• Open problem whether Penrose pentacles tiles are 3-
colorable.
τ
τ τ
τ
1
1
1
1
The Kite The Dart
55. 55
Evolution to a three coloring
(A Stochastic Cellular Automaton for Three Coloring Penrose Tilings,
Mark McClure, 2001)
56. 56
Spiral Chains and Three Coloring Penrose Tilings
: Roger Penrose (1973)
With kites and darts With rhombs
58. 58
3-Colorability of Arrangements of Great Circles
(Stan Wagon, 2000)
• Is every zonohedron face
3-colorable when viewed
as a planar map? An
equivalent question,
under a different guise, is
the following: is the
arrangement graph of
great circles on the
sphere always vertex 3-
colorable? YES (next slide)
• Can spiral chains be any
help? YES (next slide)
A
A'
B
B'
C
C'
D
E
F
F'
E'
D'
1b
1f
3f
5f
5b
4b
3b
2f
4f
2b
Triangular chain # 1= {(1b &1f), (1f & 2b), (2b & 4b), (4b & 3b), (3b &1b)}
Triangular chain # 2= {(5b & 5f), (5f & 3f), (3f & 4f), (4f & 2f), (2f & 5b)}
59. 59
Example (Four Great Circles)
A
A'
B
B'
C
C'
D
E
F
G
H
I
C'
I D
A'
B
A C
H
E
G F
B'
C2 C1
C3
C4
60. 60
Three Coloring of Arrangements of
Great Circles by Spiral Chains
1
23
4
5 6
78
9
Decomposition into triangles and 3-coloring
Note:
(Number of
triangles) /2 =
Number of great
circles
62. 62
Steinberg’s Conjecture (1973)
• (Steinberg) Every
planar graph without
cycles of length 4 and
5 is 3-colorable.
• (Borodin et. al.2005)
Every planar graph
without cycles of
length 4 to 7 is 3-
colorable.
63. 63
Proof attempt
• Characterization of planar graphs with
cycles 4 and 5 that are not 3-colorable.
• Extending these graphs to 3-colorable
graphs by deleting suitable edges.
• Use of spiral-chain coloring to show that
planar graphs without 4 and 5 cycles are
3-colorable.
65. 65
An triangulated ring is 3-colorable only if
| | 0 or | | | | 0(mod3)o o iC C C≡ + ≡
Cyclic parity sequence of the fans around the inner cycle Ci
is symmetric and
70. 70
Hadwiger’s Conjecture
• Hadwiger (1943): Graphs containing no
Kk+1-minor are k-colorable.
• Trivial for k<4.
• Equivalent to 4CC for k=4 (Wagner, 1937)
and for k=5 (Robertson, Seymour and
Thomas, 1993).
• Open for k>5.
71. 71
Some known results
• (Robertson, Seymour, Thomas) Every
minimal counterexample to Hadwiger’s
conjecture for k=5 is apex (Gv is planar
for some vertex v of G).
• Hajos’ Conjecture. Every loopless graph
with no Kk+1 subdivison is k-colorable.
(k≤ 3 ≡ Hadwiger (true))
(k= 4,5,6 (Open))
(k≥ 7 false (Catlin)).
72. 72
Embedding Kn and Spiral Chains
K5 K6
Embed K6-free graph G in the plane so that edges of every K4
remain in between two spiral segments.
73. 73
Back to 4CT…
Georges Gonthier, “A computer-checked proof of the Four
Colour Theorem”, 2005.
• … fully checked by the Coq
v7.3.1 proof assistant. This
proof is largely based on the
mixed mathematics/computer
proof of Robertson et. al. but
contains original parts.
• 57p+28p+?=???
• For someone this is the end
of the “skepticism” e.g.,
Devlin.
• Now, is it “humanly
readable”?
77. 77
Concluding Remarks
• Spiral chains in graphs introduced.
• Non-computer proof of the 4CT has
been given. (Ideas can only be
created by humans).
• The use of the spiral chains to the
other graph coloring problems
demonstrated.
78. 78
Acknowledgements
• Louis Kaufmann (G. Washington Univ.)
• Aarati Parmar (Stanford University)
• Juan Orozco (Boston)
• Stan Wagon (McCalester College)
• Mehmet Özel (Lefkose)
• Shel Hulac (Girne American Univ.)
• Chris Heckman (Arizona State)
For their support and comments on
spiral chains …
79. 79
Spiral Chains:
A New Proof of the Four Color Theorem
Ibrahim Cahit
Near East University
Thank you
Istanbul Bilgi University, 13 May 2005