SlideShare a Scribd company logo
1 of 17
Download to read offline
Lower Bounds on
Ramsey Number
Presented by:- Smit Raj

 Guide:- Prof. S.P. Pal
                     IIT Kharagpur
Ramsey Number For Two Colors :- R(s , t) [4]

•    We define Ramsey number R(s , t) as the
    smallest value of n (n ∈ N) for which every red–
    blue coloring of 𝐾 𝑛 yields a monochromatic
    (red/blue) 𝑲 𝒔 or 𝑲 𝒕 .

 “ Ramsey's theorem states that such a number
exists for all s and t .”

•    It’s obvious that, R(s , t) = R(t , s).
R(4 , 2) = 4 = R(2 , 4)

             𝐾4

For every s ≥ 2

                   R(s , 2) = s = R(2 , s)


•   Either the graph has one red/blue edge or a
    monochromatic 𝐾 𝑠 .
R(3 , 3) ≠ 5

                             The value of R(3 , 3) = 6.




           𝐾5


  R(3 , 3) ≠ 5 because we had a counter example with no
red or blue 𝐾3 in it.
.
𝐾7                                 𝐾8

       R(3 , 4) ≠ 7                        R(3 , 4) ≠ 8

In this specific coloring of 𝐾7 & 𝐾8 we didn’t find any red
𝐾3 or blue 𝐾4 as a sub graph.
Theorem : R(s , t) ≤ R(s , t-1) + R(s-1 , t)   [3]


e.g. R(3 ,4) ≤ R(3 , 3) + R(2 , 4)
             ≤6+4
             ≤ 10
 but R(3 , 4) = 9

    R(4 , 4) ≤ R(3 , 4) + R(4 , 3)
             ≤9+9
             ≤ 18
 and R(4 , 4) = 18
• No exact formula is known to calculate such a number.

• Very few Ramsey numbers have been computed so far

    3     4     5        6        7       8          9

3 6      9     14       18       23       28       26

4        18     25    35/41    49/61   55/84    69/115

5              43/49 58/87     80/143 95/216 116/316

6                    102/165 109/298 122/495 153/780

                                                Table from [3]
Why calculation of R(s , t) is so difficult ?


• There is no algorithm to calculate R(s , t).

• Brute force method- To select successive no.
   of vertices & check weather every combination
    𝟐 𝒙 (here x is no. of edges) has either a red 𝐾 𝑠
or blue 𝐾 𝑡 .

e.g. R(4 , 6) = 40 ??
Let v = 40 , then e in 𝐾40 is 780

→ 2780 number of possible bi coloring is there
 computing weather the particular coloring have
monochromatic 𝐾4 or 𝐾6 takes 10;9 sec.

→ 2780 ⨯ 10;9 ⨯ 10;9 years to calculate weather
R(4 , 6) = 40. & is more than 200 years.
Erdős lower bound on Ramsey number R(s , s)                  [3]



Theorem :- R(s , s) > 2(𝑠;1)/2

Proof :- Probability that edge x is of red color (x ∈ 𝐾 𝑠 ) is
1 ̷ 2.
Probability of red color 𝐾 𝑠 is 2;𝑠(𝑠;1)/2 .

Probability of blue color 𝐾 𝑠 is 2;𝑠(𝑠;1)/2 .

Probability of monochromatic 𝐾 𝑠 is 21;𝑠(𝑠;1)/2 .
We choose n large enough such that there exist a
possible coloring of 𝐾 𝑛 such that no monochromatic 𝐾 𝑠 is
there.

 Probability that there exist monochromatic 𝐾 𝑠 in 𝐾 𝑛 is
          𝑛 1;𝑠(𝑠;1)/2
P(𝐾 𝑠 ) = 𝑠 2           .

 We want to choose n as large as possible so that P(𝐾 𝑠 ) is
less than 1.

 We take n = 2(s−1)/2
𝑠
                           𝑛
   P(𝐾 𝑠 ) ≤ 21;𝑠(𝑠;1)/2
                           𝑠!

         < 2;𝑠(𝑠;1)/2 ⨯ 2 𝑠(𝑠;1)/2

         <1

 Which proves that there exist a coloring for large
