NEXP

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

NEXP — класс задач, разрешимых на недетерминированной машине Тьюринга за экспоненциальное время.

Более формально, через определение класса NTIME:

\({\cal NEXP} \equiv \cup_{c>0} {\cal NTIME}(2^{n^c})\)


По крайней мере часть этого текста взята с ресурса http://lib.custis.ru/ под лицензией GDFL.Список авторов доступен на этом ресурсе в статье под тем же названием.