Вопросы с тегом «complexity-classes»

Классы вычислительной сложности и их отношения

6
Есть ли естественная проблема в квазиполиномиальном времени, но не в полиномиальном времени?
Ласло Бабаи недавно доказал, что проблема изоморфизма графа находится в квазиполиномиальном времени . См. Также его выступление в Чикагском университете, заметки о выступлениях Джереми Куна GLL, пост 1 , GLL, пост 2 , GLL, пост 3 . Согласно теореме Ладнера, если , то не является пустым, т. содержит задачи, которые …
1
«Почти легкие» NP-полные задачи
Допустим, что язык является P- плотно-близким, если существует алгоритм с полиномиальным временем, который правильно определяет почти на всех входах.LLLLLLL Другими словами, существует P , такое, что обращается в нуль, что означает Это также означает, что на равномерном случайном входе алгоритм Polytime для A даст правильный ответ для L с вероятностью, …
4
Сложность общения ... Классы?
Обсуждение : В последнее время я проводил некоторое личное время, изучая различные вещи в сложности общения. Например, я повторно ознакомился с соответствующей главой в Арора / Барак, начал читать некоторые статьи и заказал книгу Кушилевица / Нисана. Интуитивно я хочу сравнить сложность коммуникации с вычислительной сложностью. И, в частности, меня …
1
У всех классов сложности есть характеристика языка листа?
Листовые языки - прекрасный способ единообразно определить множество классов сложности. Большинство классов сложности обычно определяются моделью вычисления (например, детерминированной / рандомизированной ТМ) и привязкой к ресурсу (время журнала, поли-пространство и т. Д.). Однако в формулировке конечного языка существует только одна модель вычислений, и класс задается путем предоставления его конечного языка. …
2
PPAD и Quantum
Сегодня в Нью-Йорке и во всем мире отмечается день рождения Христоса Пападимитриу. Это хорошая возможность задать вопрос об отношениях между классом сложности Christos PPAD (и его смежными классами) и квантовыми компьютерами. В своей знаменитой работе 1994 года Пападимитриу представил и систематически изучил несколько важных классов сложности, таких как PLS, PPAD …
1
Деление на две функции в #P
Пусть быть целым числом функция такая , что 2 Р в # Р . Из этого следует, что F находится в # P ? Есть ли основания полагать, что это вряд ли сохранится? Любые ссылки, о которых я должен знать?FFF2F2F2F#P#P\#PFFF#P#P\#P Несколько неожиданно возникла такая ситуация (с гораздо большей константой) для …
1
Проблемы в BQP, но предположительно находятся за пределами P
В Википедии перечислены четыре проблемы, которые есть в но предположительно находятся вне : целочисленная факторизация; Дискретный логарифм; Моделирование квантовых систем; Вычисление полинома Джонса на определенных корнях единства.PB Q PВQпBQPппP Есть ли еще такие проблемы?
1
Существует ли лучшая нижняя граница для факторинга и дискретного логарифмирования?
Существуют ли ссылки, которые предоставляют подробности о нижних границах схем для конкретных сложных задач, возникающих в криптографии, таких как целочисленный факторинг, задача простого / составного дискретного логарифма и ее вариант над группой точек эллиптических кривых (и их абелевых многообразий более высокого измерения) и общие скрытая проблема подгруппы? В частности, имеет …
1
Последствия UP равняются NP
РЕДАКТИРОВАТЬ в 2011/02/08: После того, как некоторые ссылки были найдены и прочитаны, я решил разделить оригинальный вопрос на два отдельных. Вот часть, касающаяся UP vs NP, для части синтаксических и семантических классов см. Преимущества для синтаксических и семантических классов . UPUP\mathsf{UP} (однозначное полиномиальное время, см. вики и зоопарк для ссылок) …
4
Паритет и
Четность и подобны неразлучным близнецам. Или так казалось за последние 30 лет. В свете результатов Райана возобновится интерес к маленьким классам.AC0AC0AC^0 Faxst Saxe Sipser от Yao до Hastad - это все паритетные и случайные ограничения. Разборов / Смоленский является приближенным полиномом с четностью (хорошо, мод-гейтс). Аспнес и др. Используют слабую …
1
Естественный кандидат против гипотезы об изоморфизме?
Знаменитая гипотеза об изоморфизме Бермана и Хартманиса говорит, что все -полные языки полиномиально по времени изоморфны (p-изоморфны) друг другу. Ключевое значение гипотезы является то , что она предполагает P ≠ N P . Она была опубликована в 1977 году, и часть подтверждающих доказательств, что все N P -полные проблемы , …
1
Головоломка ножницы
Проблема: нам дают набор палочек, имеющих целую длину. Общая сумма их длин n (n + 1) / 2. Можем ли мы разбить их, чтобы получить палочки размером за полиномиальное время? 1 , 2 , … , n1,2,...,N{1,2,\ldots,n} Удивительно, но единственная ссылка, которую я нахожу для этой проблемы, - это древнее …
1
Самые известные совместные сдерживания для / от NP и Parity-P?
Parity-P - это набор языков, распознаваемых недетерминированной машиной Тьюринга, которая может различать только четное число или нечетное число путей «принятия» (а не нулевое или ненулевое число путей принятия). Таким образом, Parity-P - это, в основном, младший брат PP с задержкой роста: в то время как PP подсчитывает, является ли количество …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.