"P versus NP intersection co-NP" . . "P versus NP intersection co-NP" . .