comptheory: class P