31
правка
Изменения
→Определения
{{Определение
|definition=
<tex>NC^i</tex>— множество языков, которые распознаются семейством логических схем размера полином от <tex>n</tex> и глубины <tex>O(log^i (n))</tex>, где <tex>n</tex> — длина входа; степень входа элемента не больше двух. Причем существует детерминированная машина Тьюринга, строящая такую схему можно построить по <tex>1^n</tex> на , используя <tex>O(log(n))</tex> ячеек памяти.
}}