Четность и подобны неразлучным близнецам. Или так казалось за последние 30 лет. В свете результатов Райана возобновится интерес к маленьким классам.AC0AC0AC^0 Faxst Saxe Sipser от Yao до Hastad - это все паритетные и случайные ограничения. Разборов / Смоленский является приближенным полиномом с...
Можем ли мы вычислить битный пороговый вентиль по схемам с полиномиальным размером (неограниченным разветвлением) глубиной lg nNnn ? В качестве альтернативы, мы можем посчитать число 1 во входных битах, используя эти схемы?Л.Г.NЛ.Г.Л.Г.Nlgnlglgn\frac{\lg n}{\lg \lg n} Является ли ?Т С0⊆ л т т я...
Прогнозировать фондовый рынок сложно! Может ли TCS сделать это мнение более формальным? Недавно я начал немного думать о финансах, и мне было интересно, как знание TCS может помочь. Хедж-фонды и инвестиционные фирмы, кажется, все время используют алгоритмическую торговлю, машинное обучение и ИИ,...
РЕДАКТИРОВАТЬ в 2011/02/08: После того, как некоторые ссылки были найдены и прочитаны, я решил разделить оригинальный вопрос на два отдельных. Вот часть, касающаяся UP vs NP, для части синтаксических и семантических классов см. Преимущества для синтаксических и семантических классов ....
Меня интересует сложность решения линейных уравнений по модулю k для произвольного k (и с особым интересом к простым степеням), а именно: Проблема. Для данной системы из линейных уравнений по неизвестным по модулю , существуют ли какие-либо решения?н кmmmnnnkkk В аннотации к своей статье Структура...
Моя любимая теорема в теории сложности - это теорема об иерархии времени. Однако это было сделано в 1965 году. Тогда я хотел узнать, есть ли что-нибудь подобное для квантовых вычислений. Кроме того, если нет, что люди / группы работают в этом...
Пусть f(n)f(n)f(n) будет временем выполнения задачи на входе размера в худшем случае nnn. Давайте сделаем задачу немного странной, установив f(n)=n2f(n)=n2f(n) = n^2 для n=2kn=2kn=2k но f(n)=nf(n)=nf(n) = n для n=2k+1n=2k+1n=2k+1 . Итак, какова нижняя граница проблемы? Насколько я понял, это просто...
Существуют ли ссылки, которые предоставляют подробности о нижних границах схем для конкретных сложных задач, возникающих в криптографии, таких как целочисленный факторинг, задача простого / составного дискретного логарифма и ее вариант над группой точек эллиптических кривых (и их абелевых...
Кажется, известно, что для того, чтобы найти ответ на запрос по реляционной базе данных , нужно время , и невозможно избавиться от показателя степени,QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Поскольку может быть очень большим, мы задаемся вопросом, почему базы данных вообще работают на практике.DDD...
Parity-P - это набор языков, распознаваемых недетерминированной машиной Тьюринга, которая может различать только четное число или нечетное число путей «принятия» (а не нулевое или ненулевое число путей принятия). Таким образом, Parity-P - это, в основном, младший брат PP с задержкой роста: в то...
Все ли функции, чей вес Фурье сконцентрирован на множествах малого размера (или членах с низкой степенью), вычисляются по схемам
Знаменитая гипотеза об изоморфизме Бермана и Хартманиса говорит, что все -полные языки полиномиально по времени изоморфны (p-изоморфны) друг другу. Ключевое значение гипотезы является то , что она предполагает P ≠ N P . Она была опубликована в 1977 году, и часть подтверждающих доказательств, что...
ООOC ø N P O ⊆ P S P C E O Oc o N PОP я PОсоNпО⊈япО{\sf coNP}^O \not\subseteq {\sf IP}^Oc o N PО⊆ Р С Р С ЕОсоNпО⊆пSпAСЕО{\sf coNP}^O \subseteq {\sf PSPACE}^OООO Тем не менее, я видел только несколько человек, которые дают «прямое» объяснение того, почему результат не релятивизируется, и обычный...
Меня интересует явная булева функция со следующим свойством: если постоянна в некотором аффинном подпространстве , то размерность этого подпространства равна .е: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) Нетрудно показать, что...
Мафия - популярная ролевая игра на вечеринках, подробное описание доступно на википедии http://en.wikipedia.org/wiki/Mafia_%28game%29 . В основном это работает следующим образом: В начале каждому из игроков тайно отводится роль, связанная либо с мафией, либо с городом. Каждая роль может иметь...
Что известно о точной сложности самой короткой проблемы суперструн? Может ли это быть решено быстрее, чем O∗(2n)O∗(2n)O^*(2^n) ? Существуют ли известные алгоритмы, которые решают кратчайшую суперструну без сокращения до TSP? UPD: подавляет полиномиальные факторы.O∗(⋅)O∗(⋅)O^*(\cdot) Самая короткая...
Я думаю, что было бы неплохо составить список теорем, утверждающих, что P не равен NP, если и только если такие и такие выходы существуют, некоторый класс сложности содержится в другом классе сложности и так далее, и так далее....
Меня интересует следующая проблема: Имеется ли матрица, существует ли неориентированный граф на вершинах, квадрат матрицы смежности которых является этой матрицей?n×nn×nn\times nnnn Известна ли вычислительная сложность этой проблемы? Примечания: Конечно, это также можно сформулировать как задачу...
Пусть F1F1F_1 - выполнимая формула CNF с nnn переменными и mmm предложениями. Пусть SF1SF1S_{F_1} - пространство решений F1F1F_1 . Рассмотрим проблему определения для данной F1F1F_1 другой формулы CNF F2F2F_2с тем же набором переменных, что и для F1F1F_1 , с SF2=SF1SF2=SF1S_{F_2} = S_{F_1} (то же...
Правильно ли я понимаю, что доказательство того, что задача NP завершена, является успехом исследования? Если так, то