SlideShare a Scribd company logo
Generalization of Ramsey Numbers
Further Research on Ramsey Theorem

Asaad, Al-Ahmadgaid B.
email: alstated@gmail.com
Mindanao State University
Iligan Institute of Technology
Generalization
The definition of the Ramsey number R(p, q) with 2 parameters can be
generalized in a natural way to the Ramsey number R(p1 , p2 , · · · , pk )
with k parameters as follows. Let k, p1 , p2 , · · · , pk N with k ≥ 3.
The Ramsey number R(p1 , p2 , · · · , pk ) is the smallest natural number
n such that for any colouring of the edges of an n-clique by k colours:
colour 1, colour 2, · · · , colour k, there exist a colour i (i = 1, 2, · · · , k)
and a pi -clique in the resulting configuration such that all edges in the
pi -clique are coloured by colour i.
• The result of Example 3.4.1. shows that R(3, 3, 3) ≤ 17.
• In 1995, Greenwood and Gleason [GG] proved by construction that

R(3, 3, 3) ≥ 17.
• Thus, R(3, 3, 3) = 17
2 of 18
Generalization
The definition of the Ramsey number R(p, q) with 2 parameters can be
generalized in a natural way to the Ramsey number R(p1 , p2 , · · · , pk )
with k parameters as follows. Let k, p1 , p2 , · · · , pk N with k ≥ 3.
The Ramsey number R(p1 , p2 , · · · , pk ) is the smallest natural number
n such that for any colouring of the edges of an n-clique by k colours:
colour 1, colour 2, · · · , colour k, there exist a colour i (i = 1, 2, · · · , k)
and a pi -clique in the resulting configuration such that all edges in the
pi -clique are coloured by colour i.
• The result of Example 3.4.1. shows that R(3, 3, 3) ≤ 17.
• In 1995, Greenwood and Gleason [GG] proved by construction that

R(3, 3, 3) ≥ 17.
• Thus, R(3, 3, 3) = 17
2 of 18
Generalization
The definition of the Ramsey number R(p, q) with 2 parameters can be
generalized in a natural way to the Ramsey number R(p1 , p2 , · · · , pk )
with k parameters as follows. Let k, p1 , p2 , · · · , pk N with k ≥ 3.
The Ramsey number R(p1 , p2 , · · · , pk ) is the smallest natural number
n such that for any colouring of the edges of an n-clique by k colours:
colour 1, colour 2, · · · , colour k, there exist a colour i (i = 1, 2, · · · , k)
and a pi -clique in the resulting configuration such that all edges in the
pi -clique are coloured by colour i.
• The result of Example 3.4.1. shows that R(3, 3, 3) ≤ 17.
• In 1995, Greenwood and Gleason [GG] proved by construction that

R(3, 3, 3) ≥ 17.
• Thus, R(3, 3, 3) = 17
2 of 18
Example
From Exercise 42. Show that R(3, 3, 2) = 6
Proof. Let v0 be a vertex from any of the six vertices. Joining the
vertex v0 to the vertices that incident to it, we have
v0

v1

v2

v3

v4

v5

If we are going to colour the edges with either red, blue, or yellow.
Then, by Pigeonhole principle, there are at least 3 edges coloured with
either of the three colours.
3 of 18
Assuming the edges were {(v0 ,v1 ), (v0 ,v2 ), and (v0 ,v3 )} and that it is
coloured with red. Then
v0

v1

v2

v3

If any of the edges between v1 , v2 , and v3 is coloured with red, then
we can form a monochromatic triangle of colour red.
v0

v1
4 of 18

v2

v3
If none of them is coloured with red, then either blue or yellow is
the colour of the edges. Suppose the colour of the edge between the
vertices v1 and v2 is blue, and the edge between the vertices v2 and v3
is yellow. That is,
v0

v1

v2

v3

Then, we can form a single edge coloured with blue, or an edge
coloured with yellow.

5 of 18
Suppose, the edges between the vertices v1 , v2 , and v3 are coloured
with blue. If the edge formed between vertices v1 and v3 is coloured
with red. Then, we have a single monochromatic triangle coloured
with red. But, if the edge is coloured with blue, then we can have
a monochromatic triangle of colour blue. In addition, if the edge is
coloured with yellow, then we have a single line (edge) coloured with
yellow.
v0

v1

6 of 18

v2

v0

v3

v1

v2

v3
v0

v1

v2

v3

Hence, using 6 vertices is enough to show that there exist 3-clique of
blue, 3-clique of red, or 2-clique of yellow.

7 of 18
Applications of Ramsey Numbers

These are the areas where we can apply Ramsey numbers
• Number Theory
• Geometry
• Communications
• Decision Making
• Computer Science

http://www.cs.umd.edu/~gasarch/ramsey/ramsey.html
• and more...

8 of 18
Applications of Ramsey Numbers

These are the areas where we can apply Ramsey numbers
• Number Theory
• Geometry
• Communications
• Decision Making
• Computer Science

http://www.cs.umd.edu/~gasarch/ramsey/ramsey.html
• and more...

8 of 18
Applications of Ramsey Numbers

These are the areas where we can apply Ramsey numbers
• Number Theory
• Geometry
• Communications
• Decision Making
• Computer Science

http://www.cs.umd.edu/~gasarch/ramsey/ramsey.html
• and more...

8 of 18
Applications of Ramsey Numbers

These are the areas where we can apply Ramsey numbers
• Number Theory
• Geometry
• Communications
• Decision Making
• Computer Science

