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

Два связанных вопроса об ограниченных вычислениях глубины: 1) Предположим, что вы начинаете с n битов, и начинаться с бита i может быть 0 или 1 с некоторой вероятностью p (i) независимо. (Если это упрощает задачу, мы можем предположить, что все p (i) s равны 0,1 или 1/2.или даже то, что …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth 

В статье «Сборник задач, завершенных для P» Гринлоу, Гувера и Руццо (PS) (PDF) , есть список проблем в P, которые, как известно, не находятся в NC и также не известны как P-полные. , (Этот список включает все открытые проблемы в превосходном обзоре Карпа и Рамачандрана .) Список открытых проблем начинается …

20 cc.complexity-theory  open-problem  circuit-complexity 

Согласно (непроверенному) историческому описанию, Колмогоров считал, что каждый язык в имеет линейную сложность схем. (См. Предыдущий вопрос о гипотезе Колмогорова о том, что имеет цепи линейного размера .) Обратите внимание, что из этого следует, что .P P ≠ N PPP\mathsf{P}PPPP≠NPP≠NP\mathsf{P}\neq \mathsf{NP} Гипотеза Колмогорова, однако, видимо, вероятно, потерпит неудачу. Например, Райан …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

Можем ли мы вычислить битный пороговый вентиль по схемам с полиномиальным размером (неограниченным разветвлением) глубиной lg nNnn ? В качестве альтернативы, мы можем посчитать число 1 во входных битах, используя эти схемы?Л.Г.NЛ.Г.Л.Г.Nlg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg n} Является ли ?Т С0⊆ л т т я м е ( О ( Л.Г.NЛ.Г.Л.Г.N) , …

19 cc.complexity-theory  circuit-complexity  circuit-depth 

Существуют ли ссылки, которые предоставляют подробности о нижних границах схем для конкретных сложных задач, возникающих в криптографии, таких как целочисленный факторинг, задача простого / составного дискретного логарифма и ее вариант над группой точек эллиптических кривых (и их абелевых многообразий более высокого измерения) и общие скрытая проблема подгруппы? В частности, имеет …

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

Четность и подобны неразлучным близнецам. Или так казалось за последние 30 лет. В свете результатов Райана возобновится интерес к маленьким классам.AC0AC0AC^0 Faxst Saxe Sipser от Yao до Hastad - это все паритетные и случайные ограничения. Разборов / Смоленский является приближенным полиномом с четностью (хорошо, мод-гейтс). Аспнес и др. Используют слабую …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

В официальном описании проблемы Клея для P против NP он заявил , что будет следовать из показывая , что «каждый язык в Е [класс языков , распознаваемый в экспоненциальное время с детерминированной машиной Тьюринга] может быть вычислено с помощью булева семейства схем < в п > такое , что , …

18 cc.complexity-theory  circuit-complexity 

Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно проверить, равны ли два числа, но я не вижу, как это …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Все ли функции, чей вес Фурье сконцентрирован на множествах малого размера (или членах с низкой степенью), вычисляются по схемам ?AC0AC0\mathsf{AC}^0

18 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

РЕДАКТИРОВАТЬ (22 августа 2011 г.): Я еще больше упрощаю вопрос и назначаю вознаграждение за этот вопрос. Возможно, на этот более простой вопрос будет легко ответить. Я также собираюсь зачеркнуть все части оригинального вопроса, которые больше не актуальны. (Спасибо Стасису Юкне и Райану О'Доннелу за частичный ответ на первоначальный вопрос!) Фон: …

18 cc.complexity-theory  lower-bounds  circuit-complexity 

Я думаю, что теорема об иерархии размеров для сложности схемы может быть главным прорывом в этой области. Это интересный подход к разделению классов? Мотивация вопроса заключается в том, что мы должны сказать есть некоторая функция, которая не может быть вычислена схемами размера и может быть вычислена схемой размера , где …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

Меня интересует явная булева функция со следующим свойством: если постоянна в некотором аффинном подпространстве , то размерность этого подпространства равна .е:0 , 1N→0 , 1е:0,1N→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}ееf о ( п )0 , 1N0,1N\\{0,1\\}^no ( n )о(N)o(n) Нетрудно показать, что симметрическая функция не удовлетворяет этому свойству, рассматривая подпространство A …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

Недетерминированная логическая схема имеет, помимо обычных входов , набор «недетерминированных» входов . Недетерминированная схема принимает вход если существует такой, что выход схемы включен . Аналогично (класс языков, разрешимых схемами полиномиального размера), можно определить как класс языков, разрешимых недетерминированными схемами полиномиального размера. Широко распространено мнение, что недетерминированные схемы являются более мощными, …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

Известно, что минимальный размер цепей, функцию четности, в точности равен . Нижняя оценка доказательства основана на методе исключения ворот.U2U2U_23 ( n - 1 )3(N-1)3(n-1) Недавно я заметил, что метод исключения затвора хорошо работает и для недетерминированных цепей, и мы можем доказать нижнюю границу для размера недетерминированных цепей, вычисляя функцию четности.U2U2U_23 …

17 cc.complexity-theory  reference-request  circuit-complexity 

Нижняя граница Блума 3n−o(n)3N-о(N)3n-o(n) - это лучшая известная нижняя граница схемы по полному базису для явной функции f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} , ср. Юкна ответ на этот вопрос для связанных результатов. Каковы наиболее известные нижние оценки, если диапазон fff равен {0,1}m{0,1}m\{0,1\}^m ? В частности, получаем ли мы что-нибудь лучше …

17 circuit-complexity  lower-bounds