Advanced Complexity Theory