http://www.cs.umd.edu/~gasarch/ramsey/ramsey.html
• and more...

8 of 18
Applications of Ramsey Numbers

These are the areas where we can apply Ramsey numbers
• Number Theory
• Geometry
• Communications
• Decision Making
• Computer Science

http://www.cs.umd.edu/~gasarch/ramsey/ramsey.html
• and more...

8 of 18
Applications of Ramsey Numbers

These are the areas where we can apply Ramsey numbers
• Number Theory
• Geometry
• Communications
• Decision Making
• Computer Science

http://www.cs.umd.edu/~gasarch/ramsey/ramsey.html
• and more...

8 of 18
9 of 18
Ramsey Theorem

In combinatorics, Ramsey’s theorem states that in any colouring of the
edges of a sufficiently large complete graph, one will find monochromatic complete subgraphs. For two colours, Ramsey’s theorem states
that for any pair of positive integers (p, q), there exists a least positive
integer R(p, q) such that for any complete graph on R(p, q) vertices,
whose edges are coloured red or blue, there exists either a complete
subgraph on p vertices which is entirely blue, or a complete subgraph
on q vertices which is entirely red.

10 of 18
More on Theorem
• Extension of the Theorem

The theorem can also be extended to hypergraphs. An m-hypergraph
is a graph whose ”edges” are sets of m vertices - in a normal graph
an edge is a set of 2 vertices.
• Infinite Ramsey theorem

A further result, also commonly called Ramsey’s theorem, applies
to infinite graphs. In a context where finite graphs are also being
discussed it is often called the ”Infinite Ramsey theorem”.
Theorem: Let X be some countably infinite set and colour the
elements of X (n) (the subsets of X of size n) in c different colours.
Then there exists some infinite subset M of X such that the size n
subsets of M all have the same colour.
11 of 18
List of Ramsey Numbers
List of Ramsey numbers for p-clique and q-clique, p, q ≤ 19
p
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3

q
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

12 of 18

R(p, q)
6
9
14
18
23
28
36
[40, 43]
[46, 51]
[52, 59]
[59, 69]
[66, 78]
[73, 88]
[79, 135]
[92, 152]
[98, 170]
[106, 189]

Reference
Greenwood and Gleason 1955
Greenwood and Gleason 1955
Greenwood and Gleason 1955
Graver and Yackel 1968
Kalbfleisch 1966
McKay and Min 1992
Grinstead and Roberts 1982
Exoo 1989c, Radziszowski and Kreher 1988
Radziszowski and Kreher 1988
Exoo 1993, Radziszowski and Kreher 1988, Exoo 1998, Lesser 2001
Piwakowski 1996, Radziszowski and Kreher 1988
Exoo (unpub.), Radziszowski and Kreher 1988
Wang and Wang 1989, Radziszowski (unpub.), Lesser 2001
Wang and Wang 1989
Wang et al. 1994
Wang et al. 1994
Wang et al. 1994
Continuation...
p
3
3
3
3
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4

q
20
21
22
23
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

13 of 18

R(p, q)
[109, 209]
[122, 230]
[125, 252]
[136, 275]
18
25
[35, 41]
[49, 61]
[56, 84]
[73, 115]
[92, 149]
[97, 191]
[128, 238]
[133, 291]
[141, 349]
[153, 417]
[153, 815]
[182, 968]
[182, 1139]

Reference
Wang et al. 1994
Wang et al. 1994
Wang et al. 1994
Wang et al. 1994
Greenwood and Gleason 1955
McKay and Radziszowski 1995
Exoo (unpub.), McKay and Radziszowski 1995
Exoo 1989a, Mackey 1994
Exoo 1998, Exoo 2002
Radziszowski 1988, Mackey 1994
Piwakowski 1996, Mackey 1994, Harboth and Krause 2003
Piwakowski 1996, Spencer 1994, Burr et al. 1989
Su et al. 1998, Spencer 1994
Xu and Xie 2002
Xu and Xie 2002
Xu and Xie 2002
Luo et al. 2001
p
8
8
8
8
8
8
9
9
10
11
12
13
14
15
16
17
18
19

q
16
17
18
19
20
21
9
10
10
11
12
13
14
15
16
17
18
19

R(p, q)
[861, 170543]
[861, 245156]
[871, 346103]
[1054, 480699]
[1094, 657799]
[1328, 888029]
[565, 6588]
[580, 12677]
[798, 23556]
[1597, 184755]
[1637, 705431]
[2557, 2704155]
[2989, 10400599]
[5485, 40116599]
[5605, 155117519]
[8917, 601080389]
[11005, 2333606219]
[17885, 9075135299]

Reference
Xu and Xie 2002
Xu and Xie 2002
Xu and Xie 2002
Su et al. 2002
Su et al. 2002
Shearer 1986, Shi and Zheng 2001
Xu and Xie 2002
Shearer 1986, Shi 2002
Mathon 1987
Xu and Xie 2002
Mathon 1987
Mathon 1987
Mathon 1987
Mathon 1987
Luo et al. 2002
Luo et al. 2002
Luo et al. 2002

more at http://mathworld.wolfram.com/RamseyNumber.html

14 of 18
References
• Jaam, M. J. (2006). A new construction technique of a triangle-free

3-colored K16s. Qatar. Elsevier
• Leader, Imre (2001). Friends and Strangers. Plus Magazine.

http://plus.maths.org/content/friends-and-strangers
• http://cstheory.stackexchange.com/questions/

