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

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

1
Отличается ли
Можем ли мы доказать, что для любого языка который не является N P- трудным (предполагается, что P ≠ N P ), P L ≠ P SAT ? С другой стороны, это может быть доказано при любых разумных предположениях?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
1
Подразумевает ли теорема Каннана, что NEXPTIME ^ NP ⊄ P / poly?
Я читал статью Бермана и Гомера «Суперполиномиальные цепи, почти разреженные оракулы и экспоненциальная иерархия» . В нижней части страницы 2 они отмечают, что результаты Каннана подразумевают, что NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} не имеет цепей полиномиального размера. Я знаю, что в экспоненциальной иерархии времени NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} является просто Σ2EXPΣ2EXP\Sigma_2EXP , и я также знаю, что …
1
APX Твердость подразумевает отсутствие QPTAS?
Таким образом, быстрый поиск в сети привел меня к мысли, что «APXHardness подразумевает, что для проблемы не существует QPTAS, если [некоторый класс сложности] не включен в некоторый [другой класс сложности]», и это тоже хорошо известно! Кажется, все это знают, кроме меня. К сожалению, нет никаких ссылок в поддержку этого утверждения. …
1
как оракул
Имеет ли NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}удерживать? Ясно, что NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , но мне кажется, что NP∩coNPNP∩coNP\mathsf{NP\cap coNP} является «детерминированным», что заставляет меня верить, что это правда. Есть ли простое доказательство (или, может быть, просто по определению)?
1
Выражение определителя как постоянного
Одной из основных проблем в TCS является проблема выражения перманента в качестве детерминанта. Я читал статью Агравала « Детерминант против перманента», и в одном абзаце он утверждает, что обратная проблема проста. Легко видеть , что определитель матрицы может быть выражен как перманент соответствующей матрицы X , элементы которой х я …
3
NP-полный граф свойство, которое является наследственным, но не аддитивным?
Свойство графа называется наследственным, если оно замкнуто относительно удаления вершин (т. Е. Все индуцированные подграфы наследуют это свойство). Свойство графа называется аддитивным, если оно замкнуто относительно взятия непересекающихся объединений. Нетрудно найти свойства, которые являются наследственными, но не аддитивными. Два простых примера: \;\;\; (1) График полон. \;\;\; (2) Граф не содержит …
2
Какова сложность этой проблемы пути?
Экземпляр: неориентированный граф с двумя выделенными вершинами s ≠ t и целым числом k ≥ 2 .GGGs≠ts≠ts\neq tk≥2k≥2k\geq 2 Вопрос: существует ли путь в G , такой, что путь касается не более k вершин? (Вершина затрагивается путем, если вершина находится либо на пути, либо имеет соседа на пути.)s−ts−ts-tGGGkkk
1
Класс сложности этой проблемы?
Я пытаюсь понять, к какому классу сложности относится следующая проблема: Экспонирующая полиномиальная корневая проблема (EPRP) Пусть - многочлен с deg ( p ) ≥ 0 с коэффициентами, взятыми из конечного поля G F ( q ), где q - простое число, а r - примитивный корень для этого поля. Определите …
4
Начните изучать сложность доказательства
Недавно я начал много читать о сложности доказательств, и мне очень понравилось то, что я читал. Я действительно хотел бы узнать больше об этом, но мне трудно найти хороший материал для начинающих. Кто-нибудь сможет порекомендовать некоторые основы?
1
Известно ли, что распад
Содержится в-между каждым уровнем многочлена иерархии различные классы сложности, в том числе ΔPiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k , и ΣPi∩ΠPiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . Из-за отсутствия лучшей терминологии я буду ссылаться на эти и любые другие как промежуточные классы между уровнями iii и i+1i+1i+1 в иерархии полиномов. Для целей этого вопроса, …
1
Минимизация остаточных конечных автоматов
Остаточные автоматы в конечном состоянии (RFSA, определенные в [DLT02]) - это NFA, которые имеют некоторые общие черты с DFA. В частности, для каждого обычного языка всегда существует канонический RFSA минимального размера, а язык, распознаваемый каждым государством в RFSA, является остаточным, как и в DFA. Однако, хотя минимальные состояния DFA формируют …
1
Эффективный алгоритм существования перестановки с последовательностью разностей?
Этот вопрос мотивирован этим постом, Можете ли вы определить сумму двух перестановок за полиномиальное время? и мой интерес к вычислительным свойствам перестановок. Разностная последовательность перестановки чисел формируется путем нахождения разности между каждыми двумя соседними числами в перестановке . Другими словами,a1,2, ...Na1,a2,…ana_1, a_2, \ldots a_n1 , 2 , … n + …
2
Разрушается ли иерархия
Знаем ли мы, что иерархия не разрушается ( T C 0 d ⊊ T C 0 d + 1 для всех d )?Т С0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd В записи Zoo для TC0TC0\mathsf{TC^0} упоминается только расстояние между глубиной 2 и 3. Кроме того, есть стандартная ссылка на тот факт , что С …
2
Сложность конечных состояний частичных информационных игр
Учитывая детерминированную игру с нулевой суммой частичной информации только с конечным числом состояний, чьи возможные результаты [проиграть, сыграть, выиграть] со значениями [-1,0, + 1] соответственно, какова сложность аппроксимации значения такого игра аддитивно в ?ϵϵ\epsilon В частности, я не могу придумать какой-либо алгоритм для этого. Остальная часть этого поста целиком посвящена …
1
Какая связь между
Какая связь между PLSPLS\mathsf{PLS} и APXAPX\mathsf{APX} ? Другими словами, аппроксимируются ли задачи, допускающие локальный поиск за полиномиальное время? Означают ли приближенные задачи оптимизации алгоритм локального поиска вообще?
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.