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

В 1980-х годах Разборов, как известно, показал, что существуют явные монотонные булевы функции (такие как функция CLIQUE), которые требуют экспоненциально большого количества вентилей AND и OR для вычисления. Однако базис {AND, OR} над булевой областью {0,1} является лишь одним примером интересного набора элементов, который не может быть универсальным. Это приводит …

40 lower-bounds  circuit-complexity  circuit-families 

Райан Уильямс только что опубликовал свою нижнюю границу для ACC , класса задач, которые имеют контуры постоянной глубины с неограниченным разветвлением и вентилями AND, OR, NOT и MOD_m для всех возможных m. Что особенного в воротах MOD_m? Они позволяют имитировать арифметику над любым кольцом Z_m. Перед результатом Райана, бросая ворота …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

Я хотел бы спросить о частном случае вопроса « Решение, вычисляет ли данная схема NC 0 перестановку » QiCheng, который остался без ответа. Булева схема называется цепью NC 0 k , если синтаксически каждый выходной вентиль зависит не более чем от k входных вентилей. (Мы говорим, что выходной вентиль g …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

Решетка Поста , описанная Эмилем Постом в 1941 году, в основном представляет собой полную диаграмму включения множеств булевых функций, замкнутых по композиции: например, монотонных функций, линейных функций над GF (2) и всех функций. (Пост не предполагал, что константы 0 и 1 были доступны бесплатно, что сделало его решетку намного более …

22 circuit-families 

Пусть будет функцией, которая отображает схему s- гейта C на n битов и n- битную строку x на C ( x ) . Предположим, что схемы кодируются как ациклическая последовательность назначений k : = g ( i , j ), где i , j , k - метки проводов.C i …

14 cc.complexity-theory  circuit-complexity  circuit-families 

Пусть - мажоритарная функция, т.е. f ( x ) = 1 тогда и только тогда, когда ∑ n i = 1 x i > n / 2 . Мне было интересно, есть ли простое доказательство следующего факта (под «простым» я подразумеваю не полагаться на вероятностный метод, как это сделал Valiant …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

Проще говоря: как соотносятся машины Тьюринга с оракулами и семействами однородных цепей с оракулами? Как последние определяются для получения той же вычислительной модели для данной машины оракула Тьюринга? Это может быть элементарный вопрос, но не очевидно, где искать, и я из тех людей, которым нравится следить за тем, чтобы в …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Я рассматриваю идеи о точных квантовых алгоритмах. В частности, я рассматриваю вероятные ограничения , который состоит из языков, которые можно точно определить с помощью многочастотных семейств квантовых цепей в произвольном множестве конечных элементов.EQPEQP\mathsf{EQP} Квантовое преобразование Фурье (QFT), заданное является знаменитой частью квантовой вычислительной теории. В случае хорошо известно разложение на …

11 quantum-computing  circuit-families