ТС0
-
Определение класса TC0
- TC0 — это класс сложности схем, который включает логические схемы с постоянной глубиной и полиномиальным размером.
- В схемах используются вентили: ИЛИ, НЕ, мажоритарные и пороговые.
-
Важные задачи в классе TC0
- В классе TC0 решаются задачи сортировки, умножения, деления и распознавания языка Dyck.
-
Отношения между классами схем
- TC0 является подмножеством AC0 и NC1, но вопрос о строгости этого включения остается нерешенным.
- TC0 также является подмножеством PP, но это утверждение не является строгим.
-
Функциональная версия униформы TC0
- Униформа TC0 включает функции, такие как сложение, вычитание, побитовое И и функции, связанные с двоичным логарифмом.
-
Рекомендации и внешние ссылки
- Статья содержит ссылки на «Зоопарк сложности: TC0» для дополнительной информации.
Полный текст статьи: