Вопросы с тегом «circuit-complexity»

15
Имеет ли

Что произойдет, если мы определим P P A DP P A D{\bf PPAD} таким образом, чтобы вместо схемы времени Тьюринга / машины полисайта схема Тьюринга пространства журналов или схема A C 0A C0{\bf AC^0} кодировали проблему? В последнее время оказалось важным дать более быстрые алгоритмы для обеспечения...

15
Случайная монотонная функция

В статье Разборова-Рудича « Естественные доказательства» , стр. 6, в той части, в которой они обсуждают, что есть «сильные доказательства нижних границ против моделей монотонных схем» и как они вписываются в картину, есть следующие предложения: Здесь проблема не в конструктивности - все свойства,...

14
схема оценки

Известно , что если проблема оценки цепи в N C 1 ? Как насчет A L о г т я м е (Uniform N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Мы знаем, что схемы глубины могут быть оценены схемами глубины k + c, где c - универсальная постоянная. Это...

14
Преобразование Байгеля-Таруи из ACC

Я читаю приложение о АССЕ нижних границах для NEXP в Arora и Барак вычислительной сложности книги. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Одна из ключевых лемм - это преобразование из цепей в полилинейные полиномы над целыми числами с полилогарифмической степенью и...

14
Малые цепи для задачи оценки цепи

Пусть будет функцией, которая отображает схему s- гейта C на n битов и n- битную строку x на C ( x ) . Предположим, что схемы кодируются как ациклическая последовательность назначений k : = g ( i , j ), где i , j , k - метки проводов.C i r c u i t E v a lс , нСярсUяTЕvaLs,N\mathsf{CircuitEval}_{s,...

14
Сложность OR-схемы плотного линейного оператора

Рассмотрим следующую простую модель монотонной схемы: каждый элемент - это просто двоичное ИЛИ. Какова сложность функции где - булева матрица с 0? Может ли он быть рассчитан по линейным размерам OR-цепей?f ( x ) = A x f(x)=Axf(x)=AxA AAn × n n×nn \times nO ( n )O(n)O(n) Более формально, является...

14
Машинная характеристика

SACiSACiSAC^i - это класс задач решения, разрешимых семейством схем глубины с вентилями ИЛИ без ограничений и с вентилями И с ограниченными вентиляторами. Отрицания допускаются только на входном уровне. Известно, что для замкнуто относительно дополнения, а - нет. Кроме того, и, следовательно, имеет...

14
Для чего хороши схемы ограниченной длины?

Можно говорить о ширине дерева булевой схемы, определяя ее как ширину дерева «морализированного» графа на проводах (вершинах), полученного следующим образом: соединяйте провода aaa и ббb всякий раз, когда ббb является выходом затвора, имеющего вход aaa (или наоборот); подключайте провода aaa и ббb...

14
Какова минимальная необходимая глубина снижения NP-твердости SAT?

Как все знают, SAT завершен для сравнению с многозначным сокращением за полиномиальное время. Это все еще полные сокращения wrt много-один.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Мои вопросы: какова минимальная необходимая глубина для сокращений? Более формально, Что наименьшее такое, что SAT - это...

14
Каковы последствия

Язык находится в если существует машина Тьюринга для пространства журналов, которая решает язык с полиномиальным количеством рекомендаций.Л / р о л уL/поLYL/poly Смотрите здесь для получения дополнительной информации: https://en.wikipedia.org/wiki/L/poly Вопрос Каковы последствия ?п⊆L / p o l...

14
VC размерность полиномов над тропическими полукольцами?

Как и в этом вопросе, я заинтересован в BPPBPP\mathbf{BPP} по сравнению с PP\mathbf{P} / polypoly\mathrm{poly} задачи для тропических (max,+)(max,+)(\max,+) и (min,+)(min,+)(\min,+) цепей. Этот вопрос сводится к показу верхних оценок размерности многочленов VC над тропическими полукольцами (см....

14
Сложность монотонной арифметической схемы элементарных симметрических полиномов?

В ККk -й элементарный симметричный полином SNК( х1, … , ХN)SКN(Икс1,...,ИксN)S_k^n(x_1,\ldots,x_n) является суммой всех продуктов различных переменных. Меня интересует сложность монотонной арифметической схемы этого многочлена. Простой алгоритм динамического программирования (как и рис. 1 ниже)...

14
Сколько отрицаний нам нужно для вычисления монотонных функций?

Разборов доказал, что соответствие монотонной функции отсутствует в мП . Но можем ли мы вычислить соответствие, используя схему полиномиального размера с несколькими отрицаниями? Существует ли P / поли схема с O(nϵ)O(nϵ)O(n^\epsilon) отрицаниями, которая вычисляет совпадение? Каков компромисс между...

14
Насколько дорого может быть уничтожение всех длинных путей в DAG?

Мы рассматриваем DAG (ориентированные ациклические графы) с одним исходным узлом sss и одним целевым узлом ttt ; допускаются параллельные ребра, соединяющие одну и ту же пару вершин. - разрез представляет собой набор ребер, удаление уничтожает все - пути по длиннее , чем ; более короткие - пути, а...

14
Можно ли доказать

Результат 1: Теорема Линиала-Мансура-Нисана говорит о том, что вес Фурье функций, вычисленных по схемам сосредоточен на подмножествах малого размера с высокой вероятностью.AC0AC0\mathsf{AC}^0 Результат 2: вес Фурье у сконцентрирован на коэффициенте степени n .PARITYPARITY\mathsf{PARITY}nnn Вопрос:...

14
Обычный против TC0

Согласно Сложности Zoo , и мы знаем, что R e g не может сосчитать, поэтому T C 0 ⊈ R e g . Однако это не говорит, если R e g ⊆ T C 0 или нет. Поскольку мы не знаем N C 1 ⊈ T C 0, мы также не знаем R e g ⊈ T C 0 .Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReграмм\mathsf{Reg}TC0E R...

13
Характеристика сложности цепей для DLogTime и NLogTime

и N L o g T i m e - два самых маленьких класса сложности, которые мы имеем. (Обратите внимание, что логарифмическая иерархия времени L H равна A C 0, и это первые два уровня L H ).DLogTimeDLogTime\mathsf{DLogTime}NLogTimeNLogTime\mathsf{NLogTime}LHLH\mathsf{LH}AC0AC0\mathsf{AC}^0LHLH\mathsf{LH}...

13
Каково эквивалентное определение mP / poly в терминах машины Тьюринга?

P / poly - это класс задач решения, решаемых семейством булевых схем полиномиального размера. В качестве альтернативы его можно определить как машину Тьюринга за полиномиальное время, которая получает строку подсказки, которая имеет полиномиальный размер по n и основана исключительно на размере n....

13
Можно ли использовать случайные ограничения для получения нижней границы для

Существует несколько хорошо известных результатов оценки нижнего предела размера схемы основанных на случайных ограничениях и лемме о переключении .AC0AC0\mathsf{AC^0} Можем ли мы разработать результат леммы о переключении, чтобы доказать нижнюю оценку размера для цепей (аналогично нижним оценкам...