complexity theory preliminaries