enough n so that no monochromatic 𝐾 𝑠 is found.
R(𝐾1,2 ; 2) = 3       R(𝐾1,2 ; 3) = 4




              𝑘 𝑡−1 +1   𝑖𝑓 𝑘 ≡ 𝑡 ≡ 0(𝑚𝑜𝑑 2)
R(𝐾1,𝑡 ; k) =
              𝑘 𝑡−1 +2             𝑜𝑡ℎ𝑒𝑟𝑤𝑖𝑠𝑒
A lower bound proof for R(𝑲 𝒔,𝒕 ;k) :-             [6]



Theorem :-
  R(𝐾 𝑠,𝑡 ;k) > (2 π 𝑠𝑡)1/(𝑠:𝑡) ((s + t)/𝑒 2 )𝑘 (𝑠𝑡;1)/(𝑠:𝑡)

     (e denotes the base for natural logarithms)
 let {𝑘1 , 𝑘2 , 𝑘3 ………, 𝑘 𝑘 } are the set of colors


Proof :- Probability that edge x (x ∈ 𝐾 𝑠,𝑡 ) is of color 𝑘1 =
1/k.

Probability of 𝐾 𝑠,𝑡 to be of 𝑘1 = 𝑘 ;𝑠𝑡
Probability of 𝐾 𝑠,𝑡 to be monochromatic = k. 𝑘 ;𝑠𝑡
                                         = 𝑘 1;𝑠𝑡

                                                             𝑛       𝑠:𝑡
Number of 𝐾 𝑠,𝑡 that can be selected from 𝐾 𝑛 =             𝑠:𝑡       𝑠

Probability that there exist a monochromatic 𝐾 𝑠,𝑡 in 𝐾 𝑛 is

                 𝑛    𝑠:𝑡
 P(𝐾 𝑠,𝑡 ) =    𝑠:𝑡    𝑠
                            𝑘 1;𝑠𝑡

 elementary calculations have shown that when we choose
                            1/(𝑠:𝑡)
               n ≤ (2 π 𝑠𝑡)           ((s + t)/𝑒 2 )𝑘 (𝑠𝑡;1)/(𝑠:𝑡)
then , P(𝐾 𝑠,𝑡 ) < 1

 Which means for
                        1/(𝑠:𝑡)
     n ≤ (2 π 𝑠𝑡)        ((s + t)/𝑒 2 )𝑘 (𝑠𝑡;1)/(𝑠:𝑡)
we have a coloring in which no monochromatic 𝐾 𝑠,𝑡 exists.

Hence, R(𝐾 𝑠,𝑡 ; k) > n
References


1. http://mathworld.wolfram.com/RamseyNumber.html
2. http://en.wikipedia.org/wiki/Ramsey%27s_theorem#
   Ramsey_numbers
3. Introduction to graph theory , by Douglas Brent West
4. Modern Graph Theory, by Bela, Bollobas
5. http://theoremoftheweek.wordpress.com/2010/05/0
   2/theorem-25-erdoss-lower-bound-for-the-ramsey-
   numbers
6. On multicolor Ramsey number for complete Bipartite
   graphs, by Fan R K Chung & R L Graham (June 1974)

More Related Content

What's hot

Image compression 14_04_2020 (1)
Image compression 14_04_2020 (1)Image compression 14_04_2020 (1)
Image compression 14_04_2020 (1)Joel P
 
