comptheory: Reducibility