Oración 1: esta clase son aquellos problemas para los cuales existen “certificados” garantizando que una solución es correcta y se puede verificar en tiempo polinomial
Oración 2: podría tomar 33 trillones de años buscar una solución del TSP, pero se puede verificar en tiempo polinomial si un circuito tiene una distancia menor a cierta cota; la clase P, por otro lado, es la clase de problemas para los cuales se puede encontrar una solución en tiempo polinomial
Conector: es decir,
Relación: entailment
Género: theses