Se piensa también que NP y co-NP son diferentes.