Randomness and Computation
One of the most remarkable developments in Computer Science over the past 30 years
has been the realization that the ability of computers to toss coins can lead to algorithms that are more
efficient, conceptually simpler and more elegant that their best known deterministic counterparts.
Randomization has by now become a ubiquitous tool in computation.
This course will survey several of the most widely used techniques in this context,
illustrating them with examples taken from algorithms, random structures and combinatorics.
Our goal is to provide a solid background in the key ideas used in the design and analysis of randomized
algorithms and probabilistic processes.
Here is a rough outline of the course material:
- Introduction: Las Vegas and Monte Carlo algorithms
- Elementary Examples: checking identities, fingerprinting
- Moments, Deviations and Tail Inequalities
- Balls and Bins, Coupon Collecting, stable marriage, routing
- Randomization in Sequential Computation
- Data Structures, Graph Algorithms
- Randomization in Parallel and Distributed Computation
- Algebraic techniques, matching, sorting, independent sets
- Randomization in Online Computation
- Online model, adversary models, paging, k-server
- The Probabilistic Method
- Threshold phenomena in random graphs, Lovasz Local Lemma
- Random Walks and Markov Chains
- Hitting and cover times, Markov chain Monte Carlo
- Lecture 1 (January 13) Introduction. Elementary examples: identity testing, verifying matrix multiplication, randomized min-cut. (Chapter 1 of [MU]).
- Problem Set 1 (Handed out February 9th; due on February 27th; marks returned by March 9th.).
- Problem Set 2 (Handed out March 10th; due on March 24th; marks returned by April 7th.).
Please read the following guidelines regarding coursework:
Academic Conduct Policy: Students are expected to adhere to the academic conduct policy of the University; this policy can be found in full
Late Coursework Policy: Please see here
for the late coursework policy of the School of Informatics.