«Правильна» умова однаковості для класу Ніка

DLOGTIME визначено на веб-сайті http://en.wikipedia.org/wiki/DLOGTIME ім'я визначено за адресою http://en.wikipedia.org/wiki/L_%28complexity%29 ім'я та ім'я визначено на веб-сайті http://en.wikipedia.org/wiki/NC_%28complexity%29
$\operatorname{L}$
$\operatorname{NC}$$\operatorname{NC}^n$

DLOGTIME, здається, є найменшим, що може працювати.
Я читав в різних місцях, , хоча кожне місце я виявив , що результати, станів , в яких однаковість умова використовує - рівномірність. Чи є детермінований клас такий$\, \operatorname{L} \subseteq \operatorname{NC}^2 \,$$\,$
$\operatorname{L}$


$X$$\, \operatorname{L} \subseteq \operatorname{NC} \,$ відома с $X$-уніформа $\operatorname{NC}$, і
1.$\;$ ... $\; X\subset \operatorname{L} \;$як відомо, тримається?
2.$\;$ ... $\; X\subseteq \operatorname{L} \;$ відомо, що тримає і $\, X = \operatorname{L} \,$ невідомо проводити?

(1, або значно меншою мірою 2, мабуть, це має на увазі $\operatorname{L}$-уніформа - це правильна умова)

Можна використовувати $\mathsf{DLogTime}$ за рівномірність $\mathsf{NC}$ і $\mathsf{NC^2}$. Немає проблем і заняття рівномірні$\mathsf{NC^k}$ залишаються однаковими і рівними $\mathsf{ATimeSpace}(O(\lg^k n),O(\lg n))$ (для $k\geq1$).

Взагалі єдиний випадок, з яким нам потрібно бути обережнішими, - це $\mathsf{NC^1}$ випадок, коли слід бути обережним щодо того, що потрібно вирішити в $\mathsf{DLogTime}$. Якщо ви використовуєте розширений опис мов з'єднання схем, то все працює навіть в$\mathsf{NC^1}$ справа.

Детальніше про рівномірність див:

Вальтер Л. Руццо, " Про єдину складність ланцюга ", Журнал комп'ютерних та системних наук, т. 22 (1981), стор 365–383.