Transfer Learning and Domain Adaptation (D2L3 2017 UPC Deep Learning for Comp...
Transfer Learning and Domain Adaptation (D2L3 2017 UPC Deep Learning for Comp...Transfer Learning and Domain Adaptation (D2L3 2017 UPC Deep Learning for Comp...
Transfer Learning and Domain Adaptation (D2L3 2017 UPC Deep Learning for Comp...Universitat Politècnica de Catalunya
 
Real-time Edge-aware Image Processing with the Bilateral Grid
Real-time Edge-aware Image Processing with the Bilateral GridReal-time Edge-aware Image Processing with the Bilateral Grid
Real-time Edge-aware Image Processing with the Bilateral GridMLReview
 
Trends in Computer Graphics
Trends in Computer GraphicsTrends in Computer Graphics
Trends in Computer GraphicsSajal Maharjan
 
위성이미지 객체 검출 대회 - 1등
위성이미지 객체 검출 대회 - 1등위성이미지 객체 검출 대회 - 1등
위성이미지 객체 검출 대회 - 1등DACON AI 데이콘
 
Memulai Data Processing dengan Spark dan Python
Memulai Data Processing dengan Spark dan PythonMemulai Data Processing dengan Spark dan Python
Memulai Data Processing dengan Spark dan PythonRidwan Fadjar
 
Building and road detection from large aerial imagery
Building and road detection from large aerial imageryBuilding and road detection from large aerial imagery
Building and road detection from large aerial imageryShunta Saito
 
Naive Bayes Classifier | Naive Bayes Algorithm | Naive Bayes Classifier With ...
Naive Bayes Classifier | Naive Bayes Algorithm | Naive Bayes Classifier With ...Naive Bayes Classifier | Naive Bayes Algorithm | Naive Bayes Classifier With ...
Naive Bayes Classifier | Naive Bayes Algorithm | Naive Bayes Classifier With ...Simplilearn
 
Bayesian networks tutorial with genie
Bayesian networks tutorial with genieBayesian networks tutorial with genie
Bayesian networks tutorial with geniearif6008
 
Logistic Regression | Logistic Regression In Python | Machine Learning Algori...
Logistic Regression | Logistic Regression In Python | Machine Learning Algori...Logistic Regression | Logistic Regression In Python | Machine Learning Algori...
Logistic Regression | Logistic Regression In Python | Machine Learning Algori...Simplilearn
 
Dda line algorithm presentatiion
Dda line algorithm presentatiionDda line algorithm presentatiion
Dda line algorithm presentatiionMuhammadHamza401
 
BRDF Model (English version)
BRDF Model (English version)BRDF Model (English version)
BRDF Model (English version)Teppei Kurita
 
Logistic regression in Machine Learning
Logistic regression in Machine LearningLogistic regression in Machine Learning
Logistic regression in Machine LearningKuppusamy P
 

What's hot (20)

Image compression 14_04_2020 (1)
Image compression 14_04_2020 (1)Image compression 14_04_2020 (1)
Image compression 14_04_2020 (1)
 
Ray Tracing.pdf
Ray Tracing.pdfRay Tracing.pdf
Ray Tracing.pdf
 
Transfer Learning and Domain Adaptation (D2L3 2017 UPC Deep Learning for Comp...
Transfer Learning and Domain Adaptation (D2L3 2017 UPC Deep Learning for Comp...Transfer Learning and Domain Adaptation (D2L3 2017 UPC Deep Learning for Comp...
Transfer Learning and Domain Adaptation (D2L3 2017 UPC Deep Learning for Comp...
 
Data Exploration in R.pptx
Data Exploration in R.pptxData Exploration in R.pptx
Data Exploration in R.pptx
 
Real-time Edge-aware Image Processing with the Bilateral Grid
Real-time Edge-aware Image Processing with the Bilateral GridReal-time Edge-aware Image Processing with the Bilateral Grid
Real-time Edge-aware Image Processing with the Bilateral Grid
 
Trends in Computer Graphics
Trends in Computer GraphicsTrends in Computer Graphics
Trends in Computer Graphics
 
위성이미지 객체 검출 대회 - 1등
위성이미지 객체 검출 대회 - 1등위성이미지 객체 검출 대회 - 1등
위성이미지 객체 검출 대회 - 1등
 
Knn
KnnKnn
Knn
 
K-Means manual work
K-Means manual workK-Means manual work
K-Means manual work
 
Memulai Data Processing dengan Spark dan Python
Memulai Data Processing dengan Spark dan PythonMemulai Data Processing dengan Spark dan Python
Memulai Data Processing dengan Spark dan Python
 
Generative adversarial text to image synthesis
Generative adversarial text to image synthesisGenerative adversarial text to image synthesis
Generative adversarial text to image synthesis
 
ML Visuals.pptx
ML Visuals.pptxML Visuals.pptx
ML Visuals.pptx
 
Building and road detection from large aerial imagery
Building and road detection from large aerial imageryBuilding and road detection from large aerial imagery
Building and road detection from large aerial imagery
 
Sequential Pattern Mining and GSP
Sequential Pattern Mining and GSPSequential Pattern Mining and GSP
Sequential Pattern Mining and GSP
 
Naive Bayes Classifier | Naive Bayes Algorithm | Naive Bayes Classifier With ...
Naive Bayes Classifier | Naive Bayes Algorithm | Naive Bayes Classifier With ...Naive Bayes Classifier | Naive Bayes Algorithm | Naive Bayes Classifier With ...
Naive Bayes Classifier | Naive Bayes Algorithm | Naive Bayes Classifier With ...
 
Bayesian networks tutorial with genie
Bayesian networks tutorial with genieBayesian networks tutorial with genie
Bayesian networks tutorial with genie
 
Logistic Regression | Logistic Regression In Python | Machine Learning Algori...
Logistic Regression | Logistic Regression In Python | Machine Learning Algori...Logistic Regression | Logistic Regression In Python | Machine Learning Algori...
Logistic Regression | Logistic Regression In Python | Machine Learning Algori...
 
Dda line algorithm presentatiion
Dda line algorithm presentatiionDda line algorithm presentatiion
Dda line algorithm presentatiion
 
BRDF Model (English version)
BRDF Model (English version)BRDF Model (English version)
BRDF Model (English version)
 
Logistic regression in Machine Learning
Logistic regression in Machine LearningLogistic regression in Machine Learning
Logistic regression in Machine Learning
 

Similar to Ramsey number lower bounds

Generalization of Ramsey Number
Generalization of Ramsey NumberGeneralization of Ramsey Number
Generalization of Ramsey NumberAl-Ahmadgaid Asaad
 
Reed Solomon encoder and decoder \ ريد سلمون
Reed Solomon encoder and decoder \ ريد سلمونReed Solomon encoder and decoder \ ريد سلمون
Reed Solomon encoder and decoder \ ريد سلمونMuhammed Abdulmahdi
 
Introduction to Szemerédi regularity lemma
Introduction to Szemerédi regularity lemmaIntroduction to Szemerédi regularity lemma
Introduction to Szemerédi regularity lemmaAbner Chih Yi Huang
 
140106 isaim-okayama
140106 isaim-okayama140106 isaim-okayama
140106 isaim-okayamagumitaro2012
 
Edicoes asa 12 ano 2020-21 - 3 teste
Edicoes asa   12 ano 2020-21 - 3 testeEdicoes asa   12 ano 2020-21 - 3 teste
Edicoes asa 12 ano 2020-21 - 3 testeMARIA CRUZ
 
ROOTS AND RADICALS - ELEMENTARY ALGEBRA
ROOTS AND RADICALS - ELEMENTARY ALGEBRAROOTS AND RADICALS - ELEMENTARY ALGEBRA
ROOTS AND RADICALS - ELEMENTARY ALGEBRAMeutiah Nahrisyah
 
Taller relaciones binarias
Taller relaciones binariasTaller relaciones binarias
Taller relaciones binariassristian96
 
Complex differentiation contains analytic function.pptx
Complex differentiation contains analytic function.pptxComplex differentiation contains analytic function.pptx
Complex differentiation contains analytic function.pptxjyotidighole2
 
Approximate Nearest Neighbour in Higher Dimensions
Approximate Nearest Neighbour in Higher DimensionsApproximate Nearest Neighbour in Higher Dimensions
Approximate Nearest Neighbour in Higher DimensionsShrey Verma
 
Advanced algebra
Advanced algebraAdvanced algebra
Advanced algebraspark21
 
6.sequences and series Further Mathematics Zimbabwe Zimsec Cambridge
6.sequences and series   Further Mathematics Zimbabwe Zimsec Cambridge6.sequences and series   Further Mathematics Zimbabwe Zimsec Cambridge
6.sequences and series Further Mathematics Zimbabwe Zimsec Cambridgealproelearning
 
Domain and range of a RELATION
Domain and range of a RELATIONDomain and range of a RELATION
Domain and range of a RELATIONJanak Singh saud
 
A note on arithmetic progressions in sets of integers
A note on arithmetic progressions in sets of integersA note on arithmetic progressions in sets of integers
A note on arithmetic progressions in sets of integersLukas Nabergall
 
Rational function 11
Rational function 11Rational function 11
Rational function 11AjayQuines
 
POTENCIAS Y RAÍCES DE NÚMEROS COMPLEJOS-LAPTOP-3AN2F8N2.pptx
POTENCIAS Y RAÍCES DE NÚMEROS COMPLEJOS-LAPTOP-3AN2F8N2.pptxPOTENCIAS Y RAÍCES DE NÚMEROS COMPLEJOS-LAPTOP-3AN2F8N2.pptx
POTENCIAS Y RAÍCES DE NÚMEROS COMPLEJOS-LAPTOP-3AN2F8N2.pptxTejedaGarcaAngelBala
 

Similar to Ramsey number lower bounds (20)

Generalization of Ramsey Number
Generalization of Ramsey NumberGeneralization of Ramsey Number
Generalization of Ramsey Number
 
Reed Solomon encoder and decoder \ ريد سلمون
Reed Solomon encoder and decoder \ ريد سلمونReed Solomon encoder and decoder \ ريد سلمون
Reed Solomon encoder and decoder \ ريد سلمون
 
Introduction to Szemerédi regularity lemma
Introduction to Szemerédi regularity lemmaIntroduction to Szemerédi regularity lemma
Introduction to Szemerédi regularity lemma
 
Euler
EulerEuler
Euler
 
140106 isaim-okayama
140106 isaim-okayama140106 isaim-okayama
140106 isaim-okayama
 
Edicoes asa 12 ano 2020-21 - 3 teste
Edicoes asa   12 ano 2020-21 - 3 testeEdicoes asa   12 ano 2020-21 - 3 teste
Edicoes asa 12 ano 2020-21 - 3 teste
 
ROOTS AND RADICALS - ELEMENTARY ALGEBRA
ROOTS AND RADICALS - ELEMENTARY ALGEBRAROOTS AND RADICALS - ELEMENTARY ALGEBRA
ROOTS AND RADICALS - ELEMENTARY ALGEBRA
 
Taller relaciones binarias
Taller relaciones binariasTaller relaciones binarias
Taller relaciones binarias
 
Complex differentiation contains analytic function.pptx
Complex differentiation contains analytic function.pptxComplex differentiation contains analytic function.pptx
Complex differentiation contains analytic function.pptx
 
Approximate Nearest Neighbour in Higher Dimensions
Approximate Nearest Neighbour in Higher DimensionsApproximate Nearest Neighbour in Higher Dimensions
Approximate Nearest Neighbour in Higher Dimensions
 
Advanced algebra
Advanced algebraAdvanced algebra
Advanced algebra
 
6.sequences and series Further Mathematics Zimbabwe Zimsec Cambridge
6.sequences and series   Further Mathematics Zimbabwe Zimsec Cambridge6.sequences and series   Further Mathematics Zimbabwe Zimsec Cambridge
6.sequences and series Further Mathematics Zimbabwe Zimsec Cambridge
 
Prova global 2 correção
Prova global 2 correçãoProva global 2 correção
Prova global 2 correção
 
Domain and range of a RELATION
Domain and range of a RELATIONDomain and range of a RELATION
Domain and range of a RELATION
 
Markov number
Markov numberMarkov number
Markov number
 
A note on arithmetic progressions in sets of integers
A note on arithmetic progressions in sets of integersA note on arithmetic progressions in sets of integers
A note on arithmetic progressions in sets of integers
 
Residues in MATLAB
Residues in MATLABResidues in MATLAB
Residues in MATLAB
 
Rational function 11
Rational function 11Rational function 11
Rational function 11
 
Presntation11
Presntation11Presntation11
Presntation11
 
POTENCIAS Y RAÍCES DE NÚMEROS COMPLEJOS-LAPTOP-3AN2F8N2.pptx
POTENCIAS Y RAÍCES DE NÚMEROS COMPLEJOS-LAPTOP-3AN2F8N2.pptxPOTENCIAS Y RAÍCES DE NÚMEROS COMPLEJOS-LAPTOP-3AN2F8N2.pptx
POTENCIAS Y RAÍCES DE NÚMEROS COMPLEJOS-LAPTOP-3AN2F8N2.pptx
 

Recently uploaded

Active Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdfActive Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdfPatidar M
 
Keynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-designKeynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-designMIPLM
 
Global Lehigh Strategic Initiatives (without descriptions)
Global Lehigh Strategic Initiatives (without descriptions)Global Lehigh Strategic Initiatives (without descriptions)
Global Lehigh Strategic Initiatives (without descriptions)cama23
 
What is Model Inheritance in Odoo 17 ERP
What is Model Inheritance in Odoo 17 ERPWhat is Model Inheritance in Odoo 17 ERP
What is Model Inheritance in Odoo 17 ERPCeline George
 
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTSGRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTSJoshuaGantuangco2
 
Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17Celine George
 
ANG SEKTOR NG agrikultura.pptx QUARTER 4
ANG SEKTOR NG agrikultura.pptx QUARTER 4ANG SEKTOR NG agrikultura.pptx QUARTER 4
ANG SEKTOR NG agrikultura.pptx QUARTER 4MiaBumagat1
 
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATIONTHEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATIONHumphrey A Beña
 
ICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdfICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdfVanessa Camilleri
 
4.16.24 21st Century Movements for Black Lives.pptx
4.16.24 21st Century Movements for Black Lives.pptx4.16.24 21st Century Movements for Black Lives.pptx
4.16.24 21st Century Movements for Black Lives.pptxmary850239
 
Transaction Management in Database Management System
Transaction Management in Database Management SystemTransaction Management in Database Management System
Transaction Management in Database Management SystemChristalin Nelson
 
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)lakshayb543
 
ISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITY
ISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITYISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITY
ISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITYKayeClaireEstoconing
 
Integumentary System SMP B. Pharm Sem I.ppt
Integumentary System SMP B. Pharm Sem I.pptIntegumentary System SMP B. Pharm Sem I.ppt
Integumentary System SMP B. Pharm Sem I.pptshraddhaparab530
 
ROLES IN A STAGE PRODUCTION in arts.pptx
ROLES IN A STAGE PRODUCTION in arts.pptxROLES IN A STAGE PRODUCTION in arts.pptx
ROLES IN A STAGE PRODUCTION in arts.pptxVanesaIglesias10
 
Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...Seán Kennedy
 
How to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERPHow to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERPCeline George
 
Karra SKD Conference Presentation Revised.pptx
Karra SKD Conference Presentation Revised.pptxKarra SKD Conference Presentation Revised.pptx
Karra SKD Conference Presentation Revised.pptxAshokKarra1
 

Recently uploaded (20)

Active Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdfActive Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdf
 
Keynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-designKeynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-design
 
Global Lehigh Strategic Initiatives (without descriptions)
Global Lehigh Strategic Initiatives (without descriptions)Global Lehigh Strategic Initiatives (without descriptions)
Global Lehigh Strategic Initiatives (without descriptions)
 
What is Model Inheritance in Odoo 17 ERP
What is Model Inheritance in Odoo 17 ERPWhat is Model Inheritance in Odoo 17 ERP
What is Model Inheritance in Odoo 17 ERP
 
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTSGRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
 
FINALS_OF_LEFT_ON_C'N_EL_DORADO_2024.pptx
FINALS_OF_LEFT_ON_C'N_EL_DORADO_2024.pptxFINALS_OF_LEFT_ON_C'N_EL_DORADO_2024.pptx
FINALS_OF_LEFT_ON_C'N_EL_DORADO_2024.pptx
 
Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17Difference Between Search & Browse Methods in Odoo 17
Difference Between Search & Browse Methods in Odoo 17
 
ANG SEKTOR NG agrikultura.pptx QUARTER 4
ANG SEKTOR NG agrikultura.pptx QUARTER 4ANG SEKTOR NG agrikultura.pptx QUARTER 4
ANG SEKTOR NG agrikultura.pptx QUARTER 4
 
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATIONTHEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
 
ICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdfICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdf
 
4.16.24 21st Century Movements for Black Lives.pptx
4.16.24 21st Century Movements for Black Lives.pptx4.16.24 21st Century Movements for Black Lives.pptx
4.16.24 21st Century Movements for Black Lives.pptx
 
Transaction Management in Database Management System
Transaction Management in Database Management SystemTransaction Management in Database Management System
Transaction Management in Database Management System
 
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
 
ISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITY
ISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITYISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITY
ISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITY
 
Integumentary System SMP B. Pharm Sem I.ppt
Integumentary System SMP B. Pharm Sem I.pptIntegumentary System SMP B. Pharm Sem I.ppt
Integumentary System SMP B. Pharm Sem I.ppt
 
ROLES IN A STAGE PRODUCTION in arts.pptx
ROLES IN A STAGE PRODUCTION in arts.pptxROLES IN A STAGE PRODUCTION in arts.pptx
ROLES IN A STAGE PRODUCTION in arts.pptx
 
YOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptx
YOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptxYOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptx
YOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptx
 
Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...
 
How to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERPHow to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERP
 
Karra SKD Conference Presentation Revised.pptx
Karra SKD Conference Presentation Revised.pptxKarra SKD Conference Presentation Revised.pptx
Karra SKD Conference Presentation Revised.pptx
 

Ramsey number lower bounds

  • 1. Lower Bounds on Ramsey Number Presented by:- Smit Raj Guide:- Prof. S.P. Pal IIT Kharagpur
  • 2. Ramsey Number For Two Colors :- R(s , t) [4] • We define Ramsey number R(s , t) as the smallest value of n (n ∈ N) for which every red– blue coloring of 𝐾 𝑛 yields a monochromatic (red/blue) 𝑲 𝒔 or 𝑲 𝒕 . “ Ramsey's theorem states that such a number exists for all s and t .” • It’s obvious that, R(s , t) = R(t , s).
  • 3. R(4 , 2) = 4 = R(2 , 4) 𝐾4 For every s ≥ 2 R(s , 2) = s = R(2 , s) • Either the graph has one red/blue edge or a monochromatic 𝐾 𝑠 .
  • 4. R(3 , 3) ≠ 5 The value of R(3 , 3) = 6. 𝐾5 R(3 , 3) ≠ 5 because we had a counter example with no red or blue 𝐾3 in it. .
  • 5. 𝐾7 𝐾8 R(3 , 4) ≠ 7 R(3 , 4) ≠ 8 In this specific coloring of 𝐾7 & 𝐾8 we didn’t find any red 𝐾3 or blue 𝐾4 as a sub graph.
  • 6. Theorem : R(s , t) ≤ R(s , t-1) + R(s-1 , t) [3] e.g. R(3 ,4) ≤ R(3 , 3) + R(2 , 4) ≤6+4 ≤ 10 but R(3 , 4) = 9 R(4 , 4) ≤ R(3 , 4) + R(4 , 3) ≤9+9 ≤ 18 and R(4 , 4) = 18
  • 7. • No exact formula is known to calculate such a number. • Very few Ramsey numbers have been computed so far 3 4 5 6 7 8 9 3 6 9 14 18 23 28 26 4 18 25 35/41 49/61 55/84 69/115 5 43/49 58/87 80/143 95/216 116/316 6 102/165 109/298 122/495 153/780 Table from [3]
  • 8. Why calculation of R(s , t) is so difficult ? • There is no algorithm to calculate R(s , t). • Brute force method- To select successive no. of vertices & check weather every combination 𝟐 𝒙 (here x is no. of edges) has either a red 𝐾 𝑠 or blue 𝐾 𝑡 . e.g. R(4 , 6) = 40 ??
  • 9. Let v = 40 , then e in 𝐾40 is 780 → 2780 number of possible bi coloring is there computing weather the particular coloring have monochromatic 𝐾4 or 𝐾6 takes 10;9 sec. → 2780 ⨯ 10;9 ⨯ 10;9 years to calculate weather R(4 , 6) = 40. & is more than 200 years.
  • 10. Erdős lower bound on Ramsey number R(s , s) [3] Theorem :- R(s , s) > 2(𝑠;1)/2 Proof :- Probability that edge x is of red color (x ∈ 𝐾 𝑠 ) is 1 ̷ 2. Probability of red color 𝐾 𝑠 is 2;𝑠(𝑠;1)/2 . Probability of blue color 𝐾 𝑠 is 2;𝑠(𝑠;1)/2 . Probability of monochromatic 𝐾 𝑠 is 21;𝑠(𝑠;1)/2 .
  • 11. We choose n large enough such that there exist a possible coloring of 𝐾 𝑛 such that no monochromatic 𝐾 𝑠 is there. Probability that there exist monochromatic 𝐾 𝑠 in 𝐾 𝑛 is 𝑛 1;𝑠(𝑠;1)/2 P(𝐾 𝑠 ) = 𝑠 2 . We want to choose n as large as possible so that P(𝐾 𝑠 ) is less than 1. We take n = 2(s−1)/2
  • 12. 𝑠 𝑛 P(𝐾 𝑠 ) ≤ 21;𝑠(𝑠;1)/2 𝑠! < 2;𝑠(𝑠;1)/2 ⨯ 2 𝑠(𝑠;1)/2 <1 Which proves that there exist a coloring for large enough n so that no monochromatic 𝐾 𝑠 is found.
  • 13. R(𝐾1,2 ; 2) = 3 R(𝐾1,2 ; 3) = 4 𝑘 𝑡−1 +1 𝑖𝑓 𝑘 ≡ 𝑡 ≡ 0(𝑚𝑜𝑑 2) R(𝐾1,𝑡 ; k) = 𝑘 𝑡−1 +2 𝑜𝑡ℎ𝑒𝑟𝑤𝑖𝑠𝑒
  • 14. A lower bound proof for R(𝑲 𝒔,𝒕 ;k) :- [6] Theorem :- R(𝐾 𝑠,𝑡 ;k) > (2 π 𝑠𝑡)1/(𝑠:𝑡) ((s + t)/𝑒 2 )𝑘 (𝑠𝑡;1)/(𝑠:𝑡) (e denotes the base for natural logarithms) let {𝑘1 , 𝑘2 , 𝑘3 ………, 𝑘 𝑘 } are the set of colors Proof :- Probability that edge x (x ∈ 𝐾 𝑠,𝑡 ) is of color 𝑘1 = 1/k. Probability of 𝐾 𝑠,𝑡 to be of 𝑘1 = 𝑘 ;𝑠𝑡
  • 15. Probability of 𝐾 𝑠,𝑡 to be monochromatic = k. 𝑘 ;𝑠𝑡 = 𝑘 1;𝑠𝑡 𝑛 𝑠:𝑡 Number of 𝐾 𝑠,𝑡 that can be selected from 𝐾 𝑛 = 𝑠:𝑡 𝑠 Probability that there exist a monochromatic 𝐾 𝑠,𝑡 in 𝐾 𝑛 is 𝑛 𝑠:𝑡 P(𝐾 𝑠,𝑡 ) = 𝑠:𝑡 𝑠 𝑘 1;𝑠𝑡 elementary calculations have shown that when we choose 1/(𝑠:𝑡) n ≤ (2 π 𝑠𝑡) ((s + t)/𝑒 2 )𝑘 (𝑠𝑡;1)/(𝑠:𝑡)
  • 16. then , P(𝐾 𝑠,𝑡 ) < 1 Which means for 1/(𝑠:𝑡) n ≤ (2 π 𝑠𝑡) ((s + t)/𝑒 2 )𝑘 (𝑠𝑡;1)/(𝑠:𝑡) we have a coloring in which no monochromatic 𝐾 𝑠,𝑡 exists. Hence, R(𝐾 𝑠,𝑡 ; k) > n
  • 17. References 1. http://mathworld.wolfram.com/RamseyNumber.html 2. http://en.wikipedia.org/wiki/Ramsey%27s_theorem# Ramsey_numbers 3. Introduction to graph theory , by Douglas Brent West 4. Modern Graph Theory, by Bela, Bollobas 5. http://theoremoftheweek.wordpress.com/2010/05/0 2/theorem-25-erdoss-lower-bound-for-the-ramsey- numbers 6. On multicolor Ramsey number for complete Bipartite graphs, by Fan R K Chung & R L Graham (June 1974)