Алгоритмы верификации в общем случае имеют следующие проблемы:
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
экспоненциальная сложность(Верный ответ)
потенциальная детерминируемость
сложная дискретизация
потенциальная нетерминируемость(Верный ответ)