CLR refers to Cormen, Leiserson, Rivest and Stein: "Introduction to Algorithms (Third Edition)". |
Lecture 1 (Jan 5) |
General introduction. Definition of an algorithm. Examples of simple computer models: Turing model, RAM model, pointer based machines, oracles, comparison model. RAM model (or uniform cost model), bit model (or: logarithmic cost model). Definition and examples of oracles. The Fibonacci example: introduce recursion, iteration (the array method), and fast exponentiation. Worst-case time complexity. Examples of many complexity classes (linear, quadratic, polynomial, exponential). Landau symbols: O, Omega, Theta, small o, small omega. Resources:
Exercises mentioned during the lecture:
|
Lecture 2 (Jan 10) |
Introduction to the divide-and-conquer principle. Fast exponentiation revisited. Introduction to recurrences. The divide-and-conquer solution to the chip testing problem in CLR. Divide-and-conquer (Karatsuba) multiplication. Mergesort, convex hulls in the plane. We covered all of chapter 2 and part of chapter 3 of CLR. Resources:
Exercises mentioned during the lecture:
|
Lecture 3 (Jan 12) |
Binary search using a ternary oracle (with analysis by the substitution method). Strassen matrix multiplication. The master theorem (statement only). Recursion tree to explain the master theorem. Ham-sandwich and pancake theorems and halfspace counting. Resources:
Exercises mentioned during the lecture:
Assignment 1 handed out (on myCourses). Due January 19, 2023, 2:30pm. |
Lecture 4 (Jan 17) |
Linear time selection: finding the k-th smallest by the algorithm of Blum, Floyd, Pratt, Rivest and Tarjan. O(n) complexity proof based on induction. Linear expected time selection by Hoare's algorithm "FIND". Euclid's algorithm for the greatest common divisor. The induction method illustrated on mergesort. Resources:
Exercises mentioned during the lecture:
|
Lecture 5 (Jan 19) |
Assignment 1 due. The Fast Fourier Transform. Multiplying polynomials in time O(n log n). Resources:
|
Lecture 6 (Jan 23) |
Assignment 2 will become available on myCourses at 4pm. It will be due on January 31 at 2:30pm. Dynamic programming. Computing binomial coefficients and partition numbers. The traveling salesman problem. The longest common subsequence problem. The knapsack problem. Resources:
Exercises mentioned in class:
|
Lecture 7 (Jan 26) |
Lower bounds. Oracles. Viewing algorithms as decision trees. Proof of lower bound for worst-case complexity based on decision trees. Examples include sorting and searching. Lower bounds for board games. Finding the median of 5 with 6 comparisons. Merging two sorted arrays using finger lists. Lower bounds via witnesses: finding the maximum. Resources:
|
Lecture 8 (Jan 31) |
Assignment 2 due at 2:30pm. Assignment 3 will become available on myCourses at 4pm. It will be due on February 9 at 2:30pm. Lower bounds via adversaries. Guessing a password. The decision tree method as a special case of the method of adversaries. Finding the maximum and the minimum. Finding the median. Finding the two largest elements. Resources:
|
Lecture 9 (Feb 2) |
Introductory remarks about ADTs (abstract data types). Lists. Primitive ADTs such as stacks, queues, deques, and lists. Classification and use of linked lists, including representations of large integers and polynomials, iwindow managers, and available space lists. Uses of stacks and queues in recursions and as scratchpads for organizing future work. Introduction to trees: free trees, ordered trees, position trees, binary trees. Bijection between ordered trees (forests) and binary trees via oldest child and next sibling pointers. Relationship between number of leaves and number of internal nodes with two children in a binary tree. Complete binary trees: implicit storage, height. Resources:
Exercises mentioned in class:
|
Lecture 10 (Feb 7) |
Continuing with trees. Depth, height, external nodes, leaves, preorder numbers, postorder numbers. Preorder, postorder, inorder and level order listings and traversals. Recursive and nonrecursive traversals. Stackless traversal if parent pointers are available. Representing and storing trees: binary trees require about 2n bits. Counting binary trees (Catalan's formula) via counting Dyck paths. Expression trees, infix, postfix (reverse Polish), and prefix (Polish) representation. Resources:
Exercises mentioned in class:
|
Lecture 11 (Feb 9) |
Assignment 3 due, 2:30pm. The next assignment will be handed out on February 21. Introduction to the ADT Dictionary. Definition of a binary search tree. Standard operations on binary search trees, all taking time O(h), where h is the height. Generic tree sort. The browsing operations. Definition of red-black trees. Resources:
Exercises mentioned in class:
|
Lecture 12 (Feb 14) |
Red-black trees viewed as 2-3-4 trees. Relationships between rank, height and number of nodes. Insert operation on red-black trees. Standard deletion is not covered in class. Lazy delete. Split and join in red-black trees. Application to list implementations (concatenate and sublist in O(log n) time). Resources:
Exercises mentioned in class:
|
Lecture 13 (Feb 16) |
Midterm examination. |
Lecture 14 (Feb 21) |
Assignment 4 handed out, due March 7, 2:30pm, preferably on paper. Augmented data structures. Examples:
Resources:
|
Lecture 15 (Feb 23) |
Cartesian trees. Random binary search trees. Treaps. Analysis of the expected time of the main operations. Quicksort revisited. Resources:
|
Lecture 16 (Mar 7) |
Priority queues (as abstract data types). Uses, such as in discrete event simulation and operating systems. Binary heaps. Heapsort. Pointer-based implementation of binary heaps. Tournament trees. k-ary heaps. Resources:
Exercises mentioned in class:
|
Lecture 17 (Mar 9) |
Assignment 5 handed out, due March 16, 2:30pm. Amortization. Potential functions. Examples:
Resources:
|
Lecture 18 (Mar 14) |
The union-find ADT. Data structures for disjoint sets. Implementation using linked lists. Implementation using parentpointer trees. Resources:
Exercise:
|
Lecture 19 (Mar 16) |
Assignment 5 due today, 2:30pm. Stringology. Data structures for strings and compression. Tries, PATRICIA trees, digital search trees. Suffix tries, suffix trees, suffix arrays. String searching in a large file via the Knuth-Morris-Pratt algorithm. Resources:
Exercises:
|
Lecture 20 (Mar 17) |
Assignment 6 handed out, due March 28, 2:30pm. Introduction to compression and coding. Fixed and variable width codes. Prefix codes. Definition of entropy and Shannon's result on best possible compression ratios. Huffman trees. Huffman code. An O(n log n) algorithm for finding the Huffman tree. Definition of a greedy algorithm. Data structures for Huffman coding. Merging sorted lists by the greedy method. Generating a random integer. Resources:
Exercises:
|
Lecture 21 (Mar 21) |
Entropy of an input source. Kraft's inequality. Proof of Shannon's theorem. The Shannon-Fano code. Lempel-Ziv compression. Data structures for Lempel-Ziv compression. Digital search tree. Resources:
Exercises:
|
Lecture 22 (Mar 23) |
Introduction to graphs: notation, definitions, adjacency matrix, adjacency lists. Graph traversals as the fundamental procedures for most graph algorithms: depth first search. DFS forest and DFS properties. Classification of edges. Detecting cycles. Euler tour. Resources:
Exercises:
|
Lecture 23 (Mar 28) |
Assignment 6 due today, 2:30pm. Breadth first search. BFS tree. Shortest path problem. Shortest path properties. Dijkstra's greedy algorithm for shortest paths. Resources:
Exercises:
|
Lecture 24 (Mar 30) |
Minimal spanning tree. Main properties. Greedy approach for the MST: the Prim-Dijkstra algorithm. Application in hierarchical clustering. Kruskal's algorithm. A two-approximation for the traveling salesman problem. The all-pairs shortest path algorithm of Floyd and Warshall. Resources:
Exercises:
|
Lecture 25 (Apr 4) |
Directed acyclic graphs (or: dags). Topological sorting. Activity (PERT) networks. NIM games. Strongly connected components in directed graphs. The stable matching algorithm of Gale and Shapley. Resources:
Exercises:
|
Lecture 26 (Apr 6) |
Network flows. The Ford-Fulkerson method. The Edmonds-Karp algorithm. Resources:
|