Consideremos, por ejemplo, el Problema de la suma de subconjuntos, que es un ejemplo de un problema fácil de verificar, pero cuya respuesta se "cree" (pero no ha sido demostrado) es difícil de calcular/hallar.