Изменения

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

Сложностные классы. Вычисления с оракулом

255 байт добавлено, 17:23, 1 июня 2012
Нет описания правки
{{Определение
|definition=
<tex>DTIMET(f(np,x)) = \{ L \mid \exists </tex> программа — ограничение по времени.<tex>p : LS(p)=L</tex> и для <tex>\forall x</tex>, такого что <tex>|x| = n</tex> (здесь <tex>n)</tex> — длина входа), ограничение по памяти.<tex>TimeTS(p,x) = O(f(n)) \}</tex>— ограничение и по времени и по памяти.
}}
{{Определение
|definition=
<tex>DTIME(f(n)) = \{ L \mid \exists </tex> программа <tex>p : L(p)=L</tex> и для <tex>\forall x</tex>, такого что <tex>|x| = n</tex> (здесь <tex>n</tex> — длина входа), <tex>T(p,x) = O(f(n)) \}</tex>.}}{{Определение|definition=<tex>DSPACE(f(n)) = \{ L \mid \exists </tex> программа <tex>p : L(p)=L</tex> и для <tex>\forall x</tex>, такого что <tex>|x| = n</tex> (здесь <tex>n</tex> — длина входа), <tex>SpaceS(p,x) = O(f(n)) \}</tex>.
}}
Анонимный участник

Навигация