Certificate (complexity) (source code)

= Certificate
{disambiguate=complexity}
{wiki}

= Complexity certificate
{synonym}

= Certificates in computational complexity
{synonym}

= Certificate in computational complexity
{synonym}

A certificate for a positive instance is a polynomial-length string that makes a polynomial-time verifier accept that instance.