Advanced Algorithms and Complexity Course
Difference between en7 and en8, changed 19 character(s)
I [wrote](http://codeforces.me/blog/entry/44924) in May about the launch of [Data Structures and Algorithms](https://goo.gl/jV5fbe) Specialization at Coursera. In September, the [Advanced Algorithms and Complexity](https://goo.gl/TalA42) Course of this Specialization was launched, and I'd like to tell you more about it.↵

Course topics:↵

1. Network Flows (Ford-Fulkerson and Edmonds-Karp algorithms).↵
1. Linear Programming (the Simplex Method).↵
1. NP-completeness (theory, reductions, solving NP-complete problems using SAT-solvers).↵
1. Coping with NP-completeness (bruteforce optimizations, solvable cases, approximation algorithms).↵
1. Streaming Algorithms.↵

The problems for this course were prepared by [user:ifsmirnov,2016-10-03], [user:Ilyakor,2016-10-03], [user:Michael,2016-10-03], [user:Perlik,2016-10-03], [user:romanandreev,2016-10-03], [user:Zlobober,2016-10-03] and Paul Melnichuk.↵

Network flows and the algorithms covered in the Specialization can sound as not very advanced topic for many Codeforcers. On the other hand, it is definitely a popular topic: there is a problem on network flows application virtually in every contest nowadays, and knowing the basic algorithms for finding flows is a must. One of the problems in the Programming Assignment of the Network Flows module supports that: [Google Code Jam](https://code.google.com/codejam/) officially allowed us to use the statement of the problem [Stock Charts](https://code.google.com/codejam/contest/204113/dashboard#s=p2) from GCJ 2009 R2 ([user:ilyakor,2016-10-03] has prepared the tests and the solutions for our version). Also, it often turns out that you should solve competitive programming problems on flows using Ford-Fulkerson algorithm, because it can be implemented extremely fasta, and it works fast in practice, but for the rare cases when the authors prepared specialized test cases breaking Ford-Fulkerson which is non-trivial.↵

Linear Programming has never been a competitive programming topic...right until the ACM ICPC World Finals 2016 where [problem I](https://icpc.baylor.edu/worldfinals/problems/icpc2016.pdf) just screamed "implement Dijkstra and Simplex Method". In the end, only one team from Stanford University solved this problem, and only two more teams tried. Stanford got lucky: they had the simplex method in their team notebook. However, according to what I observed during the finals as an ICPC analyst, they got unlucky too: it seems their implementation had a bug) As a result, they've spent a lot of time on fixing it and got the problem accepted only during the last hour, although they've started trying much earlier. I might have confused Stanford team's troubles with Wroclaw university's, though — sorry if that's the case. Anyway, so many teams have missed their chance for a much better result! One didn't have to solve anything, just needed to implement two algorithms, one of which many ACM ICPC finalists can implement without opening their eyes at night. [user:romanandreev,2016-10-03] who prepared the problems on linear programming made sure that his solution passes on the problem I from World Finals 2016. Forums on the Coursera are flooded with discussions of accuracy problems and other subtleties of Simplex Method. Some of the students even complained that they have passed a full separate course just about Linear Programming, and have passed this problem there, but can't pass it in our course :) So you can test your implementation for the team notebook pretty well)↵

As opposed to competitive programming, in the real life Linear Programming finds lots of applications from optimizing advertising budgets, investment portfolios, diets, transportation, manufacturing, telecommunications to approximation algorithms for NP-hard problems, including the Travelling Salesman Problem.↵

It might sound surprising, but NP-completeness and coping with 
it could be seen as the most practical part of the course. You'd argue that this is all about Complexity, but in practice most of the problems are NP-complete and it is much more efficient to see the problem is NP-complete at once and think of ways to cope with that (that's what we talk about in the two modules) instead of trying to come up with some clever data structure, essentially trying to prove P!=NP wrong, nowithout knowing about thait. Some of the problems use SAT-solver as a checker, because the problem is to reduce the initial problem to a SAT instance, and then it turns out modern SAT-solvers based on the latest research advances can solve huge instances in practice.↵

Streaming Algorithms are on the rise now, because often in Big Data processing you need to compute some statistic (number of different keys, the most frequent key, estimate the size of intersection of two sets of keys) based on terabytes of data using very limited amount of memory and reading the data just once or maybe twice. We've invited [Michael Kapralov](http://theory.epfl.ch/kapralov/) to cover this topic. We are going to add a problem on application of streaming algorithms later. It is challenging to separate the Streaming Algorithms from the regular ones under the typical time limits, but we already have a prototype, now it's only left to package what we got into a problem.

History

 
 
 
 
Revisions
 
 
  Rev. Lang. By When Δ Comment
ru10 Russian Michael 2016-10-04 04:01:01 2 Мелкая правка: 'ы курса:\n1. Поток' -
en8 English Michael 2016-10-03 19:26:02 19 (published)
ru9 Russian Michael 2016-10-03 19:23:21 117
en7 English Michael 2016-10-03 19:21:41 1 Tiny change: ' 2009 R2 ( [user:ilya' -> ' 2009 R2 ([user:ilya'
en6 English Michael 2016-10-03 19:21:26 3 Tiny change: 'ust screams "implemen' -> 'ust screamed "implemen'
en5 English Michael 2016-10-03 19:20:59 7
en4 English Michael 2016-10-03 19:20:35 5
en3 English Michael 2016-10-03 19:20:14 13
en2 English Michael 2016-10-03 19:19:23 5
ru8 Russian Michael 2016-10-03 19:18:56 52
en1 English Michael 2016-10-03 19:18:00 5324 Initial revision for English translation
ru7 Russian Michael 2016-10-03 19:15:51 10433 Возвращено к ru5
ru6 Russian Michael 2016-10-03 19:14:57 10433
ru5 Russian Michael 2016-10-03 18:51:58 241
ru4 Russian Michael 2016-10-03 18:16:25 36
ru3 Russian Michael 2016-10-03 18:15:14 505
ru2 Russian Michael 2016-10-03 18:11:25 4448
ru1 Russian Michael 2016-10-03 17:51:27 931 Первая редакция (сохранено в черновиках)