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

Имеет ли означают E = N E ?EXP=NEXPEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E=NEE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

Пусть - неориентированный граф. Разложение V на непересекающиеся подмножества V я называюсь разложением Гамильтон из G , если подграф , индуцированный каждое множество V я либо граф Гамильтон , либо состоит из одного ребра с | V я | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Пример : полный двудольный граф обладает гамильтоновым разложением …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Матрица Мура похожа на матрицу Вандермонда, но имеет слегка измененное определение. http://en.wikipedia.org/wiki/Moore_matrix Какова сложность вычисления определителя заданной n × nn×nn \times n матрицы Мура полного ранга по модулю некоторого целого числа? Можно ли уменьшить определитель Мура с O ( n3)O(n3)O(n^{3}) с использованием методов БПФ до O ( n logaн )O(nloga⁡n)O(n\log^{a}n) …

10 cc.complexity-theory  algebraic-complexity 

Сложно ли приблизить приблизительное дробное хроматическое число на графах с ограниченными градусами?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Я ищу примеры сложных проблем (в NP или более сложных) из информатики, которые могут быть сведены к моделям физических процессов. Например, max-2-sat может быть сведен к минимизации энергии в модели Изинга. Я хотел бы найти больше примеров такого типа сокращения.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Контекст: мы рассматриваем только орграфы. Пусть CYCLE будет языком графов с циклом; это NL-полная проблема. Пусть HASEDGE будет языком графов с хотя бы одним ребром. Тогда не тривиально, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} больше не NL-трудно, в то время как CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} пребывания так. Актуальная проблема: мне интересно, если язык CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Предположим, что - булев язык из конечных строк над . Пусть будет количеством строк в с длиной . Для функции от натуральных чисел до натуральных чисел имеет верхнюю плотность если для всех достаточно больших .{ 0 , 1 } L n L n d ( n ) L d ( …

10 cc.complexity-theory  reference-request  p-hardness 

Язык входит в класс если есть два языка и такие чтоD P L 1 ∈ N P L 2 ∈ c o N P L = L 1 ∩ L 2LLLД ПDPDPL 1 ∈ NпL1∈NPL1 \in NPL 2 ∈ c o NпL2∈coNPL2 \in coNPL = L 1 ∩ L 2L=L1∩L2L …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Для смешанного графа с ребрами E и дугами A найдите совпадение в E, которое минимизирует количество дуг в G / M , где G / M получается из G путем сжатия совпадающих вершин и удаления параллельные дуги.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG Является ли (вариант решения) этой проблемой NP-полной? Было ли это изучено в литературе?

10 cc.complexity-theory  reference-request  graph-theory 

Я читаю превосходный обзорный документ Уотроуса на бумаге по теории квантовой сложности. В нем он заявляет, что было бы удивительно, если бы обнаружилось, что проблема, полная QMA, имеет бессмысленное обещание (т.е. быть языком). Почему это так? Связано ли это с тем фактом, что k-локальная гамильтонова задача является проблемой обетованной? Кроме …

10 cc.complexity-theory  quantum-computing 

Монотонная формула CNF с m членами на n переменных ( ) - это формула вида , где каждый является ИЛИ некоторого подмножества переменных и находятся в диапазоне от до . f ( x 1 , … , x n ) = ⋀ C i C i x 1 , …

10 cc.complexity-theory  circuit-complexity  formulas 

Учитывая , ориентированный граф , и две вершины . Пара простых путей от до является ребром, если они не разделяют ребро.G = ( V, E)гзнак равно(В,Е)G = (V,E)s , t ∈ Vs,T∈Вs,t \in Vп1, р2п1,п2p_1,p_2sssTTt Используя максимальный поток, легко определить, существует ли пара непересекающихся ребер от до . Теперь, есть …

10 cc.complexity-theory  graph-algorithms 

Хотя экспоненциальное разделение между сложностью квантового запроса с ограниченной ошибкой ( Q ( f)Q(f)Q(f) ) и сложностью детерминированного запроса ( Д ( ф)D(f)D(f) ) или сложностью рандомизированного запроса с ограниченной ошибкой ( R ( f)R(f)R(f) ) известно, они применяются только к определенным частичным функциям. Если частичные функции имеют некоторые специальные …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Рассмотрим проблему доминирующего множества в общих графах, и пусть будет количеством вершин в графе. Алгоритм жадного приближения дает гарантию приближения фактора , т. Е. В полиномиальное время можно найти решение такое, что , где - размер минимального доминирующего множества. Есть оценки , показывающие , что мы не можем улучшить зависимость …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness 

Span-программа - это линейно-алгебраический способ задания булевой функции, представленный здесь . Недавно эта модель использовалась, чтобы показать, что метод отрицательного противника обеспечивает точную характеристику (по крайней мере, до ) сложности квантовых запросов.logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Мера сложности, связывающая программы span с квантовой сложностью запроса, - это размер свидетеля. Эта …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity