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

Сложность схемы - это исследование схем с ограниченными ресурсами и функций, вычисляемых такими схемами.

2
Состояние нижних границ контуров для контуров глубины, ограниченных полилогом
Сложность схемы с ограниченной глубиной является одной из основных областей исследования в теории сложности схемы. Эта тема имеет происхождение в результатах типа «функция четности не в » и « функция mod не вычисляется », где - класс языков, разрешимых по неоднородности, постоянной глубине, полиномиальному размеру, неограниченному разветвлению AND, OR, NOT …
2
PARITY в QAC_0 (если это имеет смысл)
Как хорошо известно, PARITY не может быть выполнено в многоразмерных схемах с постоянной глубиной, и на самом деле схемы с постоянным углублением требуют количества входов EXP. А как насчет схем QUANTUM? а) Можно ли выполнить PARITY с помощью квантового контура, который имеет постоянную глубину и число ворот? б) Мой вопрос …
1
Булевы функции, где чувствительность равна блочной чувствительности
Некоторая работа по чувствительности против чувствительности блоков была направлена ​​на изучение функций с максимально большим промежутком между и , чтобы развить гипотезу, что только полиномиально больше, чем . Как насчет противоположного направления? Что известно о функциях, где ?s(f)s(f)s(f)bs(f)bs(f)bs(f)bs(f)bs(f)bs(f)s(f)s(f)s(f)s(f)=bs(f)s(f)=bs(f)s(f) = bs(f) Тривиально, постоянные функции имеют . Также тривиально, любая функция с …
1
Является ли BPP vs. P реальной проблемой после того, как мы знаем, что BPP лежит в P / poly?
Мы знаем (на данный момент около 40 лет, спасибо Адлеману, Беннету и Джиллу), что включение BPP P / poly и еще более сильное BPP / poly P / poly имеют место. «/ Poly» означает, что мы работаем неравномерно (отдельная схема для каждой входной длины ), в то время как P …
2
Количество двоичных элементов, необходимых для одновременного вычисления И и ИЛИ из n входных битов
Какое минимальное количество двоичных вентилей необходимо для вычисления И и ИЛИ из входных битов одновременно? Тривиальная верхняя граница . Я считаю, что это оптимально, но как это доказать? Стандартный метод устранения строба здесь не работает, так как, присваивая константу любой из входных переменных, можно тривиализировать один из выходных данных.2 n …
5
Более сильные понятия униформизации?
Единственный пробел, который я всегда осознавал, что я на самом деле не понимаю, - это неравномерная и равномерная вычислительная сложность, где сложность схемы представляет собой неоднородную версию, а машины Тьюринга - это вещи, которые являются однородными. Я предполагаю, что «равномерный» - это способ ограничить класс алгоритмов, например, не допуская совершенно …
3
Какие
Знаменитая картина мира Нила Иммермана выглядит следующим образом (нажмите, чтобы увеличить): Его «действительно выполнимый» класс не включает другого класса; мой вопрос тогда: Что такое проблема AC 0, которая считается непрактичной и почему?
1
Оракулярное разделение между много- и логарифмическими квантовыми цепями
Следующая проблема появляется в списке Ааронсона « Десять полуградовых вызовов для теории квантовых вычислений» . IsB Q P = B P PB Q N CВQпзнак равноВппВQNС\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} р о л у л о г (п) В В Р В Р Р Б В Н С Другими словами, может ли «квантовая» часть …
1
Динамическое программирование никогда не бывает слабее, чем Greedy?
В сложности схемы у нас есть разделения между степенями различных моделей схемы. В сложности доказательства мы имеем разделения между степенями различных систем доказательства. Но в алгоритмическом у нас все еще есть только несколько разделений между степенями алгоритмических парадигм . Мои вопросы ниже направлены на то, чтобы затронуть эту последнюю проблему …
1
наименьший размер цепи с использованием вентилей XOR
Предположим, нам дан набор из n булевых переменных x_1, ..., x_n и набора из m функций y_1 ... y_m, где каждый y_i является XOR (заданного) подмножества этих переменных. Цель состоит в том, чтобы вычислить минимальное количество операций XOR, которое необходимо выполнить для вычисления всех этих функций y_1 ... y_m. Обратите …
1
Любой многочлен, который трудно сосчитать, но легко решить?
Каждая монотонная арифметическая схема , то есть -цепь, вычисляет некоторый многомерный многочлен с неотрицательными целыми коэффициентами. Учитывая полином , схема{+,×}{+,×}\{+,\times\}f ( x 1 , … , x n )F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n)f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) вычисляет если выполняется для всех ; F ( a ) = f ( a ) a ∈ N nfffF(a)=f(a)F(a)=f(a)F(a)=f(a)a∈Nna∈Nna\in \mathbb{N}^n считает …
1
Имеет ли
Что произойдет, если мы определим P P A DP P A D{\bf PPAD} таким образом, чтобы вместо схемы времени Тьюринга / машины полисайта схема Тьюринга пространства журналов или схема A C 0A C0{\bf AC^0} кодировали проблему? В последнее время оказалось важным дать более быстрые алгоритмы для обеспечения удовлетворительности схемы для …
1
Характеристика одноразовых формул по полному двоичному базису
Фон Формула однократного чтения для набора элементов (также называемая базисом) - это формула, в которой каждая входная переменная появляется один раз. Формулы однократного чтения обычно изучаются на основе де Моргана (которая имеет 2-битные логические элементы И и ИЛИ, и 1-битный вентиль НЕ) и полной двоичной базе данных (которая имеет все …
1
Поддержание порядка в списке в за раз
Задача обслуживания заказа (или «поддержание заказа в списке») заключается в поддержке операций: singleton: создает список с одним элементом, возвращает указатель на него insertAfter: дает указатель на элемент, вставляет новый элемент после него, возвращает указатель на новый элемент delete: дает указатель на элемент, удаляет его из списка minPointer: при наличии двух …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.