NEXP

Материал из DISCOPAL
Перейти к: навигация, поиск

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

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