¿Problema de interpretación simple con respecto a la jerarquía polinómica?
Entonces significa problemas en los que tenemos pequeños testigos verificables para instancias de y para pequeños testigos verificables para instancias de . ¿Cómo funciona esto paraNPNPNPYESYESYEScoNPcoNPcoNPNONONO PNPPNPP^{NP} NPNPNPNPNP^{NP} coNPNPcoNPNPcoNP^{NP} ¿y