Информация о статье журнала "Информатика"
- Институт математики НАН Беларуси
УДК: УДК 510.5
Статья поступила: 31.05.2016
Реферат:
Рассматривается проблема рекурсивного (алгоритмического) представления класса сложно-сти NP?coNP. Предлагается новый метод алгоритмического перечисления всех задач в классе сложности NP?coNP с использованием полиномиальных недетерминированных машин Тьюринга.
|