9500/application-of-ramsey-numbers
• http://en.wikipedia.org/wiki/Ramsey%27s_theorem

(Proof of Infinite Ramsey Theorem)

15 of 18
Special Thanks
Thanks to these guys for helping me in my LateX graphs:
• Claudio Fiandrino
• Jake

16 of 18
Exercises
Problems 34 and 35.
• R(3, 5) = 14
• R(4, 4) ≤ 18
• R(3, 6) ≤ 19

Answer
• Prove that R(3, 5) = 14

Proof. Using the theorem 3.5.1 we have.
R(3, 5) ≤ R(2, 5) + R(3, 4) = 5 + 9
R(3, 4) was already shown in page 135.

17 of 18
Thank you for Listening!

18 of 18

More Related Content

What's hot

Kumegawa russia
Kumegawa russiaKumegawa russia
Kumegawa russia
Kazuki Kumegawa
 
N5 practice papers a c with solutions
N5 practice papers a   c with solutionsN5 practice papers a   c with solutions
N5 practice papers a c with solutions
sjamaths
 
On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...
On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...
On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...
inventionjournals
 
[Question Paper] Advanced SQL (Old Course) [April / 2015]
[Question Paper] Advanced SQL (Old Course) [April / 2015][Question Paper] Advanced SQL (Old Course) [April / 2015]
[Question Paper] Advanced SQL (Old Course) [April / 2015]
Mumbai B.Sc.IT Study
 
strassen matrix multiplication algorithm
strassen matrix multiplication algorithmstrassen matrix multiplication algorithm
strassen matrix multiplication algorithm
evil eye
 
Class X1 assignment of chapters 1,3,4,5
Class X1 assignment of chapters 1,3,4,5Class X1 assignment of chapters 1,3,4,5
Class X1 assignment of chapters 1,3,4,5
KarunaGupta1982
 
A solution to Fermats last theorem using a colour analogy
A solution to Fermats last theorem using a colour analogyA solution to Fermats last theorem using a colour analogy
A solution to Fermats last theorem using a colour analogy
Andrew Hennessey
 
Graph Coloring
Graph ColoringGraph Coloring
Graph Coloring
Dr. Abdul Ahad Abro
 
#4 exam helper knowledge booster (for government job) 4th new edition
#4 exam helper   knowledge booster (for government job) 4th new edition#4 exam helper   knowledge booster (for government job) 4th new edition
#4 exam helper knowledge booster (for government job) 4th new editionExam Affairs!
 
Color Coding-Related Techniques
Color Coding-Related TechniquesColor Coding-Related Techniques
Color Coding-Related Techniques
cseiitgn
 
Arithmetic progression ex . no . 5
Arithmetic progression ex . no . 5Arithmetic progression ex . no . 5
Arithmetic progression ex . no . 5AMIN BUHARI
 
Graph Coloring : Greedy Algorithm & Welsh Powell Algorithm
Graph Coloring : Greedy Algorithm & Welsh Powell AlgorithmGraph Coloring : Greedy Algorithm & Welsh Powell Algorithm
Graph Coloring : Greedy Algorithm & Welsh Powell Algorithm
Priyank Jain
 
November 17, 2015
November 17, 2015November 17, 2015
November 17, 2015
khyps13
 
RABIN KARP ALGORITHM STRING MATCHING
RABIN KARP ALGORITHM STRING MATCHINGRABIN KARP ALGORITHM STRING MATCHING
RABIN KARP ALGORITHM STRING MATCHING
Abhishek Singh
 
Sequence and Series Word File || Discrete Structure
Sequence and Series Word File || Discrete StructureSequence and Series Word File || Discrete Structure
Sequence and Series Word File || Discrete Structure
Zain Abid
 

What's hot (18)

Radicals are radical
Radicals are radicalRadicals are radical
Radicals are radical
 
Kumegawa russia
Kumegawa russiaKumegawa russia
Kumegawa russia
 
N5 practice papers a c with solutions
N5 practice papers a   c with solutionsN5 practice papers a   c with solutions
N5 practice papers a c with solutions
 
On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...
On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...
On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...
 
[Question Paper] Advanced SQL (Old Course) [April / 2015]
[Question Paper] Advanced SQL (Old Course) [April / 2015][Question Paper] Advanced SQL (Old Course) [April / 2015]
[Question Paper] Advanced SQL (Old Course) [April / 2015]
 
strassen matrix multiplication algorithm
strassen matrix multiplication algorithmstrassen matrix multiplication algorithm
strassen matrix multiplication algorithm
 
Class X1 assignment of chapters 1,3,4,5
Class X1 assignment of chapters 1,3,4,5Class X1 assignment of chapters 1,3,4,5
Class X1 assignment of chapters 1,3,4,5
 
A solution to Fermats last theorem using a colour analogy
A solution to Fermats last theorem using a colour analogyA solution to Fermats last theorem using a colour analogy
A solution to Fermats last theorem using a colour analogy
 
Graph Coloring
Graph ColoringGraph Coloring
Graph Coloring
 
Tot d lucas
Tot d lucasTot d lucas
Tot d lucas
 
4
44
4
 
#4 exam helper knowledge booster (for government job) 4th new edition
#4 exam helper   knowledge booster (for government job) 4th new edition#4 exam helper   knowledge booster (for government job) 4th new edition
#4 exam helper knowledge booster (for government job) 4th new edition
 
Color Coding-Related Techniques
Color Coding-Related TechniquesColor Coding-Related Techniques
Color Coding-Related Techniques
 
