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

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

9
Оптимальные жадные алгоритмы для NP-сложных задач
Жадность, из-за отсутствия лучшего слова, это хорошо. Одной из первых алгоритмических парадигм, изучаемых в курсе вводных алгоритмов, является жадный подход . Жадный подход приводит к простым и интуитивно понятным алгоритмам для многих задач в P. Более интересно, что для некоторых NP-трудных задач очевидный и естественный жадный / локальный алгоритм приводит …
5
Есть ли логика без индукции, которая захватывает большую часть P?
Теорема Иммермана-Варди утверждает, что PTIME (или P) - это именно тот класс языков, который может быть описан предложением логики первого порядка вместе с оператором с фиксированной точкой над классом упорядоченных структур. Оператор с фиксированной точкой может быть либо с наименьшей фиксированной точкой (как рассматривалось Иммерманом и Варди), либо инфляционной фиксированной …
3
Оптимально ли решить n-n × n-кубик Рубика NP-сложный?
Рассмотрим очевидное обобщение кубика Рубика . Трудно ли NP вычислить кратчайшую последовательность ходов, которая решает данный зашифрованный куб, или есть алгоритм за полиномиальное время?n×n×nn×n×nn\times n\times n [Некоторые связанные результаты описаны в моем недавнем сообщении в блоге .]
4
Примеры, в которых уникальность решения облегчает поиск
Класс сложности состоит из тех -проблем, которые могут быть решены недетерминированной машиной Тьюринга за полиномиальное время, которая имеет не более одного приемлемого вычислительного пути. То есть решение, если оно есть, является уникальным в этом смысле. Весьма маловероятно, что все -проблемы находятся в , потому что по теореме Валианта-Вазирани это будет …
6
Геометрические задачи, NP-полные в
Ряд геометрических проблем прост, если рассматривать их в , но они являются NP-полными в R d для d ≥ 2 (включая одну из моих любимых задач - покрытие диска устройства).R1R1R^1RdRdR^dd≥2d≥2d\geq2 Знает ли кто-нибудь о проблеме, которая разрешима по полимеру для и R 2 , но является NP-полной для R d …
4
Является ли ?
Мы знаем, что первый уровень полиномиальной иерархии (т.е. NP и co-NP) находится в PP, и что . Мы также знаем из теоремы Тоды, что .PP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACEPH⊆PPPPH⊆PPPPH \subseteq P^{PP} Знаем ли мы ? Если нет, то почему с оракулом сильнее ? Возможно ли, что и PP \ nsubseteq PH ?PH⊆PPPH⊆PPPH …
2
Аксиомы, необходимые для теоретической информатики
Этот вопрос вдохновлен аналогичным вопросом о прикладной математике на mathoverflow, и что ноющая мысль, что важные вопросы TCS, такие как P против NP, могут быть независимыми от ZFC (или других систем). В качестве небольшого фона обратная математика - это проект поиска аксиом, необходимых для доказательства некоторых важных теорем. Другими словами, …
3
Параметризованная сложность множества удара в конечной VC-размерности
Меня интересует параметризованная сложность того, что я буду называть проблемой d-мерного ударного множества: с учетом пространства диапазона (т. Е. Системы множеств / гиперграфа) S = (X, R) с VC-размерностью не более d и натуральное число k, содержит ли X подмножество размера k, которое попадает в каждый диапазон в R? Параметризованная …
3
Имеет
Насколько я понимаю, программа теории геометрической сложности пытается разделить , доказав, что постоянство комплексной матрицы гораздо сложнее вычислить, чем определитель.VP≠VNPVP≠VNPVP \neq VNP Вопрос, который у меня возник после просмотра документов GCT: будет ли это сразу означать , или это просто важный шаг к этой цели?P≠NPP≠NPP \neq NP
3
Объяснение классов P и NP через лямбда-исчисление
Во введении и объяснении P и NP классы сложности часто даются через машину Тьюринга. Одной из моделей вычислений является лямбда-исчисление. Я понимаю, что все модели вычислений эквивалентны (и если мы можем ввести что-либо в терминах машины Тьюринга, мы можем представить это в терминах любой модели вычислений), но я никогда не …
4
Твердость аппроксимации без теоремы PCP
Важное применение теоремы PCP состоит в том, что она дает результаты типа «твердость приближения». В некоторых относительно более простых случаях такую ​​твердость можно доказать без PCP. Есть ли, однако, какой-либо случай, когда твердость результата аппроксимации была сначала доказана с использованием теоремы PCP, т. Е. Результат не был известен раньше, но …
3
Методы показа этой проблемы в твердости «подвешенный»
Учитывая новую проблему в , истинная сложность которой находится где-то между и являющейся NP-полной, я знаю два метода, которые можно использовать, чтобы доказать, что решить эту проблему сложно:NPNP\mathsf{NP}PP\mathsf{P} Покажите, что задача является GI-полной (GI = Изоморфизм графов) Покажите, что проблема в . По известным результатам такой результат подразумевает, что если …
3
Есть ли резервная копия / замена для зоопарка сложности?
Это не технический вопрос, но, безусловно, актуальный для сообщества TCS. Если считается неуместным, не стесняйтесь закрыть. Сложность зоопарка веб - страницы (http://qwiki.stanford.edu/index.php/Complexity_Zoo), безусловно , был большой сервис для сообщества ТКС на протяжении многих лет. По-видимому, это давно с тех пор. Мне было интересно, если кто-то все еще поддерживает его, если …
3
Почему случайность оказывает более сильное влияние на сокращения, чем на алгоритмы?
Предполагается, что случайность не расширяет возможности алгоритмов полиномиального времени, то есть предполагается, что будет выполняться. С другой стороны, случайность, по-видимому, оказывает совершенно иное влияние на сокращение полиномиального времени . По хорошо известным результатам Valiant и Vazirani, сокращается до посредством рандомизированного полиномиального сокращения времени. Маловероятно, что сокращение может быть дерандомизировано, так …
3
Сложность экспоненциальной функции
Мы знаем, что экспоненциальная функция над натуральными числами не вычисляется за полиномиальное время, поскольку размер выходных данных не ограничен полиномиально по размеру входных данных.ехр( х , у) = хYехр⁡(Икс,Y)знак равноИксY\exp(x,y) = x^y Является ли это основной причиной сложности вычисления экспоненциальной функции, или вычисление степени по своей природе сложно вычислить независимо …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.