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

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

3
Кратчайший эквивалент формулы CNF
Пусть F1F1F_1 - выполнимая формула CNF с nnn переменными и mmm предложениями. Пусть SF1SF1S_{F_1} - пространство решений F1F1F_1 . Рассмотрим проблему определения для данной F1F1F_1 другой формулы CNF F2F2F_2с тем же набором переменных, что и для F1F1F_1 , с SF2=SF1SF2=SF1S_{F_2} = S_{F_1} (то же пространство решений, что и для F1F1F_1 …
4
Список теорем о том, что P не равен NP тогда и только тогда, когда
Я думаю, что было бы неплохо составить список теорем, утверждающих, что P не равен NP, если и только если такие и такие выходы существуют, некоторый класс сложности содержится в другом классе сложности и так далее, и так далее.
3
Точное решение суперструны
Что известно о точной сложности самой короткой проблемы суперструн? Может ли это быть решено быстрее, чем O∗(2n)O∗(2n)O^*(2^n) ? Существуют ли известные алгоритмы, которые решают кратчайшую суперструну без сокращения до TSP? UPD: подавляет полиномиальные факторы.O∗(⋅)O∗(⋅)O^*(\cdot) Самая короткая проблема суперструн - это проблема, ответом которой является самая короткая строка, которая содержит каждую …
2
Использование XORification
XORification - это метод усложнения булевой функции или формулы путем замены каждой переменной на XOR k ≥ 2 различных переменных x 1 ⊕ … ⊕ x k . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Мне известно об использовании этого метода для усложнения доказательства, главным образом для получения нижних границ пространства …
1
Самый эффективный способ преобразовать цепь
РЕДАКТИРОВАТЬ (22 августа 2011 г.): Я еще больше упрощаю вопрос и назначаю вознаграждение за этот вопрос. Возможно, на этот более простой вопрос будет легко ответить. Я также собираюсь зачеркнуть все части оригинального вопроса, которые больше не актуальны. (Спасибо Стасису Юкне и Райану О'Доннелу за частичный ответ на первоначальный вопрос!) Фон: …
3
Компромисс между временем и сложностью запроса
Работать напрямую со сложностью времени или нижними границами схемы страшно. Следовательно, мы разрабатываем такие инструменты, как сложность запросов (или сложность дерева решений), чтобы справиться с нижними границами. Поскольку каждый запрос занимает по крайней мере один блок-шаг, а вычисления между запросами считаются бесплатными, сложность времени по меньшей мере столь же высока, …
4
Может ли тестирование показать отсутствие ошибок?
(n+1)(n+1)(n + 1) точек необходимы для однозначного определения многочлена степени ; например, две точки на плоскости определяют ровно одну линию.nnn Сколько точек требуется для однозначного определения вычислимой функции , учитывая длину программы, которая вычисляет на фиксированном языке? (т.е. оценка колмогоровской сложности ).f ff:N→Nf:N→Nf : N \rightarrow Nffffff Идея состоит в …
4
Прямое снижение SAT до 3-SAT
Здесь цель состоит в том, чтобы свести произвольную задачу SAT к 3-SAT за полиномиальное время, используя наименьшее количество предложений и переменных. Мой вопрос мотивирован любопытством. Менее формально я хотел бы знать: «Каково« наиболее естественное »сокращение с SAT до 3-SAT?» Теперь сокращение, которое я всегда видел в учебниках, выглядит примерно так: …
2
Теорема об иерархии для размера цепи
Я думаю, что теорема об иерархии размеров для сложности схемы может быть главным прорывом в этой области. Это интересный подход к разделению классов? Мотивация вопроса заключается в том, что мы должны сказать есть некоторая функция, которая не может быть вычислена схемами размера и может быть вычислена схемой размера , где …
5
Почему P = NP не подразумевает P = AP (то есть P = PSPACE)?
Хорошо известно, что если то иерархия полиномов разрушается и .P = N PP=NP\mathbf{P}=\mathbf{NP}P = P HP=PH\mathbf{P}=\mathbf{PH} Это можно легко понять индуктивно с помощью оракулов. Вопрос в том, почему мы не можем продолжить индуктивный процесс за пределами постоянного уровня чередований и доказать (aka )?P = A l t T i m …
2
Существует ли теорема временной иерархии для PH?
Верно ли, что в полиномиальной иерархии существуют проблемы, разрешимые во времени (с помощью чередующейся машины Тьюринга на некотором уровне полиномиальной иерархии), которые не разрешимы в O ( n k - 1 ) на любом уровне полиномиальная иерархия? Другими словами - существует ли теорема временной иерархии для полиномиальной иерархии, как это …
4
Приложения теории сложности
Теория сложности, кажется, отражает нечто фундаментальное в структуре вселенной, поскольку она формализует интуитивное представление о том, что некоторые проблемы сложнее других. Скотт Ааронсон предсказал : «Предположение о твердости NP в конечном итоге будет рассматриваться как аналог Второго закона термодинамики или невозможности сверхсветовой сигнализации». Так называемые «сложные проблемы» являются основой современной …
4
Если P = BQP, означает ли это, что PSPACE (= IP) = AM?
Недавно Ватроус и др. Доказали, что QIP (3) = PSPACE - замечательный результат. Это был удивительный результат для меня, если не сказать больше, и это заставило меня задуматься ... Я задавался вопросом, что если бы Quantum Computers могла эффективно моделироваться классическими компьютерами. Может ли это быть просто связано с разрывом …
1
Ограничена ли проблема доминирующего множества плоскими двудольными графами максимальной степени 3 NP-полной?
Кто-нибудь знает о результате NP-полноты для задачи DOMINATING SET в графах, ограниченной классом плоских двудольных графов максимальной степени 3? Я знаю, что он NP-полон для класса плоских графов максимальной степени 3 (см. Книгу Гарея и Джонсона), а также для двудольных графов максимальной степени 3 (см. М. Хлебик и Й. Хлебикова, …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.