Arithmetic progression ex . no . 5
Arithmetic progression ex . no . 5Arithmetic progression ex . no . 5
Arithmetic progression ex . no . 5
 
Graph Coloring : Greedy Algorithm & Welsh Powell Algorithm
Graph Coloring : Greedy Algorithm & Welsh Powell AlgorithmGraph Coloring : Greedy Algorithm & Welsh Powell Algorithm
Graph Coloring : Greedy Algorithm & Welsh Powell Algorithm
 
November 17, 2015
November 17, 2015November 17, 2015
November 17, 2015
 
RABIN KARP ALGORITHM STRING MATCHING
RABIN KARP ALGORITHM STRING MATCHINGRABIN KARP ALGORITHM STRING MATCHING
RABIN KARP ALGORITHM STRING MATCHING
 
Sequence and Series Word File || Discrete Structure
Sequence and Series Word File || Discrete StructureSequence and Series Word File || Discrete Structure
Sequence and Series Word File || Discrete Structure
 

Similar to Generalization of Ramsey Number

Greedy Edge Colouring for Lower Bound of an Achromatic Index of Simple Graphs
Greedy Edge Colouring for Lower Bound of an Achromatic Index of Simple GraphsGreedy Edge Colouring for Lower Bound of an Achromatic Index of Simple Graphs
Greedy Edge Colouring for Lower Bound of an Achromatic Index of Simple Graphs
inventionjournals
 
Introduction to Szemerédi regularity lemma
Introduction to Szemerédi regularity lemmaIntroduction to Szemerédi regularity lemma
Introduction to Szemerédi regularity lemma
Abner Chih Yi Huang
 
On sum edge coloring of regular, bipartite and split graphs
On sum edge coloring of regular,  bipartite and split graphsOn sum edge coloring of regular,  bipartite and split graphs
On sum edge coloring of regular, bipartite and split graphs
政謙 陳
 
Graph coloring Algorithm
Graph coloring AlgorithmGraph coloring Algorithm
Graph coloring Algorithm
আদনান ফিরোজ
 
Graph coloring
Graph coloringGraph coloring
Graph coloring
Rashika Ahuja
 
"Combinatorics of 4-dimensional resultant polytopes"
"Combinatorics of 4-dimensional resultant polytopes""Combinatorics of 4-dimensional resultant polytopes"
"Combinatorics of 4-dimensional resultant polytopes"
Vissarion Fisikopoulos
 
A Quest for Subexponential Time Parameterized Algorithms for Planar-k-Path: F...
A Quest for Subexponential Time Parameterized Algorithms for Planar-k-Path: F...A Quest for Subexponential Time Parameterized Algorithms for Planar-k-Path: F...
A Quest for Subexponential Time Parameterized Algorithms for Planar-k-Path: F...
cseiitgn
 
Senior Seminar Final Paper
Senior Seminar Final PaperSenior Seminar Final Paper
Senior Seminar Final PaperJosh Mazen
 
Geometry unit 7.1
Geometry unit 7.1Geometry unit 7.1
Geometry unit 7.1
Mark Ryder
 
Complete ncert exemplar class 10
Complete ncert exemplar class 10Complete ncert exemplar class 10
Complete ncert exemplar class 10
physicsmaths5
 
Graph Coloring and Its Implementation
Graph Coloring and Its ImplementationGraph Coloring and Its Implementation
Graph Coloring and Its Implementation
IJARIIT
 
Round2: Maths Challenge organised by ‘rep2rep’ research group at Sussex&Cambr...
Round2: Maths Challenge organised by ‘rep2rep’ research group at Sussex&Cambr...Round2: Maths Challenge organised by ‘rep2rep’ research group at Sussex&Cambr...
Round2: Maths Challenge organised by ‘rep2rep’ research group at Sussex&Cambr...
MohammedAlasmar3
 
A Simple Method to Build a Paper-Based Color Check Print of Colored Fabrics b...
A Simple Method to Build a Paper-Based Color Check Print of Colored Fabrics b...A Simple Method to Build a Paper-Based Color Check Print of Colored Fabrics b...
A Simple Method to Build a Paper-Based Color Check Print of Colored Fabrics b...
CSCJournals
 
Distributed coloring with O(sqrt. log n) bits
Distributed coloring with O(sqrt. log n) bitsDistributed coloring with O(sqrt. log n) bits
Distributed coloring with O(sqrt. log n) bits
Subhajit Sahu
 
imc-2018-s.pdf
imc-2018-s.pdfimc-2018-s.pdf
imc-2018-s.pdf
bhartanto5
 
Graph theory and life
Graph theory and lifeGraph theory and life
Graph theory and life
Milan Joshi
 
Upcat math 2014 solution
Upcat math 2014 solutionUpcat math 2014 solution
Upcat math 2014 solutionMark Garrido
 

Similar to Generalization of Ramsey Number (20)

Greedy Edge Colouring for Lower Bound of an Achromatic Index of Simple Graphs
Greedy Edge Colouring for Lower Bound of an Achromatic Index of Simple GraphsGreedy Edge Colouring for Lower Bound of an Achromatic Index of Simple Graphs
Greedy Edge Colouring for Lower Bound of an Achromatic Index of Simple Graphs
 
Introduction to Szemerédi regularity lemma
Introduction to Szemerédi regularity lemmaIntroduction to Szemerédi regularity lemma
Introduction to Szemerédi regularity lemma
 
