Complexity of polynomially completeness verificationдоклад на конференции