(1) Informació addicional així l'exactitud d'una resposta a un problema de decisió pot ser ràpidament el check. (2) Per a qualsevol propietat gràfic P i gràfic G, un certificat per G és un gràfic G' tal que G té la propietat P si i només si G' té la propietat.