Изменения

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

Классы EXP, NEXP. Полнота языков EXP и NEXP

1 байт убрано, 13:39, 17 июня 2010
Нет описания правки
=== Существует полная в ''NEXP'' задача ===
====Доказательство====
 
Полной задачей в <tex>NEXP</tex> является задача <tex>BH_{2,N}</tex>(binary nondeterministic bounded halt):
<tex>BH_{2,N} =\{ \langle m, x, t \rangle \mid m(x) = 1, T(m,x) \le t \}</tex>

Навигация