Download as pdf or txt
Download as pdf or txt
You are on page 1of 1

Sean Li CS 4820 Notes Spring 2013 Introduction to Design and Analysis of Algorithms Lecture 1 1/21/13 Professor: Dexter Kozen

en 5143 Upson Hall Text: Kleinberg and Tardos, Algorithm Design. Course Website: http://www.cs.cornell.edu/courses/cs4820/2013sp/ Algorithms. Design and analysis. Some types: Greedy Divide and Conquer Dynamic Programming Flow Intractibility: NP-completeness, e.g. boolean satisfying problem. Approximation Special cases Asymptotic Complexity. f (x) = O(g(x)) if x0 , c such that for all x x0 , f (x) cg(x). Stable Matching Problem. Bipartite matching. Preference: h : c1 > c2 , c : h1 > h2 . Denition. A matching is a set of pairs M H C = {(h, c)|h H, c C} such that no pair shares a node. Denition. A matching is perfect if all nodes are matched. Denition. A matching is unstable if there exist (h1 , c1 ), (h2 , c2 ) M such that h1 : c2 > c1 and c2 : h1 > h2 . A matching is stable if it is not unstable. Result (Gale and Shapley, 1962): Given such a graph, we can always nd a perfect stable matching.

You might also like