DLOGTIME определяется по адресу http://en.wikipedia.org/wiki/DLOGTIME
определяется по адресу http://en.wikipedia.org/wiki/L_%28complexity%29 и определены по адресу http://en.wikipedia.org/wiki/NC_%28complexity%29
DLOGTIME кажется самым маленьким, что может сработать.
Я читал в разных местах, , хотя каждое место я
обнаружил , что результаты, состояний , в которых единообразие условие использует - единообразие.
Существует ли какой-либо детерминированный класс такой, что известен с -uniform и
1....известно держать?
2....
известно, что он удерживается, а как известно, не хранится?
(1, или в гораздо меньшей степени 2, может показаться, что -однородность является правильным условием)
Ответы:
Вы можете использовать для однородности и . Нет проблем, и остаются прежними и равными (для ).DLogTime NC NC2 NCk ATimeSpace(O(lgkn),O(lgn)) k≥1
Как правило, единственный случай, когда нам нужно быть более осторожным, - это случай котором нужно быть осторожным с тем, что должно быть разрешено в . Если вы используете расширенное описание схем на языке соединений, то все работает даже в случае .NC1 DLogTime NC1
Для больше на единообразии см .:
Вальтер Л. Руццо, " О сложности единой цепи ", журнал компьютерных и системных наук, вып. 22 (1981), с. 365–383.
источник