On sum edge coloring of regular, bipartite and split graphs
On sum edge coloring of regular,  bipartite and split graphsOn sum edge coloring of regular,  bipartite and split graphs
On sum edge coloring of regular, bipartite and split graphs
 
Graph coloring Algorithm
Graph coloring AlgorithmGraph coloring Algorithm
Graph coloring Algorithm
 
Hoho
HohoHoho
Hoho
 
Graph coloring
Graph coloringGraph coloring
Graph coloring
 
"Combinatorics of 4-dimensional resultant polytopes"
"Combinatorics of 4-dimensional resultant polytopes""Combinatorics of 4-dimensional resultant polytopes"
"Combinatorics of 4-dimensional resultant polytopes"
 
A Quest for Subexponential Time Parameterized Algorithms for Planar-k-Path: F...
A Quest for Subexponential Time Parameterized Algorithms for Planar-k-Path: F...A Quest for Subexponential Time Parameterized Algorithms for Planar-k-Path: F...
A Quest for Subexponential Time Parameterized Algorithms for Planar-k-Path: F...
 
Senior Seminar Final Paper
Senior Seminar Final PaperSenior Seminar Final Paper
Senior Seminar Final Paper
 
Coding
CodingCoding
Coding
 
Geometry unit 7.1
Geometry unit 7.1Geometry unit 7.1
Geometry unit 7.1
 
Complete ncert exemplar class 10
Complete ncert exemplar class 10Complete ncert exemplar class 10
Complete ncert exemplar class 10
 
Graph Coloring and Its Implementation
Graph Coloring and Its ImplementationGraph Coloring and Its Implementation
Graph Coloring and Its Implementation
 
Round2: Maths Challenge organised by ‘rep2rep’ research group at Sussex&Cambr...
Round2: Maths Challenge organised by ‘rep2rep’ research group at Sussex&Cambr...Round2: Maths Challenge organised by ‘rep2rep’ research group at Sussex&Cambr...
Round2: Maths Challenge organised by ‘rep2rep’ research group at Sussex&Cambr...
 
A Simple Method to Build a Paper-Based Color Check Print of Colored Fabrics b...
A Simple Method to Build a Paper-Based Color Check Print of Colored Fabrics b...A Simple Method to Build a Paper-Based Color Check Print of Colored Fabrics b...
A Simple Method to Build a Paper-Based Color Check Print of Colored Fabrics b...
 
Distributed coloring with O(sqrt. log n) bits
Distributed coloring with O(sqrt. log n) bitsDistributed coloring with O(sqrt. log n) bits
Distributed coloring with O(sqrt. log n) bits
 
imc-2018-s.pdf
imc-2018-s.pdfimc-2018-s.pdf
imc-2018-s.pdf
 
Graph theory and life
Graph theory and lifeGraph theory and life
Graph theory and life
 
Upcat math 2014 solution
Upcat math 2014 solutionUpcat math 2014 solution
Upcat math 2014 solution
 
Sol36
Sol36Sol36
Sol36
 

Recently uploaded

FIDO Alliance Osaka Seminar: The WebAuthn API and Discoverable Credentials.pdf
FIDO Alliance Osaka Seminar: The WebAuthn API and Discoverable Credentials.pdfFIDO Alliance Osaka Seminar: The WebAuthn API and Discoverable Credentials.pdf
FIDO Alliance Osaka Seminar: The WebAuthn API and Discoverable Credentials.pdf
FIDO Alliance
 
Removing Uninteresting Bytes in Software Fuzzing
Removing Uninteresting Bytes in Software FuzzingRemoving Uninteresting Bytes in Software Fuzzing
Removing Uninteresting Bytes in Software Fuzzing
Aftab Hussain
 
UiPath Test Automation using UiPath Test Suite series, part 6
UiPath Test Automation using UiPath Test Suite series, part 6UiPath Test Automation using UiPath Test Suite series, part 6
UiPath Test Automation using UiPath Test Suite series, part 6
DianaGray10
 
GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...
GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...
GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...
Neo4j
 
Securing your Kubernetes cluster_ a step-by-step guide to success !
Securing your Kubernetes cluster_ a step-by-step guide to success !Securing your Kubernetes cluster_ a step-by-step guide to success !
Securing your Kubernetes cluster_ a step-by-step guide to success !
KatiaHIMEUR1
 
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...
James Anderson
 
Climate Impact of Software Testing at Nordic Testing Days
Climate Impact of Software Testing at Nordic Testing DaysClimate Impact of Software Testing at Nordic Testing Days
Climate Impact of Software Testing at Nordic Testing Days
Kari Kakkonen
 
GraphSummit Singapore | The Art of the Possible with Graph - Q2 2024
GraphSummit Singapore | The Art of the  Possible with Graph - Q2 2024GraphSummit Singapore | The Art of the  Possible with Graph - Q2 2024
GraphSummit Singapore | The Art of the Possible with Graph - Q2 2024
Neo4j
 
Essentials of Automations: The Art of Triggers and Actions in FME
Essentials of Automations: The Art of Triggers and Actions in FMEEssentials of Automations: The Art of Triggers and Actions in FME
Essentials of Automations: The Art of Triggers and Actions in FME
Safe Software
 
Epistemic Interaction - tuning interfaces to provide information for AI support
Epistemic Interaction - tuning interfaces to provide information for AI supportEpistemic Interaction - tuning interfaces to provide information for AI support
Epistemic Interaction - tuning interfaces to provide information for AI support
Alan Dix
 
Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...
Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...
Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...
SOFTTECHHUB
 
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!
SOFTTECHHUB
 
