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

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

2
Есть ли у coNP-complete проблемы субэкспоненциальный размер сертификата?
Если предположить, что NP! = CoNP, то для проблемы полного завершения coNP нет сертификата полиномиального размера. Но как насчет субэкспоненциального размера сертификата? Особенно для coSAT, есть ли субэкспоненциальное доказательство размера, чтобы доказать, что формула неудовлетворительна? Если нет, то каковы отрицательные доказательства? Благодарность
6
«Естественные» разрешимые проблемы, которых нет в NP.
Каждый раз, когда я преподаю NP-Полноту, студенты спрашивают: «Есть ли проблемы, о которых известно, что они не относятся к NP?» Как бы вы ответили? Я обычно даю им неразрешимую проблему в качестве примера, но это часто не очень хорошо получается: (а) если я дам им проблему остановки, они думают, что …
2
Связь между фиксированным параметром и алгоритмом аппроксимации
Фиксированный параметр и аппроксимация - это совершенно разные подходы для решения сложных задач. У них разная мотивация. Приближение ищет более быстрый результат с приближенным решением. Фиксированный параметр ищет точное решение с временной сложностью в терминах экспоненциальной или некоторой функции k и полиномиальной функции n, где n - размер ввода, а …
1
В чем сложность вычисления оптимальных кодов без префиксов при одинаковых частотах?
Хорошо известно, что в худшем случае существует оптимальный алгоритм для вычисления кода Хаффмана за время θ ( н лгн )θ(NЛ.Г.⁡N)\theta(n\lg n) . Это улучшается двумя ортогональными способами: Оптимальные коды без префиксов могут быть вычислены быстрее, если набор различных частот мал (например, имеет размер σσ\sigma ): отсортируйте частоты, используя [Munro and …
5
Твердость проблем FPT
Покрытие Vertex может быть легко уменьшено до Независимого набора и наоборот. Однако в контексте параметризованной сложности Независимый набор сложнее, чем Vertex Cover. Ядро с вершин существует для Vertex Cover, но независимое множество W 1 жестких.2k2k2k Как меняется характер Независимого множества в контексте FPT и почему?
1
Какие языки были успешно криптографически захвачены?
Наблюдение, связанное с асимметричной криптографией, заключается в том, что некоторые функции (как полагают) легко выполнять в одном направлении, но трудно инвертировать. Кроме того, если существует некоторая информация о «ловушке», которая позволяет быстро вычислять обратную операцию, тогда проблема становится кандидатом в схему криптографии с открытым ключом. Классические проблемы люка, ставшие известными …
2
Является ли задача о половинном магическом квадрате NP-полной?
Вот проблема: У нас есть квадрат с несколькими числами от 1..N в некоторых ячейках. Нужно определить, можно ли его завершить до магического квадрата. Примеры: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> …
3
Классы графов с легким гамильтоновым циклом, но NP-сложным TSP
Задача о гамильтоновом цикле (HC) состоит в том, чтобы найти цикл, который проходит через все вершины в данном неориентированном графе. Задача коммивояжера (TSP) состоит в том, чтобы найти цикл, который проходит через все вершины в данном графе, взвешенном по ребрам, и минимизирует общее расстояние, измеренное суммой весов ребер в цикле. …
2
У L есть определение в терминах цепей?
Многие классы сложности, определенные с помощью машин Тьюринга, имеют определения в терминах однородных цепей. Например, P также может быть определен с использованием схем с однородным полиномиальным размером, и аналогично BPP, NP, BQP и т. Д. Могут быть определены с помощью однородных схем. Так есть ли основанное на схеме определение L? …
1
Характеристика сложности цепей для DLogTime и NLogTime
и N L o g T i m e - два самых маленьких класса сложности, которые мы имеем. (Обратите внимание, что логарифмическая иерархия времени L H равна A C 0, и это первые два уровня L H ).DLogTimeDLogTime\mathsf{DLogTime}NLogTimeNLogTime\mathsf{NLogTime}LHLH\mathsf{LH}AC0AC0\mathsf{AC}^0LHLH\mathsf{LH} После прочтения этого вопроса , я стану интересно посмотреть , если разделение …
2
Оценивая мультилинеаризацию арифметической схемы?
Пусть быть мульти-мерный полином с коэффициентами над полем . Мультилинеаризация , обозначаемая , является результатом многократной замены каждого с на . Результат, очевидно, является полилинейным полиномом.р ( х 1 , ... , х п ) F р р х д я д > 1 х Ip(x1,…,xn)p(x_1,\ldots,x_n)FFppp^\hat{p}xdix_i^dd>1d > 1xix_i Рассмотрим следующую …
1
Вычислительная мощность нейронных сетей?
Допустим, у нас есть однослойная прямая нейронная сеть с k входами и одним выходом. Он вычисляет функцию из , довольно легко увидеть, что она имеет по крайней мере ту же вычислительную мощность, что и A C 0 . Просто для удовольствия мы назовем набор функций, вычислимых однослойной нейронной сетью, « …
1
Известен ли размер свидетельства для каждого языка NP, уже известного?
Вопрос возник у меня, когда я получил ответ Даны Мошковиц на другую тему . Пусть будет языком NP , и пусть будет соответствующим отношением NP . Мы знаем, что существует некоторый полином такой, что:LLLрLрLR_Lппp ∀ x ∈ L ,, ∃ ж ∈0 , 1р ( | х | )( x …
2
Многопартийная коммуникационная сложность «Задача разделения раздела»
В рассматриваемом приложении мне необходимо знать сложность связи следующей проблемы: Для данного пусть S будет множеством целых чисел от 1 до n . Алиса, Боб и Кэрол каждый получает подмножество S , обозначенное A , B и C соответственно. Они хотят , чтобы проверить , является ли , B и …
3
Является ли проблема 3-сфера распознавания NP-полной?
Известно, что определение того, является ли данное триангулированное 3-многообразие 3-сферой, входит в NP посредством работы Сола Шлеймера в 2004 году: «Распознавание сфер лежит в NP» arXiv: math / 0407047v1 [math.GT] . Я задаюсь вопросом, было ли это установлено, чтобы быть законченным NP за прошлые пять или шесть лет? Аналогичные задачи, …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.