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

Как доказать, что ? Я просто ищу такого оракула TM M и рекурсивный язык L ( M ) = L, для которого это верно.Н ПA≠ c o N PANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMMЛ ( М) = LL(M)=LL(M) = L Я знаю , что доказательство , где вы показываете , что существует оракул …

12 complexity-theory  relativization 

Мне интересно, какова сложность определения пустоты для двусторонних DFA? То есть конечные автоматы, которые могут двигаться назад на своей ленте ввода только для чтения. Согласно Википедии, они эквивалентны DFA, хотя эквивалентный DFA может быть экспоненциально больше. Я обнаружил сложность состояний для их дополнений и пересечений, но не для их проверки …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Мне интересно это на основании нескольких мест в Интернете, которые называют co- серьезной открытой проблемой ... но я не могу найти никаких указаний на то, является ли это тем же, что проблема ...Н П П = Н ПNP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

12 complexity-theory  complexity-classes  p-vs-np 

Я дал множество , целое число , и неотрицательные целые числа . Моя проблема состоит в нахождении непересекающиеся подмножества из такие , что:A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant kaijaija_{ij}sssSjSjS_j{1,…,k}{1,…,k}\{1,\ldots,k\} ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; и |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} для всех и .i∈Sji∈Sji\in S_jj=1,…,sj=1,…,sj=1,\ldots,s Как решить эту проблему? Сложно ли найти реальное решение? Я думаю , что это не …

11 complexity-theory  integer-programming 

Есть ли простой способ понять, почему NP находится в EXPTIME? Мне кажется априори возможным, что может существовать проблема, для решения которой требуется сверхэкспоненциальное время, но решение которой можно проверить за полиномиальное время.

11 complexity-theory  complexity-classes 

Тестовый раунд Google Hash Code 2015 ( формулировка проблемы ) задал вопрос о следующей проблеме: вход: сетка с несколькими отмеченными квадратами, порог , максимальная площадьT ∈ N A ∈ NMMMT∈ NT∈NT \in \mathbb{N}A ∈ NA∈NA \in \mathbb{N} Выход: наибольшая возможная площадь множества непересекающихся прямоугольников с целыми координатами в общей таким …

11 complexity-theory  reductions  np-hard 

Я знаю, что это глупо, но мне удалось запутаться, и мне нужна помощь, чтобы решить эту проблему Предположим, что , тогда ясно, что для каждого оракула имеем что противоречит тому, что существует некоторый оракул для которого , следовательно,P=NPP=NPP=NPAAAPA=NPAPA=NPAP^A=NP^AAAAPA≠NPAPA≠NPAP^A\neq NP^AP≠NPP≠NPP\neq NP Что не так? Спасибо!

11 complexity-theory  p-vs-np  oracle-machines 

Пусть будет некоторой проблемой подсчета, которая известна как # P -Complete .ΠΠ\PiPPP Означает ли это , что является P X -Жесткий (т.е. не PTAS для проблема существует , если P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NпP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Мне интересно, есть ли какие-нибудь -hard проблемы, которые являются «полиномиальными» в среднем случае. Я думаю, что есть два способа интерпретировать это?NпNпNP Если , может ли быть алгоритм, решающий задачу N P -hard, с амортизированным (в среднем случае) временем работы O ( n k ) для константы k ?п≠ Nпп≠NпP \neq …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Меня интересуют свойства класса двудольных графов где все узлы в 3-регулярны, все узлы в 2-регулярны и, Во-первых, это хорошо известный класс графиков? Во- вторых,G(X∪Y,E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3| Есть ли пример неразрешимой вычислительной задачи, ограниченной этим классом двудольных графов?

11 complexity-theory  graph-theory 

Решение проблемы Учитывая булеву формулу , имеет ли ровно одно удовлетворяющее присваивание?ϕϕ\phiϕϕ\phi можно увидеть в , -hard и -hard. Что-нибудь более известно о его сложности?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Согласно статье в Википедии о схемах аппроксимации за полиномиальное время : Все проблемы в FPTAS доступны для фиксированных параметров. Этот результат меня удивляет - эти занятия, похоже, совершенно не похожи друг на друга. FPTAS характеризует проблемы по тому, насколько легко их аппроксимировать, а FPT характеризует проблемы по их сложности относительно …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Учитывая тот факт , что - путь перечисления является # Р-полной задачи, может ли быть эффективные методы , которые вычисляют (или , по меньшей мере , приблизительно) средняя длина - пути без перечисления их? Что если пути разрешены для пересмотра вершин?т с тsssTTtsssTTt Соответствующие результаты на специальных графиках также могут …

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Учитывая заданий , для выполнения каждого задания требуется раз.J 1 , J 2 , . , , , J п Г я > 0 , Т я ∈ NnnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Каждое задание должно быть предварительно обработано и постобработано одной машиной M, которая может обрабатывать только 1 …

11 complexity-theory  reference-request  scheduling 

Например, я знаю, что нерегулярный язык находится в A C 0 . Я хотел бы знать больше примеров, как это.anbnaNбNa^nb^nAC0AС0AC^0

11 complexity-theory  regular-languages  circuits