«Bonne» condition d'uniformité pour la classe de Nick

DLOGTIME est défini sur http://en.wikipedia.org/wiki/DLOGTIME
est défini sur http://en.wikipedia.org/wiki/L_%28complexity%29 NC et NC n sont définis sur http: // en .wikipedia.org / wiki / NC_% 28complexity% 29$\operatorname{L}$
$\operatorname{NC}$$\operatorname{NC}^n$

DLOGTIME semble être le plus petit qui pourrait fonctionner.
J'ai lu à divers endroits que$\, \operatorname{L} \subseteq \operatorname{NC}^2 \,$, $\,$bien que chaque endroit que j'ai
trouvé que les résultats qui indiquent une condition d'uniformité utilise uniformité. Existe-t-il une classe déterministe X telle que$\operatorname{L}$


$X$$\, \operatorname{L} \subseteq \operatorname{NC} \,$est connu avec -uniform NC , et 1.$X$$\operatorname{NC}$
$\;$ ... $\; X\subset \operatorname{L} \;$est connu pour tenir?
2.$\;$ ... $\; X\subseteq \operatorname{L} \;$ est connu pour détenir et $\, X = \operatorname{L} \,$ n'est pas connu pour tenir?

(1, ou dans une bien moindre mesure 2, semble impliquer que la uniformité est la condition correcte)$\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}$

Pour plus d'informations sur l'uniformité, voir:

Walter L. Ruzzo, « On Uniform Circuit Complexity », Journal of Computer and System Sciences, vol. 22 (1981), pp. 365–383.