Consiste en decidir si la inclusión entre las clases de complejidad P y NP es estricta.