complexity theory lecture