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

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

2
Класс сложности, соответствующий сортировке
Две части TCS - это алгоритмы и сложность. Я упрощенно скажу, что алгоритмы - это исследование верхних границ, показывающее, что вы можете что-то сделать (с заданными ограниченными ресурсами), а сложность заключается в том, чтобы показать, что вы не можете сделать это без каких-либо минимальных ресурсов. Очень часто алгоритмическая проблема формулируется …
2
Пространственно-временной компромисс и лучший алгоритм
Рассмотрим такой язык LLL , что: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) и так что L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Другими словами, самая быстрая машина вычисляет за время а наиболее экономичная машина вычисляет при использовании пространства .MMMLLLO(f(n))O(f(n))O(f(n))M′M′M'LLLO(g(n))O(g(n))O(g(n)) Что можно сказать о пространственной эффективности М или временной эффективности М '? Или, точнее, …
4
Подсчет количества покрытий вершин: когда это сложно?
Рассмотрим # P-полную задачу подсчета числа покрытий вершин данного графа .G=(V,E)G=(V,E)G = (V, E) Я хотел бы знать, есть ли какой-либо результат, показывающий, как сложность такой проблемы изменяется с некоторым параметром (например, d = | E |GGG).d=|E||V|d=|E||V|d = \frac{|E|}{|V|} У меня такое ощущение, что проблема должна быть легче, когда разрежена, …
2
# P-полная проблема, чья версия решения находится в P
1) Возможно ли экономное сокращение от # P-полной задачи #A до проблемы подсчета #B, когда (версия решения) A является NP-полной, а B находится в P? Например, может ли быть экономное сокращение от #SAT до #B, когда B находится в P? 2) Если B находится в P, каковы различные возможности для …
3
Сложность проверки, имеют ли два CNF одинаковое количество решений
Учитывая два CNF, если они имеют одинаковое количество назначений, чтобы сделать их правдой, ответьте «Да», в противном случае ответьте «Нет». Легко увидеть, что это в P#PP#PP^{\#P} , поскольку, если мы знаем точное число решений этих двух CNF, мы просто собираем их и отвечаем «Да» или «Нет». В чем сложность этой …
1
Машинная характеристика
SACiSACiSAC^i - это класс задач решения, разрешимых семейством схем глубины с вентилями ИЛИ без ограничений и с вентилями И с ограниченными вентиляторами. Отрицания допускаются только на входном уровне. Известно, что для замкнуто относительно дополнения, а - нет. Кроме того, и, следовательно, имеет машинную характеристику, поскольку LogCFL - это набор языков, …
1
Обнаружение целочисленных отношений для Подмножества Сумм или АЭС?
Есть ли способ закодировать экземпляр суммы подмножества или проблему разбиения числа так, чтобы (небольшое) решение целочисленного отношения дало ответ? Если не точно, то в каком-то вероятностном смысле? Я знаю, что LLL (и, возможно, PSLQ) использовались с умеренным успехом в решении задач Subset Sum в области «низкой плотности», где диапазон выбранных …
2
Нижние границы на #SAT?
Проблема #SAT является канонической # P-полной проблемой. Это скорее функциональная проблема, чем проблема решения. При булевой формуле в пропозициональной логике спрашивается, сколько удовлетворяющих заданий имеет. Каковы лучшие нижние границы на #SAT?FFFFFF
1
Какие классические статьи из области теории рекурсии теории сложности?
Две статьи, которые я бы включил: Д. Козен, "Индексация субрекурсивных классов" , STOC, 1978. Р. Лэднер, "О структуре полиномиальной временной сводимости" , JACM, 1975.
3
Существует ли аналог теории теоремы Райса в теории вычислимости?
Теорема Райса утверждает, что каждое нетривиальное свойство множества, распознаваемое некоторой машиной Тьюринга, неразрешимо. Я ищу теорему о сложности теории Райса, которая говорит нам, какие нетривиальные свойства NP-множеств неразрешимы.
3
Насколько сложно свести окончание к частичной корректности?
Если вы знакомы с проверкой программы, вы, скорее всего, предпочтете прочитать Вопрос перед тем, как начать . Если вы не знакомы с проверкой программы, возможно, вы все равно сможете ответить на этот вопрос, но, скорее всего, вы предпочтете сначала прочитать справочную информацию . Фон Часто утверждается, что проверка частичной правильности …
5
Должны ли сокращения сделать нас более или менее оптимистичными в отношении возможности решения проблемы?
Мне кажется, что большинство теоретиков сложности обычно верят в следующее философское правило: Если мы не можем найти эффективный алгоритм для задачи и можем свести проблему A к проблеме B , то, вероятно, эффективного алгоритма для проблемы B тоже нет.AAAAAABBBBBB Вот почему, например, когда новая проблема доказана NP-полной , мы просто …
1
схема оценки
Известно , что если проблема оценки цепи в N C 1 ? Как насчет A L о г т я м е (Uniform N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Мы знаем, что схемы глубины могут быть оценены схемами глубины k + c, где c - универсальная постоянная. Это означает, что схемы глубины …
2
Какова сложность Median-SAT?
Пусть - формула CNF с n переменными и m предложениями. Пусть t ∈ { 0 , 1 } n представляет присваивание переменной, а f φ ( t ) ∈ { 0 , … , m } подсчитывает количество предложений, удовлетворяемых присваиванием переменной φ . Затем определите Median-SAT как задачу вычисления …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.