Алгоритмы
верификации в общем случае имеют следующие проблемы:
- Потенциальная
детерминируемость
- Потенциальная
нетерминируемость
- Сложная
дискретизация
- Экспоненциальная
сложность
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.