NEXP — различия между версиями
Материал из DISCOPAL
м (1 версия) |
(нет различий)
|
Текущая версия на 09:55, 4 августа 2008
Класс задач, разрешимых на недетерминированной машине Тьюринга за экспоненциальное время.
Более формально, через определение класса NTIME: