This is the archived version of this course from the Spring 2013 semester. You might find something more recent by visitning my teaching page.
In the "airplane bomber" scenario, we are assuming that:
Prove that any deterministic algorithm that screens at most 180 passengers (even in a single case) may result in 1/1000 planes being blown up.