ACC0 - класс естественной сложности.
1) Баррингтон показал, что вычисления над неразрешимыми моноидами захватывают NC1 то время как над разрешимыми моноидами захватывают ACC0 .
2) В последнее время Хансен и Куки доказали прекрасный результат, что программы плоского ветвления разной ширины с постоянными размерами в точности равны ACC0 . Без условия планарности мы, конечно, получаем результат Баррингтона, характеризующий NC1 .
Таким образом, разница между и N C 1 является теоретико-групповой с одной стороны и топологической с другой.ACC0NC1
Добавлено: Дана, простой пример разрешимой группы - это , симметричная группа над элементами. Не вдаваясь в детали, любая разрешимая группа имеет ряд, чьи коэффициенты оказываются циклическими. Эта циклическая структура отражается как модаты при построении схемы для решения словесных задач в группе.S4
Что касается планарности, хотелось бы полагать, что планарность может налагать ограничения / узкие места в потоке информации. Это не всегда верно: например, известно, что вариации плоского 3SAT являются NP-полными. Однако в небольших классах эти ограничения более «вероятны».
В том же духе Вигдерсон показал NL / poly = UL / poly с использованием леммы об изоляции. Мы не знаем, как дерандомизировать лемму об изоляции над произвольными группами DAG, чтобы получить NL = UL, но мы знаем, как это сделать для плоских групп DAG.
м мод рmodm m modp
Рассмотрим класс контуров постоянной глубины, которые состоят только из элементов , а также входов и констант на листьях. Тогда можно легко показать, что функция ИЛИ (например) не может быть вычислена такими схемами, независимо от размера схемы. (Это потому, что любая такая схема вычисляет полином низкой степени над , а степень OR равна ).ф п нmodp Fp n
Однако, если мы рассмотрим схемы, состоящие только из элементов которых имеет по крайней мере два различных простых множителя, для функции ИЛИ существует схема глубины (экспоненциального размера).м 2modm m 2
И до результата Райана был, я думаю, самым маленьким классом, для которого у нас не было приличных нижних границ.AC0[mod6]
источник
Просто чтобы уточнить ваши два момента:
Если мы занимаемся пониманием вычислений, модульный подсчет является одним из рубежей нашего понимания. Модульный счет является одним из самых простых и естественных явлений в вычислениях, но мы, кажется, так мало понимаем в этом. Мы не можем исключить возможность того, что схемы глубины 3 полиномиального размера только с вентилями Mod6 могут вычислять каждую функцию в NP. Предполагается, однако, что такие схемы могут вычислять только функции с большим размером поддержки и, следовательно, не могут вычислять очень простую функцию, такую как AND. На верхней грани ситуация аналогична, у нас нет нетривиальных результатов.
Эти вопросы также очень интересны с чисто математической точки зрения, поскольку они тесно связаны с очень естественными вопросами о полиномах и матрицах над Z_m. Чтобы привести один пример, у нас нет хороших нижних оценок для ранга nxn-диагональной матрицы над Z_6. Кодиагональная матрица имеет 0s на диагонали и ненулевые от диагонали.
источник