6.1400 Comp & Complexity Theory