Вопросы с тегом «cc.complexity-theory»

P против NP и другие ограниченные ресурсами вычисления.

1
Почему гипотеза лог-ранга использует ранг над реалами?
В сложности связи гипотеза лог-ранга утверждает, что с с ( М) = ( журналr k ( М) )O ( 1 )cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Где - сложность связи а - ранг (в виде матрицы) над реалами.M ( x , y ) r k ( M ) Mс с ( М)cc(M)cc(M)M( …
1
Естественная проблема в
Класс сложности определяется следующим образом (из Википедии ):Sп2S2P\textrm{S}_2^\textrm{P} Язык находится в S P 2, если существует предикат P полиномиального времени, такой чтоLLLSп2S2PS_2^PпPP Если , то существует такой y , что для всех z , P ( x , y , z ) = 1x ∈ Lx∈Lx \in LYyyZzzп( х , …
1
Доказательства в
В разговоре Разборова опубликовано любопытное небольшое заявление. Если ФАКТОРИНГ труден, то маленькая теорема Ферма не доказуема в .S12S21S_{2}^{1} Что такое и почему текущих доказательств нет в ? S 1 2S12S21S_{2}^{1}S12S21S_{2}^{1}
3
Какова самая быстрая из известных симуляций БПП с использованием алгоритмов Лас-Вегаса?
BPPBPP\mathsf{BPP} иZPPZPP\mathsf{ZPP} - два основных класса вероятностной сложности. BPPBPP\mathsf{BPP} - это класс языков, определяемых вероятностными алгоритмами Тьюринга за полиномиальное время, где вероятность возврата неправильного ответа ограничена, т. Е. Вероятность ошибки не превышает1313\frac{1}{3} (для случаев ДА и НЕТ). С другой стороны, алгоритмы ZPPZPP\mathsf{ZPP} можно рассматривать как те вероятностные алгоритмы, которые никогда …
1
Возможно ли, что детерминистская псевдослучайность сильнее параллельности случайности?
Пусть класс BPNC (комбинация и ) будет параллельным алгоритмом глубины логарифма с ограниченной вероятностью ошибки и доступом к случайному источнику (я не уверен, что у него другое имя). Определите класс DBPNC аналогичным образом, за исключением того, что все процессы имеют произвольный доступ к случайному потоку битов, зафиксированному при запуске алгоритма.Н …
1
Балансировка булевой формулы в
Я ищу ссылки на сложность проблемы балансировки булевых формул . В частности, Было ли известно, что булевы формулы могут быть сбалансированы в ?AC0AC0\mathsf{AC^0} Есть ли простое доказательство балансировки булевой формулы в ?AC0AC0\mathsf{AC^0} Под «простым» я подразумеваю доказательство, более простое, чем упомянутое ниже, в частности, я ищу доказательство, которое не зависит …
1
Почему нижние оценки для логических цепей не подразумевают арифметические схемы нижних границ
Мой вопрос заключается в том, почему нижние оценки для логических схем глубины 3 с логическими элементами "и" и "xor" для определителя не подразумевают такие же нижние оценки для арифметических схем над ?ZZ\mathbb{Z} Что не так со следующим аргументом: Пусть - определитель, вычисляющий арифметическую схему, тогда, взяв все переменные mod 2, …
2
Об обратном 3-SAT
Контекст : Каввадиас и Сидери показали, что обратная задача 3-SAT является coNP Complete: если набор моделей для переменных, существует ли формула 3-CNF, такая что является ее точным набором моделей? Возникает формула непосредственного кандидата, которая является соединением всех 3-пунктов, удовлетворяемых всем моделям в .n ϕ ϕϕϕ\phinnnϕϕ\phiϕϕ\phi Поскольку он содержит все 3 …
1
Односторонние ошибки в вероятностных системах доказательств
В большинстве вероятностных систем доказательства (например, теорема PCP) вероятности ошибок обычно определяются на стороне ложноположительных значений, т. Е. Типичное определение может выглядеть так: если то верификатор всегда принимает, но в другом случае вероятность отклонения составляет не менее 1/2.x∈Lx∈Lx \in L Есть ли проблема в том, чтобы допустить ошибку на другой …
1
Является ли
Я не смог найти утверждения, касающегося и N P R P в литературе; указатели будут оценены.MAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Я считаю, что они равны : Машина N P угадывает строку Мерлина, аоракул R P проверяет строку, как Артур.MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}NPNP\mathsf{NP}RPRP\mathsf{RP} : Мерлин угадывает принятие вычислениямашины N P , включая все вызовы, а также …
4
Результаты Oracle на P против BPP
Позвольте быть любой полной проблемой EXP. Тогда Р = Н Р .AAAпA= NпAPA=NPAP^A = NP^A Пусть некоторый оракул , который принимает на счета запросов, М (а ТМ Р) будут делать, и мы можем получить P B ≠ N P B .ВBBMMMпВ≠ NпВPB≠NPBP^B \neq NP^B Вопрос: есть ли у нас аналогичные …
1
Что является мотивацией для определения управляемости с фиксированными параметрами?
Википедия пишет: FPT содержит задачи с фиксированными параметрами, которые можно решить за время для некоторой вычислимой функции . Как правило, эта функция рассматривается как единая экспонента, такая как но определение допускает функции, которые растут еще быстрее. Это важно для большой части ранней истории этого класса. Важнейшей частью определения является исключение …
2
Решение графа гомоморфизма
Решение гомоморфизма графа в общем случае является NP-полным. Существуют ли какие-либо результаты, которые изучают эту проблему, когда лежащие в основе графы имеют алгебраическую структуру (например, выбор гомоморфизмов из графов смежных классов Кэли или Кэли в другие графы также с некоторой определенной структурой)? В дополнение к результатам сложности меня также интересуют …
3
Какой тип автомата Google Turing Doodle?
В честь дня рождения Алана Тьюринга Google опубликовал рисунок, показывающий машину. Что за машина это каракули? Может ли он выражать язык Тьюринга? Существуют очевидные отличия от классической машины Тьюринга: конечная лента, ограничения на то, как можно связать состояние, ... Каракули еще можно найти здесь (Дисплей в правом верхнем углу показывает …
1
Единообразный способ количественного определения «ветвления» в недетерминированных, вероятностных и квантовых вычислениях?
Хорошо известно, что вычисление недетерминированной машины Тьюринга (NTM) представляется в виде дерева конфигураций, основанного на начальной конфигурации. Любой переход в программе представлен ссылкой «отец-ребенок» в этом дереве. Подобные деревья также могут быть построены для визуализации вычислений вероятностных и квантовых машин. (Обратите внимание, что для некоторых целей лучше не рассматривать связанный …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.