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

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 кажется самым маленьким, что может сработать.
Я читал в разных местах, , хотя каждое место я обнаружил , что результаты, состояний , в которых единообразие условие использует - единообразие. Существует ли какой-либо детерминированный класс такой, что известен с -uniform и 1....известно держать? 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} \;$известно, что он удерживается, а как известно, не хранится?$\, 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.