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

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

2
Является ли проблема множества вершин обратной связи разрешимой за полиномиальное время для 3-градусных ограниченных графов?
Набор вершин обратной связи NP-полон для общих графов. Известно, что он является NP-полным для ограниченных графов степени 8 из-за сокращения от покрытия вершины. В статье в Википедии говорится, что она разрешима по времени для ограниченных графов степени 3 и является NP-полной для ограниченных графов степени 4. Но я нигде не …
3
Сложность решения, является ли матрица полностью регулярной
Матрица называется вполне регулярной, если все ее квадратные подматрицы имеют полный ранг. Такие матрицы использовались для построения суперконцентраторов. В чем сложность решения, является ли данная матрица полностью регулярной по рациональным числам? Над конечными полями? В более общем смысле , назовем матрицу полностью -регулярной, если все ее квадратные подматрицы размером не …
1
Является ли решение систем уравнений по модулю
Меня интересует сложность решения линейных уравнений по модулю k для произвольного k (и с особым интересом к простым степеням), а именно: Проблема. Для данной системы из линейных уравнений по неизвестным по модулю , существуют ли какие-либо решения?н кmmmnnnkkk В аннотации к своей статье Структура и важность классов logspace-MOD для классов …
1
Существует ли лучшая нижняя граница для факторинга и дискретного логарифмирования?
Существуют ли ссылки, которые предоставляют подробности о нижних границах схем для конкретных сложных задач, возникающих в криптографии, таких как целочисленный факторинг, задача простого / составного дискретного логарифма и ее вариант над группой точек эллиптических кривых (и их абелевых многообразий более высокого измерения) и общие скрытая проблема подгруппы? В частности, имеет …
2
Минимальные неудовлетворительные формулы 3-CNF
В настоящее время я заинтересован в получении (или построении) и изучении формул 3-CNF, которые являются неудовлетворительными и имеют минимальный размер. То есть они должны состоять из как можно меньшего числа предложений (предпочтительно m = 8) и как можно меньшего числа различных переменных (n = 4 или более), чтобы удаление хотя …
4
Каково «правильное» определение верхних и нижних границ?
Пусть 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 . Итак, какова нижняя граница проблемы? Насколько я понял, это просто нижняя граница f(n)f(n)f(n) . Но мы знаем, что f(n)=Ω(n2)f(n)=Ω(n2)f(n) …
4
Вычислительная сложность в количественном финансировании
Прогнозировать фондовый рынок сложно! Может ли TCS сделать это мнение более формальным? Недавно я начал немного думать о финансах, и мне было интересно, как знание TCS может помочь. Хедж-фонды и инвестиционные фирмы, кажется, все время используют алгоритмическую торговлю, машинное обучение и ИИ, но результатов TCS, похоже, немного. В частности, я …
5
Почему реляционные базы данных работают вообще, учитывая теоретическую экспоненциальную сложность поиска ответов (в размере запроса)?
Кажется, известно, что для того, чтобы найти ответ на запрос по реляционной базе данных , нужно время , и невозможно избавиться от показателя степени,QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Поскольку может быть очень большим, мы задаемся вопросом, почему базы данных вообще работают на практике.DDD Является ли это просто вопросом обычных запросов, которые вообще не велики …
1
Последствия UP равняются NP
РЕДАКТИРОВАТЬ в 2011/02/08: После того, как некоторые ссылки были найдены и прочитаны, я решил разделить оригинальный вопрос на два отдельных. Вот часть, касающаяся UP vs NP, для части синтаксических и семантических классов см. Преимущества для синтаксических и семантических классов . UPUP\mathsf{UP} (однозначное полиномиальное время, см. вики и зоопарк для ссылок) …
4
Паритет и
Четность и подобны неразлучным близнецам. Или так казалось за последние 30 лет. В свете результатов Райана возобновится интерес к маленьким классам.AC0AC0AC^0 Faxst Saxe Sipser от Yao до Hastad - это все паритетные и случайные ограничения. Разборов / Смоленский является приближенным полиномом с четностью (хорошо, мод-гейтс). Аспнес и др. Используют слабую …
1
Визуализация уникальных игр
Как бы вы нарисовали картинку, чтобы проиллюстрировать уникальную игру? Это для презентации «Текущие события» по уникальным играм на следующем совместном собрании AMS и для выпуска буклета. Пример вида иллюстраций, выполненных в прошлом, находится на http://www.ams.org/meetings/lectures/current-events-bulletin и если вы нажмете на издание 2006 года, вы увидите картинку, которую Мадху Судан использовал …
3
Существует ли квантовый эквивалент теоремы иерархии времени?
Моя любимая теорема в теории сложности - это теорема об иерархии времени. Однако это было сделано в 1965 году. Тогда я хотел узнать, есть ли что-нибудь подобное для квантовых вычислений. Кроме того, если нет, что люди / группы работают в этом направлении!
2
Есть ли какие-нибудь неполные эвристические проблемы с NP?
Существуют ли какие-либо NP-полные проблемы с бесконечным подмножеством экземпляров такие, что принадлежность к может быть решена за полиномиальное время, и для всех , может быть решена за полиномиальное время? (Предполагая )ΦΦ\Phix ∈ Φ x P ≠ N PΦΦ\Phix ∈ Φx∈Φx \in \PhiИксxxп≠ NпP≠NPP \neq NP
2
Доказательство того, что верхние границы схемы для
В официальном описании проблемы Клея для P против NP он заявил , что будет следовать из показывая , что «каждый язык в Е [класс языков , распознаваемый в экспоненциальное время с детерминированной машиной Тьюринга] может быть вычислено с помощью булева семейства схем < в п > такое , что , …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.