EXPTIME — различия между версиями

Текущая версия на 09:55, 4 августа 2008

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

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