comptheory: np complete