certificate-checking algorithm

алгоритм проверки удостоверения (для доказательства принадлежности задачи распознавания классу NP)