Complexity theory in computation