Computer Science 423
Theory of Algorithms
Spring 2008

Course Information


Description:This course is designed to provide students with an understanding of the principles and techniques used in the design and analysis of computer algorithms. The course is primarily theoretical and does not require programming, but it does require understanding of the notion of a mathematical proof, some knowledge of elementary discrete mathematics, and mathematical problem-solving skills. We shall discuss and analyze a variety of data structures and algorithms chosen for their importance and their illustration of fundamental concepts. We shall emphasize analyzing the worst-case running time of an algorithm as a function of input size. We shall also spend some time exploring the boundary between feasible (polynominal-time) computations and infeasible computations. This will include discussion of the notorious P=NP? question.
Prerequisites: COS 226 and COS 341 or permission of the instructor

Lectures: MW 11:00-12:20, Room: FC008

Precept: Fridays 11:00-12:00pm, Room: FC008

Recommendations: Attend class. Much material covered will not be in the book, and I will present much material differently from the book. I will try to provide additional handouts on material not in the book. Read the Book. It is a basic source. Do the problem sets. Give yourself plenty of time for this.


Instructor: Robert Tarjan
Office: 324 CS Building, 258-4797
Office Hours: MW 12:30-2:00pm and by Appt.
ret AT cs ...
robert.tarjan AT

Teaching Assistant Hossein Bateni
Office: 214 CS Building, 258-1793
Office Hours: Tuesday 7-8pm, Friday 4-5pm & by Appt.
mbateni AT cs ...

Secretary: Mitra Kelly
Office: 323 CS Building, 258-4562
mkelly AT cs...

Previous semester(s):
Spring 2007


Sedgewick, Algorithms in C, Third Edition, Addison-Wesley. 1998.
Garey and Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W.H. Freeman & Co., 1979.

Tarjan, Data Structures and Network Algorithms, Society for Industrial and Applied Mathematics, 1983.

Kleinberg and Tardos, Algorithm Design, 2005.

Cupillari, The Nuts and Bolts of Proofs, PWS Publishing, 1993.

Polya, How to Solve It, Princeton University Press, 1945.