(1) extra information så att riktigheten av ett svar på ett beslut problem snabbt kan kontrolleras. (2) för varje graf egendom P och Graf G, ett intyg för G är en graf G "så att G har egenskapen P om och endast om G' har egenskapen.