Alternative: Sim'bi, Sim'bi d'l'eau
... are the ones most likely not to be in P. If you can find a way to solve a Co-NP-complete problem quickly, then you can use that algorithm to solve all Co-NP problems ...