„Właściwy” warunek jednolitości dla klasy Nicka

DLOGTIME jest zdefiniowany na stronie http://en.wikipedia.org/wiki/DLOGTIME nazwa jest zdefiniowany na stronie http://en.wikipedia.org/wiki/L_%28complexity%29 nazwa i nazwa są zdefiniowane na stronie http://en.wikipedia.org/wiki/NC_%28complexity%29
$\operatorname{L}$
$\operatorname{NC}$$\operatorname{NC}^n$

DLOGTIME wydaje się być najmniejszym, który może działać.
Czytałem w różnych miejscach, , chociaż każde miejsce, w jakim okazało się, że wyniki, które stwierdza warunek jednorodności używa - jednolitość. Czy istnieje jakaś deterministyczna klasa taka że nazwa nazwa jest znana z -uniform nazwa i 1....jest znany z posiadania? 2....$\, \operatorname{L} \subseteq \operatorname{NC}^2 \,$$\,$
$\operatorname{L}$


$X$$\, \operatorname{L} \subseteq \operatorname{NC} \,$$X$$\operatorname{NC}$
$\;$$\; X\subset \operatorname{L} \;$
$\;$$\; X\subseteq \operatorname{L} \;$jest znany z trzymania i nazwa nie jest znany z trzymania?$\, X = \operatorname{L} \,$

(1, lub w znacznie mniejszym stopniu 2, wydaje się sugerować, że jednorodność jest poprawnym warunkiem)$\operatorname{L}$

Możesz użyć do ujednolicenia i . Nie ma problemu, a klasy uniform pozostają takie same i równe (dla ).$\mathsf{DLogTime}$$\mathsf{NC}$$\mathsf{NC^2}$$\mathsf{NC^k}$$\mathsf{ATimeSpace}(O(\lg^k n),O(\lg n))$$k\geq1$

Zasadniczo jedynym przypadkiem, który musimy uważać, jest przypadek którym należy uważać na to, co należy rozstrzygnąć w . Jeśli używasz rozszerzonego opisu języka połączeń dla obwodów, wszystko działa nawet w przypadku .$\mathsf{NC^1}$$\mathsf{DLogTime}$$\mathsf{NC^1}$

Aby uzyskać więcej informacji na temat jednolitości, zobacz:

Walter L. Ruzzo, „ On Uniform Circuit Complexity ”, Journal of Computer and System Sciences, tom. 22 (1981), s. 365–383.