1. Survey (Sunday, September 13, 2009 - 10:00)
P и NP informally. Exact algorithms. algorithm for SAT based on local search. algorithm for MAX-CUT based on fast matrix multiplication.
http://video.yandex.ru/users/pdmicsclub/view/1/?cauthor=pdmicsclub&cid=1
|
2. Survey (Sunday, September 13, 2009 - 10:15)
FPT algorithms. Kernelization. kernel for covering points by lines problem. kernel for vertex cover based on simple reduction rules and kernel based on crown decomposition lemma. Approximation algorithms. -optimal algorithm for vertex cover. -optimal algorithm for metric TSP.
http://video.yandex.ru/users/pdmicsclub/view/8/?cauthor=pdmicsclub&cid=1
|
3. NP-complete problems (Sunday, October 25, 2009 - 10:20)
Search problems, NP-complete problems, reductions.
http://video.yandex.ru/users/pdmicsclub/view/29/
|
4. Randomized algorithms (Sunday, October 25, 2009 - 10:25)
algorithm for the -coloring problem. -optimal algorithm for the hitting set problem. FPT-algorithm for the -path problem. -algorithm for -SAT.
http://video.yandex.ru/users/pdmicsclub/view/28/
|
5. Approximation algorithms (Sunday, November 1, 2009 - 10:30)
-algorithm for the vertex cover problem, -optimal algorithm for the shortest common superstring problem.
http://video.yandex.ru/users/pdmicsclub/view/32/
|
6. Approximation algorithms (Sunday, November 1, 2009 - 10:35)
-optimal algorithm for the metric TSP, non-approximability of the general TSP, fully polynomial approximation scheme for the knapsack problem.
http://video.yandex.ru/users/pdmicsclub/view/30/
|
7. Approximation algorithms (Sunday, November 1, 2009 - 10:45)
Semidefinite programming (SDP), SDP-based approximation algorithms, -optimal algorithm for the maximum cut problem, coloring -colorable graph into colors, where is the average degree.
http://video.yandex.ru/users/pdmicsclub/view/50/
|
8. Splitting algorithms (Sunday, November 8, 2009 - 10:35)
Estimating the running time of splitting algorithms, reduction rules. Simple splitting algorithm for the satisfiability problem, where is the number of clauses. Automated complexity analysis of splitting algorithms.
http://video.yandex.ru/users/pdmicsclub/view/43/
|
9. Splitting algorithms (Sunday, November 8, 2009 - 10:40)
Combined complexity measures (measure and conquer). Upper bound for the maximum -satisfiability problem. Solving SAT with constant clause density in less than steps.
http://video.yandex.ru/users/pdmicsclub/view/47/
|
10. Exact algorithms (Sunday, November 29, 2009 - 10:45)
Inclusion-exclusion principle. Hamiltonian path problem, counting the number of perfect matchings. Reduction to easy problem. Subset sum problem, maximum 2-satisfiability problem.
|
11. FPT-algorithms (Sunday, December 6, 2009 - 10:50)
Sunflower lemma. Hitting set problem. Dynamic programming. Steiner tree problems. Iterative compression. Odd cycle transversal problem.
|