Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N...
Transcript of Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N...
![Page 1: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/1.jpg)
• Weeks 1–2: informal introduction • network = path
• Week 3: graph theory
• Weeks 4–7: models of computing • what can be computed (efficiently)?
• Weeks 8–11: lower bounds • what cannot be computed (efficiently)?
• Week 12: recap
! !!!!
![Page 2: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/2.jpg)
Week 10
– Ramsey theory
![Page 3: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/3.jpg)
Avoiding cliques andindependent sets• Can you construct graphs such that:
• there are N nodes • there is no clique of size n • there is no independent set of size n
• For n = 3 and N = 3, 4, 5, 6, …? For n = 4 and N = 4, 5, 6, 7, …?
![Page 4: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/4.jpg)
Avoidingmonochromatic sets• Can you construct complete graphs such that:
• there are N nodes • each edge coloured blue or orange • there is no monochromatic set of size n
• For n = 3 and N = 3, 4, 5, 6, …? For n = 4 and N = 4, 5, 6, 7, …?
![Page 5: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/5.jpg)
Monochromatic subsets• Y = set with N elements, c colours,
each k-subset of Y labelled with a colour
• X monochromatic: all k-subsetsof X labelled with the same colour
![Page 6: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/6.jpg)
Ramsey’s theorem• Y = set with N elements, c colours,
each k-subset of Y labelled with a colour
• X monochromatic: all k-subsetsof X labelled with the same colour
• For all c, k, n: if N is large enough, thereis always a monochromatic subset of size n
![Page 7: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/7.jpg)
Ramsey numbers• Y = set with N elements, c colours,
each k-subset of Y labelled with a colour
• X monochromatic: all k-subsetsof X labelled with the same colour
• For all c, k, n: if N ≥ Rc(n; k), there is always a monochromatic subset of size n
![Page 8: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/8.jpg)
Ramsey’s theorem• For all c, k, n there are numbers Rc(n; k) s.t.:
if we have N ≥ Rc(n; k) elements and we label each k-subset with one of c colours,there is a monochromatic subset of size n
![Page 9: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/9.jpg)
Application• We can show that R2(3; 2) = 6
• Complete graph with 6 nodes,edges (= 2-subsets) labelled with 2 colours
• There is always a monochromaticsubset of size 3
![Page 10: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/10.jpg)
Application• We can show that R2(3; 2) = 6
• A graph with 6 nodes,for each pair of nodes (= 2-subsets)edge may or may not exist (= 2 “colours”)
• There is always a clique oran independent set of size 3
![Page 11: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/11.jpg)
Ramsey’s theorem• For all c, k, n there are numbers Rc(n; k) s.t.:
if we have N ≥ Rc(n; k) elements and we label each k-subset with one of c colours,there is a monochromatic subset of size n
• Proof…
![Page 12: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/12.jpg)
Rc(n; 1)? Rc(n; 2)? Rc(n; 3)? …
![Page 13: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/13.jpg)
Rc(n; 1)?
R̄c(n; 2)?
Rc(n; 2)?
R̄c(n; 3)?
Rc(n; 3)? …
![Page 14: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/14.jpg)
Almostmonochromatic• Y = set with N elements, c colours,
each k-subset of Y labelled with a colour
• X monochromatic: all k-subsetsof X labelled with the same colour
• X almost monochromatic: subsets with the same minimum have the same colour
12
3
12
3
![Page 15: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/15.jpg)
Almostmonochromatic• If we have N ≥ Rc(n; k) elements there is
a monochromatic subset of size n
• If we have N ≥ R̄c(n; k) elements there isan almost monochromatic subset of size n
![Page 16: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/16.jpg)
Rc(n; 1)?
R̄c(n; 2)?
Rc(n; 2)?
R̄c(n; 3)?
Rc(n; 3)? …
![Page 17: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/17.jpg)
Rc(n; 1)?
R̄c(n; 2)?
Rc(n; 2)?
R̄c(n; 3)?
Rc(n; 3)?
Rc(n; 1) ≤ c·(n−1)+1
R̄c(2; 2) = 2
M = R̄c(2; 2) R̄c(3; 2) ≤ 1 + Rc(M; 1)
M = R̄c(3; 2) R̄c(4; 2) ≤ 1 + Rc(M; 1)…
M = Rc(n; 1) Rc(n; 2) ≤ R̄c(M; 2)
R̄c(3; 3) = 3
M = R̄c(3; 3) R̄c(4; 3) ≤ 1 + Rc(M; 2)
M = R̄c(4; 3) R̄c(5; 3) ≤ 1 + Rc(M; 2)…
M = Rc(n; 1) Rc(n; 3) ≤ R̄c(M; 3)
![Page 18: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/18.jpg)
Rc(n; 1)?
R̄c(n; 2)?
Rc(n; 2)?
R̄c(n; 3)?
Rc(n; 3)?
Rc(n; 1) ≤ c·(n−1)+1
R̄c(2; 2) = 2
M = R̄c(2; 2) R̄c(3; 2) ≤ 1 + Rc(M; 1)
M = R̄c(3; 2) R̄c(4; 2) ≤ 1 + Rc(M; 1)…
M = Rc(n; 1) Rc(n; 2) ≤ R̄c(M; 2)
R̄c(3; 3) = 3
M = R̄c(3; 3) R̄c(4; 3) ≤ 1 + Rc(M; 2)
M = R̄c(4; 3) R̄c(5; 3) ≤ 1 + Rc(M; 2)…
M = Rc(n; 1) Rc(n; 3) ≤ R̄c(M; 3)Lemma 10.3
![Page 19: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/19.jpg)
Rc(n; 1)?
R̄c(n; 2)?
Rc(n; 2)?
R̄c(n; 3)?
Rc(n; 3)?
Rc(n; 1) ≤ c·(n−1)+1
R̄c(2; 2) = 2
M = R̄c(2; 2) R̄c(3; 2) ≤ 1 + Rc(M; 1)
M = R̄c(3; 2) R̄c(4; 2) ≤ 1 + Rc(M; 1)…
M = Rc(n; 1) Rc(n; 2) ≤ R̄c(M; 2)
R̄c(3; 3) = 3
M = R̄c(3; 3) R̄c(4; 3) ≤ 1 + Rc(M; 2)
M = R̄c(4; 3) R̄c(5; 3) ≤ 1 + Rc(M; 2)…
M = Rc(n; 1) Rc(n; 3) ≤ R̄c(M; 3)
trivial
![Page 20: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/20.jpg)
Rc(n; 1)?
R̄c(n; 2)?
Rc(n; 2)?
R̄c(n; 3)?
Rc(n; 3)?
Rc(n; 1) ≤ c·(n−1)+1
R̄c(2; 2) = 2
M = R̄c(2; 2) R̄c(3; 2) ≤ 1 + Rc(M; 1)
M = R̄c(3; 2) R̄c(4; 2) ≤ 1 + Rc(M; 1)…
M = Rc(n; 1) Rc(n; 2) ≤ R̄c(M; 2)
R̄c(3; 3) = 3
M = R̄c(3; 3) R̄c(4; 3) ≤ 1 + Rc(M; 2)
M = R̄c(4; 3) R̄c(5; 3) ≤ 1 + Rc(M; 2)…
M = Rc(n; 1) Rc(n; 3) ≤ R̄c(M; 3)
Lemma 10.4
![Page 21: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/21.jpg)
Rc(n; 1)?
R̄c(n; 2)?
Rc(n; 2)?
R̄c(n; 3)?
Rc(n; 3)?
Rc(n; 1) ≤ c·(n−1)+1
R̄c(2; 2) = 2
M = R̄c(2; 2) R̄c(3; 2) ≤ 1 + Rc(M; 1)
M = R̄c(3; 2) R̄c(4; 2) ≤ 1 + Rc(M; 1)…
M = Rc(n; 1) Rc(n; 2) ≤ R̄c(M; 2)
R̄c(3; 3) = 3
M = R̄c(3; 3) R̄c(4; 3) ≤ 1 + Rc(M; 2)
M = R̄c(4; 3) R̄c(5; 3) ≤ 1 + Rc(M; 2)…
M = Rc(n; 1) Rc(n; 3) ≤ R̄c(M; 3)Lemma 10.6
![Page 22: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/22.jpg)
Rc(n; 1)?
R̄c(n; 2)?
Rc(n; 2)?
R̄c(n; 3)?
Rc(n; 3)?
Rc(n; 1) ≤ c·(n−1)+1
R̄c(2; 2) = 2
M = R̄c(2; 2) R̄c(3; 2) ≤ 1 + Rc(M; 1)
M = R̄c(3; 2) R̄c(4; 2) ≤ 1 + Rc(M; 1)…
M = Rc(n; 1) Rc(n; 2) ≤ R̄c(M; 2)
R̄c(3; 3) = 3
M = R̄c(3; 3) R̄c(4; 3) ≤ 1 + Rc(M; 2)
M = R̄c(4; 3) R̄c(5; 3) ≤ 1 + Rc(M; 2)…
M = Rc(n; 1) Rc(n; 3) ≤ R̄c(M; 3)
![Page 23: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/23.jpg)
Rc(n; 1)?
Rc(n; 1) ≤ c·(n−1)+1
Lemma 10.3
• Pigeonhole principle
• c·(n−1)+1 elements
• c-labelling of elements
• all labels have < n element:contradiction
• at least one label withn elements
![Page 24: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/24.jpg)
Rc(n; 1)?
R̄c(n; 2)?
Rc(n; 2)?
R̄c(n; 3)?
Rc(n; 3)?
Rc(n; 1) ≤ c·(n−1)+1
R̄c(2; 2) = 2
M = R̄c(2; 2) R̄c(3; 2) ≤ 1 + Rc(M; 1)
M = R̄c(3; 2) R̄c(4; 2) ≤ 1 + Rc(M; 1)…
M = Rc(n; 1) Rc(n; 2) ≤ R̄c(M; 2)
R̄c(3; 3) = 3
M = R̄c(3; 3) R̄c(4; 3) ≤ 1 + Rc(M; 2)
M = R̄c(4; 3) R̄c(5; 3) ≤ 1 + Rc(M; 2)…
M = Rc(n; 1) Rc(n; 3) ≤ R̄c(M; 3)
![Page 25: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/25.jpg)
R̄c(n; 2)? R̄c(n; 3)?R̄c(2; 2) = 2 R̄c(3; 3) = 3trivial
• k-subsets are labelled
• need an (almost) monochromatic subsetof size k = n
• any such set is (almost) monochromatic
• we only need k = n elements
![Page 26: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/26.jpg)
Rc(n; 1)?
R̄c(n; 2)?
Rc(n; 2)?
R̄c(n; 3)?
Rc(n; 3)?
Rc(n; 1) ≤ c·(n−1)+1
R̄c(2; 2) = 2
M = R̄c(2; 2) R̄c(3; 2) ≤ 1 + Rc(M; 1)
M = R̄c(3; 2) R̄c(4; 2) ≤ 1 + Rc(M; 1)…
M = Rc(n; 1) Rc(n; 2) ≤ R̄c(M; 2)
R̄c(3; 3) = 3
M = R̄c(3; 3) R̄c(4; 3) ≤ 1 + Rc(M; 2)
M = R̄c(4; 3) R̄c(5; 3) ≤ 1 + Rc(M; 2)…
M = Rc(n; 1) Rc(n; 3) ≤ R̄c(M; 3)
![Page 27: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/27.jpg)
R̄c(n; 2)? R̄c(n; 3)?
M = R̄c(2; 2) R̄c(3; 2) ≤ 1 + Rc(M; 1)
M = R̄c(3; 2) R̄c(4; 2) ≤ 1 + Rc(M; 1)…
M = R̄c(3; 3) R̄c(4; 3) ≤ 1 + Rc(M; 2)
M = R̄c(4; 3) R̄c(5; 3) ≤ 1 + Rc(M; 2)…
Lemma 10.4
![Page 28: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/28.jpg)
NM
n
n−1
Lemma 10.4
• M: monochromatic for subsets containing 1
• n−1: almost monochromatic for other subsets
• n: almost monochromatic for all subsets
M = R̄c(n−1; k) R̄c(n; k) ≤ 1 + Rc(M; k−1) = N
node 1
![Page 29: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/29.jpg)
Rc(n; 1)?
R̄c(n; 2)?
Rc(n; 2)?
R̄c(n; 3)?
Rc(n; 3)?
Rc(n; 1) ≤ c·(n−1)+1
R̄c(2; 2) = 2
M = R̄c(2; 2) R̄c(3; 2) ≤ 1 + Rc(M; 1)
M = R̄c(3; 2) R̄c(4; 2) ≤ 1 + Rc(M; 1)…
M = Rc(n; 1) Rc(n; 2) ≤ R̄c(M; 2)
R̄c(3; 3) = 3
M = R̄c(3; 3) R̄c(4; 3) ≤ 1 + Rc(M; 2)
M = R̄c(4; 3) R̄c(5; 3) ≤ 1 + Rc(M; 2)…
M = Rc(n; 1) Rc(n; 3) ≤ R̄c(M; 3)
![Page 30: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/30.jpg)
Rc(n; 2)? Rc(n; 3)?
M = Rc(n; 1) Rc(n; 2) ≤ R̄c(M; 2)
M = Rc(n; 1) Rc(n; 3) ≤ R̄c(M; 3)Lemma 10.6
![Page 31: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/31.jpg)
Lemma 10.6M = Rc(n; 1) Rc(n; k) ≤ R̄c(M; k) = N
• M: almost monochromatic • colour of element i:
common colour of subsets A with min(A) = i • n: elements with same colour → monochromatic
NM n
![Page 32: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/32.jpg)
Rc(n; 1)?
R̄c(n; 2)?
Rc(n; 2)?
R̄c(n; 3)?
Rc(n; 3)?
Rc(n; 1) ≤ c·(n−1)
R̄c(2; 2) = 2
M = R̄c(2; 2) R̄c(3; 2) ≤ 1 + Rc(M; 1)
M = R̄c(3; 2) R̄c(4; 2) ≤ 1 + Rc(M; 1)…
M = Rc(n; 1) Rc(n; 2) ≤ R̄c(M; 2)
R̄c(3; 3) = 3
M = R̄c(3; 3) R̄c(4; 3) ≤ 1 + Rc(M; 2)
M = R̄c(4; 3) R̄c(5; 3) ≤ 1 + Rc(M; 2)…
M = Rc(n; 1) Rc(n; 3) ≤ R̄c(M; 3)
![Page 33: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/33.jpg)
Summary• For all c, k, n there are numbers Rc(n; k) s.t.:
if we have N ≥ Rc(n; k) elements and we label each k-subset with one of c colours,there is a monochromatic subset of size n
• application for k = 2, c = 2:any graph with N nodes containsan independent set or a clique of size n
![Page 34: Weeks 1–2: informal introduction - users.ics.aalto.fi · Ramsey’s theorem • Y = set with N elements, c colours, each k-subset of Y labelled with a colour • X monochromatic:](https://reader034.fdocuments.us/reader034/viewer/2022050507/5f98c991bc14ca1f60487d6e/html5/thumbnails/34.jpg)
• Weeks 1–2: informal introduction • network = path
• Week 3: graph theory
• Weeks 4–7: models of computing • what can be computed (efficiently)?
• Weeks 8–11: lower bounds • what cannot be computed (efficiently)?
• Week 12: recap
! !!!!