powerpoint presentationarielpro/15251f15/slides/lec16.pdf · cmu 15-251 approximation algs...
TRANSCRIPT
![Page 1: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/1.jpg)
CMU 15-251
Approximation Algs
Teachers:
Anil Ada
Ariel Procaccia (this time)
![Page 2: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/2.jpg)
Computational hardness
•
•
•
o
o
2
![Page 3: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/3.jpg)
Vertex cover
•
𝐺 = (𝑉, 𝐸)𝑆 ⊆ 𝑉𝐸𝑆
•
3
![Page 4: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/4.jpg)
Vertex cover
•
• 𝑀𝐺 𝑆
𝑆 ≥ 𝑀
• 𝑆𝑀𝑀 ∎
4
![Page 5: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/5.jpg)
Vertex cover
• 𝑀∄ 𝑀′ ≠ 𝑀 𝑀 ⊆ 𝑀′
•
5
![Page 6: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/6.jpg)
Vertex cover
• 𝐺𝑂𝑃𝑇(𝐺)
S = 𝐺 ; 𝑆|S| ≤ 2 ⋅ 𝑂𝑃𝑇(𝐺)
6
𝐺𝑀 ← 𝐺𝑆 ← 𝑀
𝑆
𝑂𝑃𝑇
![Page 7: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/7.jpg)
Vertex cover
• 𝐺 𝑂𝑃𝑇(𝐺)
𝑆 = 𝐺 ; 𝑆|𝑆| ≤ 2 ⋅ 𝑂𝑃𝑇(𝐺)
•
o 𝑒 ∈ 𝐸𝑀 𝑆
o 𝑆 = 2 𝑀 ≤ 2 ⋅ 𝑂𝑃𝑇 ∎
7
2
𝛼 < 2
![Page 8: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/8.jpg)
Approximation
• 𝐼𝐴𝐿𝐺 𝐴𝐿𝐺(I)
𝑂𝑃𝑇 𝐼
• c > 1 𝐴𝐿𝐺 𝑐𝐼 𝐴𝐿𝐺 𝐼 ≤ 𝑐 ⋅ 𝑂𝑃𝑇(𝐼)
•
8
![Page 9: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/9.jpg)
Approximation
• 𝑐 < 1𝐴𝐿𝐺 𝑐
𝐼 𝐴𝐿𝐺 𝐼 ≥ 𝑐 ⋅ 𝑂𝑃𝑇(𝐼)
9
![Page 10: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/10.jpg)
Approximation
• (𝐺)𝐺 𝐺
• 𝛼𝛼
1. 𝛼 = 3
2. 𝛼 = log 𝑛
3. 𝛼 = ⌈𝑛/2⌉
4. 𝛼 = 𝑛
10
![Page 11: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/11.jpg)
Max Cut
11
![Page 12: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/12.jpg)
Max Cut
•
•
𝐺 = (𝑉, 𝐸) 𝑉
12
![Page 13: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/13.jpg)
Max Cut
13
![Page 14: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/14.jpg)
Max Cut
14
![Page 15: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/15.jpg)
Max Cut
15
𝐺
∃ 𝑣
𝑣
![Page 16: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/16.jpg)
Max Cut
•
1. Θ 𝑚
2. Θ 𝑚𝑛
3. Θ 𝑚2
4. Θ(𝑚2𝑛)
16
𝐺
∃
![Page 17: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/17.jpg)
Max Cut
•1
2
•
o 𝑣 ∈ 𝑉deg(𝑣)/2
o
𝑚/2
o 𝑂𝑃𝑇 ≤ 𝑚 ∎
17
![Page 18: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/18.jpg)
Max Cut
18
![Page 19: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/19.jpg)
Interlude
19
https://youtu.be/6ybd5rbQ5rU
![Page 20: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/20.jpg)
Traveling Salesman
•
𝐺 = (𝑉, 𝐸) 𝑐: 𝐸 → ℕ
•
𝑐 𝑒 = 1𝑒 ∈ 𝐸 𝑛
•
20
![Page 21: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/21.jpg)
Traveling Salesman
21
![Page 22: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/22.jpg)
Traveling Salesman
22
![Page 23: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/23.jpg)
Traveling Salesman
23
![Page 24: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/24.jpg)
Traveling Salesman
24
𝐺𝑇 ← 𝐺2𝑇 ← 𝑇
2𝑇
![Page 25: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/25.jpg)
Traveling Salesman
•
•
o
𝑐 𝑇 =
𝑒∈𝐸 𝑇
𝑐 𝑒 ≤ 𝑂𝑃𝑇
o 𝑐 2𝑇 = 2𝑐 𝑇
o 𝑐 2𝑇 ≤ 2𝑂𝑃𝑇 ∎
25
![Page 26: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/26.jpg)
Traveling Salesman*
26
𝐺𝑇 ← 𝐺S ← 𝑇 |𝑆|𝑀 ← 𝑆 𝐺
𝑇 ∪𝑀
![Page 27: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/27.jpg)
Traveling Salesman*
• 𝐶 𝑀 ≤1
2𝑂𝑃𝑇
•
o ∃ 𝑆𝑂𝑃𝑇 𝑆 ⊆ 𝑉)
o
𝑀1 𝑀2o 𝑐 𝑀1 + 𝑐 𝑀2 ≤ 𝑂𝑃𝑇𝑐 𝑀 ≤ 𝑐 𝑀1 𝑐 𝑀 ≤
𝑐 𝑀2 ⇒ 𝑐 𝑀 ≤1
2𝑂𝑃𝑇 ∎
27
𝑀1
𝑀1
𝑀2
𝑀2
![Page 28: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/28.jpg)
Traveling Salesman*
•3
2
•
𝐴𝐿𝐺 = 𝑐 𝑀 + 𝑐 𝑇
≤1
2𝑂𝑃𝑇 + OPT
=3
2OPT ∎
28
![Page 29: PowerPoint Presentationarielpro/15251f15/slides/lec16.pdf · CMU 15-251 Approximation Algs Teachers: Anil Ada Ariel Procaccia (this time)](https://reader030.vdocuments.mx/reader030/viewer/2022040615/5f0d65217e708231d43a23fd/html5/thumbnails/29.jpg)
Summary
•
o
o
•
o
o
o
29