Elizabeth Buie - Older adults: Are we really designing for our future selves?
Elizabeth Buie - Older adults: Are we really designing for our future selves?Elizabeth Buie - Older adults: Are we really designing for our future selves?
Elizabeth Buie - Older adults: Are we really designing for our future selves?
Nexer Digital
 
National Security Agency - NSA mobile device best practices
National Security Agency - NSA mobile device best practicesNational Security Agency - NSA mobile device best practices
National Security Agency - NSA mobile device best practices
Quotidiano Piemontese
 
Introduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - CybersecurityIntroduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - Cybersecurity
mikeeftimakis1
 
Pushing the limits of ePRTC: 100ns holdover for 100 days
Pushing the limits of ePRTC: 100ns holdover for 100 daysPushing the limits of ePRTC: 100ns holdover for 100 days
Pushing the limits of ePRTC: 100ns holdover for 100 days
Adtran
 
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex ProofszkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs
Alex Pruden
 
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
Neo4j
 
Large Language Model (LLM) and it’s Geospatial Applications
Large Language Model (LLM) and it’s Geospatial ApplicationsLarge Language Model (LLM) and it’s Geospatial Applications
Large Language Model (LLM) and it’s Geospatial Applications
Rohit Gautam
 
20240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 202420240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 2024
Matthew Sinclair
 

Recently uploaded (20)

FIDO Alliance Osaka Seminar: The WebAuthn API and Discoverable Credentials.pdf
FIDO Alliance Osaka Seminar: The WebAuthn API and Discoverable Credentials.pdfFIDO Alliance Osaka Seminar: The WebAuthn API and Discoverable Credentials.pdf
FIDO Alliance Osaka Seminar: The WebAuthn API and Discoverable Credentials.pdf
 
Removing Uninteresting Bytes in Software Fuzzing
Removing Uninteresting Bytes in Software FuzzingRemoving Uninteresting Bytes in Software Fuzzing
Removing Uninteresting Bytes in Software Fuzzing
 
UiPath Test Automation using UiPath Test Suite series, part 6
UiPath Test Automation using UiPath Test Suite series, part 6UiPath Test Automation using UiPath Test Suite series, part 6
UiPath Test Automation using UiPath Test Suite series, part 6
 
GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...
GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...
GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...
 
Securing your Kubernetes cluster_ a step-by-step guide to success !
Securing your Kubernetes cluster_ a step-by-step guide to success !Securing your Kubernetes cluster_ a step-by-step guide to success !
Securing your Kubernetes cluster_ a step-by-step guide to success !
 
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...
 
Climate Impact of Software Testing at Nordic Testing Days
Climate Impact of Software Testing at Nordic Testing DaysClimate Impact of Software Testing at Nordic Testing Days
Climate Impact of Software Testing at Nordic Testing Days
 
GraphSummit Singapore | The Art of the Possible with Graph - Q2 2024
GraphSummit Singapore | The Art of the  Possible with Graph - Q2 2024GraphSummit Singapore | The Art of the  Possible with Graph - Q2 2024
GraphSummit Singapore | The Art of the Possible with Graph - Q2 2024
 
Essentials of Automations: The Art of Triggers and Actions in FME
Essentials of Automations: The Art of Triggers and Actions in FMEEssentials of Automations: The Art of Triggers and Actions in FME
Essentials of Automations: The Art of Triggers and Actions in FME
 
Epistemic Interaction - tuning interfaces to provide information for AI support
Epistemic Interaction - tuning interfaces to provide information for AI supportEpistemic Interaction - tuning interfaces to provide information for AI support
Epistemic Interaction - tuning interfaces to provide information for AI support
 
Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...
Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...
Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...
 
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!
 
Elizabeth Buie - Older adults: Are we really designing for our future selves?
Elizabeth Buie - Older adults: Are we really designing for our future selves?Elizabeth Buie - Older adults: Are we really designing for our future selves?
Elizabeth Buie - Older adults: Are we really designing for our future selves?
 
National Security Agency - NSA mobile device best practices
National Security Agency - NSA mobile device best practicesNational Security Agency - NSA mobile device best practices
National Security Agency - NSA mobile device best practices
 
Introduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - CybersecurityIntroduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - Cybersecurity
 
Pushing the limits of ePRTC: 100ns holdover for 100 days
Pushing the limits of ePRTC: 100ns holdover for 100 daysPushing the limits of ePRTC: 100ns holdover for 100 days
Pushing the limits of ePRTC: 100ns holdover for 100 days
 
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex ProofszkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs
 
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
 
Large Language Model (LLM) and it’s Geospatial Applications
Large Language Model (LLM) and it’s Geospatial ApplicationsLarge Language Model (LLM) and it’s Geospatial Applications
Large Language Model (LLM) and it’s Geospatial Applications
 
20240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 202420240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 2024
 

