comptheory: complexity theory