Graph Algorithms
In the winter semester 2023/2024, I teach the course on Graph Algorithms. The lecture covers advanced algorithms for shortest paths, network flows, minimum spanning trees, and some other graph problems. Several graph data structures will be mentioned, too.
The course is scheduled on Wednesdays from 15:40 in room S8 S5 and taught in English this year.
If you miss a lecture, you can watch video recordings from year 2020; this year's lectures are quite similar.
If you want to consult anything, please write an e-mail to mares@kam.mff.cuni.cz and we will discuss possibilities.
date | topics |
---|---|
4. 10. | Network flows: formulation of the problem, basic theorems (min-cut/max-flow, integrality), Ford-Fulkerson algorithm. Finding bipartite matchings and edge-disjoint paths using flows. |
11. 10. | Network flows: Symmetric formulation (pure/effective flow). Dinitz algorithm and its behavior on special networks. |
18. 10. | Network flows: Scaling algorithm for integer capacities. Disjoint paths, cuts and separators using flows. Finding cuts probabilistically: random contractions and their analysis. |
25. 10. | Finding cuts probabistically: the Karger-Stein algorithm. Shortest paths: general properties, woes with negative cycles, prefix property and shortest path trees. |
1. 11. | Shortest paths: Relaxation scheme. Bellman-Ford-Moore algorithm as a special case of relaxation. Dijkstra's algorithm and related data structures: various kinds of heaps. |
8. 11. | Data structures for Dijkstra's algorithm continued: array of buckets, trees over buckets, multi-level buckets, a sketch of HOT-queues. Dinic's trick for real edge lengths. Potentials and elimination of negative edges. |
15. 11. | Heuristics for point-to-point shortest paths: bi-directional Dijkstra, the A* algorithm (examples). All-pairs shortest paths and transitive closure: Floyd-Warshall algorithm and its generalization to construction of walk expressions. An algebraic point of view. |
22. 11. | All-pairs shortest paths: making use of matrix multiplication. Divide & conquer algorithm for transitive closure. Seidel's algorithm for undirected unweighted graphs. |
29. 11. | Minimum spanning trees: introduction, light and heavy edges. Jarník's algorithm, cut lemma, uniqueness, characterization using light edges. Red-blue algorithm and its usual special cases: Jarník's, Borůvka's and Kruskal's algorithm. Borůvka's algorithm with contractions and filtering. |
6. 12. | Minimum spanning trees in planar graphs and minor-closed graph classes. Density of minor-closed classes and the theorems of Mader and Kostochka+Thomason (without proofs). Kruskal's algorithm and Union-Find problem. Jarník's/Dijkstra's algorithm with Fibonacci heap, Fredman-Tarjan algorithm (iterated Jarník's algorithm). |
13. 12. | Minimum spanning trees: Analysis of Fredman-Tarjan algorithm continued. Kruskal's algorithm and the Union-Find problem. Review of best known results. Lowest common ancestor (LCA) and range minima (RMQ), reduction from LCA to RMQْ±1. |
20. 12. | Plan: LCA and RMQ: block decomposition, reduction of RMQ back to LCA. Union-Find with unions known in advance via Frederickson's decomposition and binary coding. |
3. 1. | Representation of trees using ET-sequences and ET-trees. Fully dynamic connectivity in undirected graphs (Holm, de Lichtenberg, Thorup). [Not present in the lecture notes, please see chapters 5.2 and 5.3 of my thesis.] |
10. 1. | Suffix trees and their properties. Reducing string problems to graph problems. Construction of suffix trees: Ukkonen's incremental algorithm. |
Exams
Exam dates are listed in SIS, please sign up there. If no date suits you, let me know and we can arrange a different one. If you want to consult anything before the exam, feel free to ask.
You are expected to know the theory presented at the lecture (algorithms, theorems, and proofs) and to be able to apply it to related problems.
Recommended reading
- In English:
- Alexander Schrijver: Combinatorial Optimization
- The Saga of Minimum Spanning Trees (my Ph.D. thesis, contains detailed discussion of minimum spanning trees and models of computation)
- Lecture from 2020 including video recordings
- Ukkonen's algorithm (translation of a part of my lecture notes)
- In Czech:
- Skriptíčka Krajinou grafových algoritmů (mají i v knihovně na MS, ale v elektronické verzi jsou kapitoly navíc a opravené chyby)
- Průvodce labyrintem algoritmů
- Jiří Demel: Grafy a jejich aplikace (základní algoritmy, Kleeneho algebry)