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

10
Перечисление всех пар непересекающихся путей

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

10
Кратчайшая формула для n-членного монотонного CNF

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

10
Почему QMA должны решать проблемы, обещающие проблемы?

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

10
Нахождение соответствия, сжатие которого минимизирует количество дуг в графе

Для смешанного графа с ребрами 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 Является ли (вариант решения) этой...

10
Плотность P-полных языков

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

10
Вариант Критического САТ в ДП

Язык входит в класс если есть два языка и такие что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 = L1 \cap L2 Канонической -полной проблемой является SAT-UNSAT: учитывая два выражения 3-CNF, и , верно ли, что выполнимо,...

10
Когда свойство FO убивает NL-твердость?

Контекст: мы рассматриваем только орграфы. Пусть CYCLE будет языком графов с циклом; это NL-полная проблема. Пусть HASEDGE будет языком графов с хотя бы одним ребром. Тогда не тривиально, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} больше не NL-трудно, в то время как...

10
Неконструируемые функции и аномальные результаты

В книге Арора-Барак, в определении функций, способных к построению по времени, говорится, что использование функций, которые не могут быть построены по времени, может привести к «аномальным результатам». У кого-нибудь есть пример такого "аномального результата"? В частности, я слышал, что могут...

10
Сведение трудных задач к физическим моделям

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

10
Определитель обобщенной матрицы Вандермонда

Матрица Мура похожа на матрицу Вандермонда, но имеет слегка измененное определение. http://en.wikipedia.org/wiki/Moore_matrix Какова сложность вычисления определителя заданной n × nn×nn \times n матрицы Мура полного ранга по модулю некоторого целого числа? Можно ли уменьшить определитель Мура с O (...

10
Гамильтонова проблема решения разложения

Пусть - неориентированный граф. Разложение 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
Единообразный способ количественного определения «ветвления» в недетерминированных, вероятностных и квантовых вычислениях?

Хорошо известно, что вычисление недетерминированной машины Тьюринга (NTM) представляется в виде дерева конфигураций, основанного на начальной конфигурации. Любой переход в программе представлен ссылкой «отец-ребенок» в этом дереве. Подобные деревья также могут быть построены для визуализации...

10
Что является мотивацией для определения управляемости с фиксированными параметрами?

Википедия пишет: FPT содержит задачи с фиксированными параметрами, которые можно решить за время для некоторой вычислимой функции . Как правило, эта функция рассматривается как единая экспонента, такая как но определение допускает функции, которые растут еще быстрее. Это важно для большой части...

10
Решение графа гомоморфизма

Решение гомоморфизма графа в общем случае является NP-полным. Существуют ли какие-либо результаты, которые изучают эту проблему, когда лежащие в основе графы имеют алгебраическую структуру (например, выбор гомоморфизмов из графов смежных классов Кэли или Кэли в другие графы также с некоторой...

10
Какой тип автомата Google Turing Doodle?

В честь дня рождения Алана Тьюринга Google опубликовал рисунок, показывающий машину. Что за машина это каракули? Может ли он выражать язык Тьюринга? Существуют очевидные отличия от классической машины Тьюринга: конечная лента, ограничения на то, как можно связать состояние, ... Каракули еще можно...

10
Результаты Oracle на P против BPP

Позвольте быть любой полной проблемой EXP. Тогда Р = Н Р .AAAпA= NпAPA=NPAP^A = NP^A Пусть некоторый оракул , который принимает на счета запросов, М (а ТМ Р) будут делать, и мы можем получить P B ≠ N P B .ВBBMMMпВ≠ NпВPB≠NPBP^B \neq NP^B Вопрос: есть ли у нас аналогичные результаты оракула для P...

10
Является ли

Я не смог найти утверждения, касающегося и N P R P в литературе; указатели будут оценены.MAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Я считаю, что они равны : Машина N P угадывает строку Мерлина, аоракул R P проверяет строку, как Артур.MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq...

10
Односторонние ошибки в вероятностных системах доказательств

В большинстве вероятностных систем доказательства (например, теорема PCP) вероятности ошибок обычно определяются на стороне ложноположительных значений, т. Е. Типичное определение может выглядеть так: если то верификатор всегда принимает, но в другом случае вероятность отклонения составляет не...