Generalization of Ramsey Number

  • 1. Generalization of Ramsey Numbers Further Research on Ramsey Theorem Asaad, Al-Ahmadgaid B. email: alstated@gmail.com Mindanao State University Iligan Institute of Technology
  • 2. Generalization The definition of the Ramsey number R(p, q) with 2 parameters can be generalized in a natural way to the Ramsey number R(p1 , p2 , · · · , pk ) with k parameters as follows. Let k, p1 , p2 , · · · , pk N with k ≥ 3. The Ramsey number R(p1 , p2 , · · · , pk ) is the smallest natural number n such that for any colouring of the edges of an n-clique by k colours: colour 1, colour 2, · · · , colour k, there exist a colour i (i = 1, 2, · · · , k) and a pi -clique in the resulting configuration such that all edges in the pi -clique are coloured by colour i. • The result of Example 3.4.1. shows that R(3, 3, 3) ≤ 17. • In 1995, Greenwood and Gleason [GG] proved by construction that R(3, 3, 3) ≥ 17. • Thus, R(3, 3, 3) = 17 2 of 18
  • 3. Generalization The definition of the Ramsey number R(p, q) with 2 parameters can be generalized in a natural way to the Ramsey number R(p1 , p2 , · · · , pk ) with k parameters as follows. Let k, p1 , p2 , · · · , pk N with k ≥ 3. The Ramsey number R(p1 , p2 , · · · , pk ) is the smallest natural number n such that for any colouring of the edges of an n-clique by k colours: colour 1, colour 2, · · · , colour k, there exist a colour i (i = 1, 2, · · · , k) and a pi -clique in the resulting configuration such that all edges in the pi -clique are coloured by colour i. • The result of Example 3.4.1. shows that R(3, 3, 3) ≤ 17. • In 1995, Greenwood and Gleason [GG] proved by construction that R(3, 3, 3) ≥ 17. • Thus, R(3, 3, 3) = 17 2 of 18
  • 4. Generalization The definition of the Ramsey number R(p, q) with 2 parameters can be generalized in a natural way to the Ramsey number R(p1 , p2 , · · · , pk ) with k parameters as follows. Let k, p1 , p2 , · · · , pk N with k ≥ 3. The Ramsey number R(p1 , p2 , · · · , pk ) is the smallest natural number n such that for any colouring of the edges of an n-clique by k colours: colour 1, colour 2, · · · , colour k, there exist a colour i (i = 1, 2, · · · , k) and a pi -clique in the resulting configuration such that all edges in the pi -clique are coloured by colour i. • The result of Example 3.4.1. shows that R(3, 3, 3) ≤ 17. • In 1995, Greenwood and Gleason [GG] proved by construction that R(3, 3, 3) ≥ 17. • Thus, R(3, 3, 3) = 17 2 of 18
  • 5. Example From Exercise 42. Show that R(3, 3, 2) = 6 Proof. Let v0 be a vertex from any of the six vertices. Joining the vertex v0 to the vertices that incident to it, we have v0 v1 v2 v3 v4 v5 If we are going to colour the edges with either red, blue, or yellow. Then, by Pigeonhole principle, there are at least 3 edges coloured with either of the three colours. 3 of 18
  • 6. Assuming the edges were {(v0 ,v1 ), (v0 ,v2 ), and (v0 ,v3 )} and that it is coloured with red. Then v0 v1 v2 v3 If any of the edges between v1 , v2 , and v3 is coloured with red, then we can form a monochromatic triangle of colour red. v0 v1 4 of 18 v2 v3
  • 7. If none of them is coloured with red, then either blue or yellow is the colour of the edges. Suppose the colour of the edge between the vertices v1 and v2 is blue, and the edge between the vertices v2 and v3 is yellow. That is, v0 v1 v2 v3 Then, we can form a single edge coloured with blue, or an edge coloured with yellow. 5 of 18
  • 8. Suppose, the edges between the vertices v1 , v2 , and v3 are coloured with blue. If the edge formed between vertices v1 and v3 is coloured with red. Then, we have a single monochromatic triangle coloured with red. But, if the edge is coloured with blue, then we can have a monochromatic triangle of colour blue. In addition, if the edge is coloured with yellow, then we have a single line (edge) coloured with yellow. v0 v1 6 of 18 v2 v0 v3 v1 v2 v3
  • 9. v0 v1 v2 v3 Hence, using 6 vertices is enough to show that there exist 3-clique of blue, 3-clique of red, or 2-clique of yellow. 7 of 18
  • 10. Applications of Ramsey Numbers These are the areas where we can apply Ramsey numbers • Number Theory • Geometry • Communications • Decision Making • Computer Science http://www.cs.umd.edu/~gasarch/ramsey/ramsey.html • and more... 8 of 18
  • 11. Applications of Ramsey Numbers These are the areas where we can apply Ramsey numbers • Number Theory • Geometry • Communications • Decision Making • Computer Science http://www.cs.umd.edu/~gasarch/ramsey/ramsey.html • and more... 8 of 18
  • 12. Applications of Ramsey Numbers These are the areas where we can apply Ramsey numbers • Number Theory • Geometry • Communications • Decision Making • Computer Science http://www.cs.umd.edu/~gasarch/ramsey/ramsey.html • and more... 8 of 18
  • 13. Applications of Ramsey Numbers These are the areas where we can apply Ramsey numbers • Number Theory • Geometry • Communications • Decision Making • Computer Science http://www.cs.umd.edu/~gasarch/ramsey/ramsey.html • and more... 8 of 18
  • 14. Applications of Ramsey Numbers These are the areas where we can apply Ramsey numbers • Number Theory • Geometry • Communications • Decision Making • Computer Science http://www.cs.umd.edu/~gasarch/ramsey/ramsey.html • and more... 8 of 18
  • 15. Applications of Ramsey Numbers These are the areas where we can apply Ramsey numbers • Number Theory • Geometry • Communications • Decision Making • Computer Science http://www.cs.umd.edu/~gasarch/ramsey/ramsey.html • and more... 8 of 18
  • 17. Ramsey Theorem In combinatorics, Ramsey’s theorem states that in any colouring of the edges of a sufficiently large complete graph, one will find monochromatic complete subgraphs. For two colours, Ramsey’s theorem states that for any pair of positive integers (p, q), there exists a least positive integer R(p, q) such that for any complete graph on R(p, q) vertices, whose edges are coloured red or blue, there exists either a complete subgraph on p vertices which is entirely blue, or a complete subgraph on q vertices which is entirely red. 10 of 18
  • 18. More on Theorem • Extension of the Theorem The theorem can also be extended to hypergraphs. An m-hypergraph is a graph whose ”edges” are sets of m vertices - in a normal graph an edge is a set of 2 vertices. • Infinite Ramsey theorem A further result, also commonly called Ramsey’s theorem, applies to infinite graphs. In a context where finite graphs are also being discussed it is often called the ”Infinite Ramsey theorem”. Theorem: Let X be some countably infinite set and colour the elements of X (n) (the subsets of X of size n) in c different colours. Then there exists some infinite subset M of X such that the size n subsets of M all have the same colour. 11 of 18
  • 19. List of Ramsey Numbers List of Ramsey numbers for p-clique and q-clique, p, q ≤ 19 p 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 q 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 12 of 18 R(p, q) 6 9 14 18 23 28 36 [40, 43] [46, 51] [52, 59] [59, 69] [66, 78] [73, 88] [79, 135] [92, 152] [98, 170] [106, 189] Reference Greenwood and Gleason 1955 Greenwood and Gleason 1955 Greenwood and Gleason 1955 Graver and Yackel 1968 Kalbfleisch 1966 McKay and Min 1992 Grinstead and Roberts 1982 Exoo 1989c, Radziszowski and Kreher 1988 Radziszowski and Kreher 1988 Exoo 1993, Radziszowski and Kreher 1988, Exoo 1998, Lesser 2001 Piwakowski 1996, Radziszowski and Kreher 1988 Exoo (unpub.), Radziszowski and Kreher 1988 Wang and Wang 1989, Radziszowski (unpub.), Lesser 2001 Wang and Wang 1989 Wang et al. 1994 Wang et al. 1994 Wang et al. 1994
  • 20. Continuation... p 3 3 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 q 20 21 22 23 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 13 of 18 R(p, q) [109, 209] [122, 230] [125, 252] [136, 275] 18 25 [35, 41] [49, 61] [56, 84] [73, 115] [92, 149] [97, 191] [128, 238] [133, 291] [141, 349] [153, 417] [153, 815] [182, 968] [182, 1139] Reference Wang et al. 1994 Wang et al. 1994 Wang et al. 1994 Wang et al. 1994 Greenwood and Gleason 1955 McKay and Radziszowski 1995 Exoo (unpub.), McKay and Radziszowski 1995 Exoo 1989a, Mackey 1994 Exoo 1998, Exoo 2002 Radziszowski 1988, Mackey 1994 Piwakowski 1996, Mackey 1994, Harboth and Krause 2003 Piwakowski 1996, Spencer 1994, Burr et al. 1989 Su et al. 1998, Spencer 1994 Xu and Xie 2002 Xu and Xie 2002 Xu and Xie 2002 Luo et al. 2001
  • 21. p 8 8 8 8 8 8 9 9 10 11 12 13 14 15 16 17 18 19 q 16 17 18 19 20 21 9 10 10 11 12 13 14 15 16 17 18 19 R(p, q) [861, 170543] [861, 245156] [871, 346103] [1054, 480699] [1094, 657799] [1328, 888029] [565, 6588] [580, 12677] [798, 23556] [1597, 184755] [1637, 705431] [2557, 2704155] [2989, 10400599] [5485, 40116599] [5605, 155117519] [8917, 601080389] [11005, 2333606219] [17885, 9075135299] Reference Xu and Xie 2002 Xu and Xie 2002 Xu and Xie 2002 Su et al. 2002 Su et al. 2002 Shearer 1986, Shi and Zheng 2001 Xu and Xie 2002 Shearer 1986, Shi 2002 Mathon 1987 Xu and Xie 2002 Mathon 1987 Mathon 1987 Mathon 1987 Mathon 1987 Luo et al. 2002 Luo et al. 2002 Luo et al. 2002 more at http://mathworld.wolfram.com/RamseyNumber.html 14 of 18
  • 22. References • Jaam, M. J. (2006). A new construction technique of a triangle-free 3-colored K16s. Qatar. Elsevier • Leader, Imre (2001). Friends and Strangers. Plus Magazine. http://plus.maths.org/content/friends-and-strangers • http://cstheory.stackexchange.com/questions/ 9500/application-of-ramsey-numbers • http://en.wikipedia.org/wiki/Ramsey%27s_theorem (Proof of Infinite Ramsey Theorem) 15 of 18
  • 23. Special Thanks Thanks to these guys for helping me in my LateX graphs: • Claudio Fiandrino • Jake 16 of 18
  • 24. Exercises Problems 34 and 35. • R(3, 5) = 14 • R(4, 4) ≤ 18 • R(3, 6) ≤ 19 Answer • Prove that R(3, 5) = 14 Proof. Using the theorem 3.5.1 we have. R(3, 5) ≤ R(2, 5) + R(3, 4) = 5 + 9 R(3, 4) was already shown in page 135. 17 of 18
  • 25. Thank you for Listening! 18 of 18