Изменения

<tex>NC^i = \mathcal{f} L \mid L — </tex> распознается семейством логических схем размера полином от <tex>n</tex> и глубины <tex>O(log^i (n))</tex>, где <tex>n</tex> — длина входа; степень входа элемента не больше двух. Причем такую схему можно построить по <tex>1^n</tex> на <tex>O(log(n))</tex> памяти<tex>\mathcal{g}</tex>.