Most probabilistic proofs are existence, non-constructive arguments. The rapid development of theoretical Computer Science, and its tight connection to Combinatorics, stimulated the study of the algorithmic aspects of these proofs.
The application of probabilistic techniques for proving deterministic theorems, and the application of deterministic theorems for derandomizing probabilistic existence proofs, form an interesting combination of mathematical ideas from various areas, whose intensive study in recent years led to the development of fascinating techniques. I will survey some of these developments and describe several related open problems.
Tuesday, September 10, 1996, 4:00, Room 241, Altgeld Hall
Refreshments at 3:15 pm in Room 321, Altgeld Hall.
Sign up for dinner with the speaker at Timpone's at 6:30.