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

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

1
Миры, относительно которых «неуязвимые генераторы» не существуют
Неуязвимые генераторы определяются следующим образом: Пусть RRR - отношение NP, а MMM - машина, которая принимает L(R)L(R)L(R) . Неформально программа является неуязвимым генератором, если на входе 1n1n1^n она создает пары свидетельства экземпляра (x,w)∈R(x,w)∈R(x, w) \in R , где |x|=n|x|=n|x| = n , согласно распределению, при котором любой противник за полиномиальное …
2
Известен ли какой-либо класс сложности, содержащий онлайн-аналоги задач оптимизации?
Известен ли какой-либо класс сложности, содержащий онлайн-аналоги задач оптимизации? Если нет, то как можно определить такой класс? Мы знаем, что у многих проблем есть онлайн-версия: например, онлайн-версия проблемы с упаковкой бункера. Проблемы онлайн сложнее, если судить по их конкурентоспособности. И я не нашел ничего похожего по сложности в зоопарке . …
1
Каковы сложности следующих подмножеств SAT?
Предположим,п≠ NпP≠NPP \neq NP Давайте использовать следующие обозначения для тетратации (то есть. ).яaia{}^iaяа = аa⋅⋅⋅aя разia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | Х | это размер экземпляра х. Пусть L язык,L |е( i ) ≤ | х | < г( я ): = { x ∈ L | ∃ я …
1
Твердость проблемы звездной системы с ограничениями?
Звезда система представляет собой семейство п подмножеств п-элементов , установленных S . Звезда система графическая если есть граф G ( V , E ) таким образом, что Р является семейством окрестностей вершин в G . Это N P -полных , чтобы определить , является ли данная графическая система звезды.FFFSSSG(V,E)G(V,E)G(V,E)FFFGGGNPNPNP Каково …
5
Классы сложности для случаев, отличных от «наихудшего случая»
Есть ли у нас классы сложности, скажем, относительно средней сложности? Например, существует ли (именованный) класс сложности для задач, решение которых занимает ожидаемое полиномиальное время? Другой вопрос рассматривает сложность наилучшего случая , приведенную ниже. Есть ли класс (естественных) проблем, решение которых требует хотя бы экспоненциального времени? Для уточнения, рассмотрим некоторые EXP …
3
Возможно ли внедрение решения для SAT?
Меня интересуют "сложные" отдельные примеры NP-полных задач. Райан Уильямс обсудил проблему SAT0 в блоге Ричарда Липтона . SAT0 спрашивает, имеет ли экземпляр SAT конкретное решение, состоящее из всех 0. Это заставило меня задуматься о создании экземпляров SAT, которые, вероятно, будут «сложными». Рассмотрим экземпляр SAT с предложениями и переменными, где является …
2
NP-полные варианты неразрешимых проблем?
Примеры ограниченных полных вариантов неразрешимых множеств:NпNPNP Ограниченная задача остановки = { | NTM-машина останавливает и принимает течение шагов}М х т( М, х , 1T)(M,x,1t)(M, x, 1^t)MMMИксxxTtt Ограниченная плитка = { | есть плитка квадрата области плитками из }т 2 т( Т, 1T)(T,1t)(T, 1^t)T2t2t^2TTT Ограниченная почтовая проблема соответствия = { | …
3
Явное разделение между конструктивностью во времени и конструктивностью в пространстве?
Покажите функцию которая конструируется в пространстве, но не является временной.е( н )е(N)f(n) Связана ли эта проблема с возможным разделением между классами сложности DTIME (f (n)) и SPACE (f (n))?
1
Исследована ли дерандомизация слегка неоднородных классов, например, BPP / linear?
Под BPP / linear я подразумеваю машины BPP с линейным советом, который выполняет обещание, когда дается «правильный» совет, и дерандомизация должна дать нам, скажем, P / линейный или (SUBEXP / линейный) алгоритм. Если мы используем неоднородные предположения, я думаю, классические результаты должны работать, потому что мы можем «обмануть» неоднородных противников. …
3
Какие есть доказательства того, что
Какие есть доказательства того, что ?c o R P≠ NпcoRP≠NPcoRP \neq NP c o R PcoRPcoRP - это класс языков, для которых существует вероятностная машина Тьюринга, которая работает за полиномиальное время и всегда отвечает Да на входе, принадлежащем языку, и отвечает Нет с вероятностью, по крайней мере, наполовину на входе, …
1
Естественные кандидаты в NP-E и E-NP
С начала 70-х годов известно, что и не равны (потому что не является замкнутым в полиномиальном времени многих одно сокращение, в отличие от ). Однако, насколько мне известно, до сих пор не ясно, является ли один класс подмножеством другого, или они несопоставимы, то есть и оба непусты.NPNP{\bf NP}E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)})EE{\bf E}NPNP{\bf …
1
Какова предполагаемая связь между языками P (PTime) и Type 1 (контекстно-зависимыми)?
Неизвестно, является ли или , гдеP⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP - это множество всех языков, разрешимых за полиномиальное время на детерминированной машине Тьюринга, и CSLCSLCSL - это класс контекстно-зависимых языков, который, как известно, эквивалентен NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) , языкам, выбранным с помощью линейно-ограниченных автоматов. Для многих открытых вопросов существует тенденция к одному ответу …
1
Является ли колмогоровская сложность таблиц истинности проблемы остановки асимптотически известной?
Позволять ЧАСA LTNHALTnHALT_n обозначить строку длины 2N2n2^n соответствует таблице истинности проблемы остановки для входов длины Nnn, Если последовательность колмогоровских сложностей К( HA LTN)K(HALTn)K(HALT_n) мы O ( 1 )O(1)O(1), тогда одна из строк рекомендаций будет использоваться бесконечно часто, и TM с этой жестко закодированной строкой сможет решить ЧАСA L THALTHALT равномерно …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.