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

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

1
Монотонная сложность вычислительных функций на разреженных входах
Вес |x||x||x|двоичной строки x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n - количество единиц в строке. Что произойдет, если мы заинтересованы в вычислении монотонной функции на входах с несколькими из них? Мы знаем, что решить, имеет ли граф клик, сложно для монотонных цепей (см., Среди прочего, Alon Boppana, 1987), но если граф имеет, например, не более k …
2
Теорема об иерархии для отношений аппроксимации?
Как хорошо известно, задачи NP-hard оптимизации могут иметь много разных коэффициентов аппроксимации, начиная от PTAS и заканчивая отсутствием аппроксимации ни по одному фактору. Между ними у нас есть различные константы, , и т. Д.p o l y ( n )O ( журналн )O(log⁡n)O(\log n)р о л у( н )poly(n)poly(n) Что …
1
Oracle, относительно которого не содержится в
Зоология сложности Грега Куперберга утверждает, что существует такой язык XXX , что BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - другими словами, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - но не дает ссылку на этот результат. Почему это так? Или где найти доказательство? Этот вопрос частично мотивирован моим ответом на вопрос «Что известно о интерактивных доказательствах …
1
Уникальные SAT против ровно
Уникальная SAT является хорошо известной проблемой: учитывая формулу CNF , верно ли, что F имеет ровно одну модель?FFFFFF Меня интересует проблема «точно -SAT»: учитывая формулу CNF F и целое число m > 1 , правда ли, что F имеет ровно m моделей?мmmFFFm > 1m>1m>1FFFmmm Обе проблемы выглядят одинаково. Итак, мои …
2
Четность
является класс схем полиномиального размера постоянной глубины с не воротами и неограниченным вентилятором-в И и ИЛИ воротах, где входы и ворота также имеют неограниченное разветвление.A C0AC0AC^0 Теперь рассмотрим новый класс, назовите его который похож на A C 0, но для которого входы и вентили имеют разветвление не более O ( …
1
Оптимальный алгоритм сортировки по количеству свопов
Учитывая последовательность из чисел, можно ли ее отсортировать с помощью O ( n ln n ) сравнений и O ( n ) перестановок / ходов? Любой указатель на публикации по этому вопросу или контраргументы, показывающие нижнюю границу Ω ( n ln n ) , поможет.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)
2
Модальная логика, аксиоматизированная с глубиной вложения, которая вряд ли будет в PSPACE?
Я ищу модальные логики, которые аксиоматизируются конечным набором аксиом глубины модальной вложенности, и чья проблема выполнимости / выводимости вряд ли будет в PSPACE. Без ограничения глубины модального вложения это не проблема, см., Например, PDL. Но, по-видимому, при доказательстве, например, EXPTIME-твердости путем снижения до некоторой проблемы плиточности или проблемы приемлемости для …
1
NP-твердость частного случая нумерации
Рассмотрим следующую проблему: Учитывая набор из положительных чисел { a 1 , … , a n }, в которых k ≥ 3 является константой, мы хотим разбить набор на m подмножеств размера k так, чтобы произведение суммы каждого подмножества максимальноn=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk Эта …
3
NP-сложные задачи на рефератах
Этот вопрос похож на NP-сложные задачи на деревьях : Существует большое количество NP-полных задач, которые можно отследить на рефератах . Есть ли какие-либо известные проблемы, которые остаются NP-полными, если они ограничены Cographs? Чтобы быть более точным, меня интересуют примеры, в которых входные данные состоят исключительно из неориентированного, невзвешенного реферата . …
1
Измерение случайности формул CNF
Широко известно, что формулы CNF можно условно разделить на 2 широких класса: случайный и структурированный. Структурированные формулы CNF, в отличие от случайных формул CNF, демонстрируют некоторый порядок, демонстрируя паттерны, которые вряд ли могут произойти случайно. Тем не менее, можно найти структурированные формулы, показывающие некоторую степень случайности (т.е. определенные конкретные группы …
2
Какое точное определение Random K-SAT?
Есть 4 различных ограничения, которые мы можем иметь при определении Random K-SAT. 1) Общее количество литералов в заданных предложениях в точности равно K или AT большинству K 2) Данный литерал может использоваться с заменой или без замены в одном и том же предложении (A или A или A) 3) Данная …
1
Улучшена нижняя граница сложности монотонной схемы идеального соответствия?
Разборов доказал, что каждая монотонная схема, которая вычисляет функцию идеального соответствия для двудольных графов, должна иметь как минимум вентилей (он назвал это «логическим перманентом»). Была ли лучшая оценка снизу для той же проблемы доказана с тех пор? (скажем 2 n ϵ ?) Насколько я помню, эта проблема была открыта в …
2
Минимальные максимальные решения ЛП
Линейное программирование, конечно, в настоящее время очень хорошо понято. У нас много работы, которая характеризует структуру возможных решений и структуру оптимальных решений. У нас сильная двойственность, многовременные алгоритмы и т. Д. Но что известно о минимальных максимальных решениях ЛП? Или, что эквивалентно, максимальные минимальные решения? (Это на самом деле не …
2
Какова связь между QMA и AM?
Я читал в СП Иордане, Д. Госсе, «PJ Лява -полных задачи для stoquastic гамильтонианов и матриц МарковаQ MAQMAQMA » , что маловероятно , что .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Я был удивлен этим утверждением. Итак, каковы правильные отношения между и A M ?Q MAQMAQMAА МAMAM
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.