Friday, April 18, 2008

* Top 10 concepts

-- Pumping Lemmas

-- Diagonalization (used to show an element not in a set and hence
argue uncountability or undecidability)
   
(Ladner's Theorem)

-- Reducibility

-- The notion of completeness and generic complete problems (some
classes do not have complete problems)

-- Time and Space Hierarchy theorems