N CNC\mathsf{NC} отражает идею эффективного распараллеливания, и одна из его интерпретаций - это проблемы, которые разрешимы во времени с использованием параллельных процессоров для некоторых констант , . У меня вопрос, есть ли аналогичный класс сложности, где время равно а число процессоров - ....
Есть ли пример естественной проблемы в BPP, но неизвестно, что это в RP или
Вдохновленный вопросом, что факторинг известен как P-hard , мне интересно, каково текущее подобное состояние знаний о твердости изоморфизма графов. Я уверен, что в настоящее время неизвестно, находится ли G в P, но: какой самый известный в настоящее время класс, чем GI сложнее? (не было ответа на...
Я знаю, что сложность большинства разновидностей типизированных лямбда-исчислений без примитива Y-комбинатора ограничена, т. Е. Могут быть выражены только функции ограниченной сложности, причем граница увеличивается с ростом выразительности системы типов. Напомню, что, например, исчисление...
Равен ли BQP BPP с доступом к оракулу скрытой абелевой
Мне интересно в широком смысле то, что известно о распараллеливании алгоритмов в P. Я нашел следующую статью в Википедии на эту тему: http://en.wikipedia.org/wiki/NC_%28complexity%29 Статья содержит следующее предложение: Неизвестно, является ли NC = P, но большинство исследователей подозревают,...
Обсуждение : В последнее время я проводил некоторое личное время, изучая различные вещи в сложности общения. Например, я повторно ознакомился с соответствующей главой в Арора / Барак, начал читать некоторые статьи и заказал книгу Кушилевица / Нисана. Интуитивно я хочу сравнить сложность...
Листовые языки - прекрасный способ единообразно определить множество классов сложности. Большинство классов сложности обычно определяются моделью вычисления (например, детерминированной / рандомизированной ТМ) и привязкой к ресурсу (время журнала, поли-пространство и т. Д.). Однако в формулировке...
Сегодня в Нью-Йорке и во всем мире отмечается день рождения Христоса Пападимитриу. Это хорошая возможность задать вопрос об отношениях между классом сложности Christos PPAD (и его смежными классами) и квантовыми компьютерами. В своей знаменитой работе 1994 года Пападимитриу представил и...
Допустим, что язык является P- плотно-близким, если существует алгоритм с полиномиальным временем, который правильно определяет почти на всех входах.LLLLLLL Другими словами, существует P , такое, что обращается в нуль, что означает Это также означает, что на равномерном случайном входе алгоритм...
Существует ли пример класса графов, для которого задача раскраски вершин находится в P, но независимым множеством является задача
Четность и подобны неразлучным близнецам. Или так казалось за последние 30 лет. В свете результатов Райана возобновится интерес к маленьким классам.AC0AC0AC^0 Faxst Saxe Sipser от Yao до Hastad - это все паритетные и случайные ограничения. Разборов / Смоленский является приближенным полиномом с...
Пусть быть целым числом функция такая , что 2 Р в # Р . Из этого следует, что F находится в # P ? Есть ли основания полагать, что это вряд ли сохранится? Любые ссылки, о которых я должен знать?FFF2F2F2F#P#P\#PFFF#P#P\#P Несколько неожиданно возникла такая ситуация (с гораздо большей константой) для...
В Википедии перечислены четыре проблемы, которые есть в но предположительно находятся вне : целочисленная факторизация; Дискретный логарифм; Моделирование квантовых систем; Вычисление полинома Джонса на определенных корнях единства.PB Q PВQпBQPппP Есть ли еще такие...
РЕДАКТИРОВАТЬ в 2011/02/08: После того, как некоторые ссылки были найдены и прочитаны, я решил разделить оригинальный вопрос на два отдельных. Вот часть, касающаяся UP vs NP, для части синтаксических и семантических классов см. Преимущества для синтаксических и семантических классов ....
Существуют ли ссылки, которые предоставляют подробности о нижних границах схем для конкретных сложных задач, возникающих в криптографии, таких как целочисленный факторинг, задача простого / составного дискретного логарифма и ее вариант над группой точек эллиптических кривых (и их абелевых...
Знаменитая гипотеза об изоморфизме Бермана и Хартманиса говорит, что все -полные языки полиномиально по времени изоморфны (p-изоморфны) друг другу. Ключевое значение гипотезы является то , что она предполагает P ≠ N P . Она была опубликована в 1977 году, и часть подтверждающих доказательств, что...
Сложность зоопарк не имеет много о SCSC\mathsf{SC} . Я ищу хорошую † проблему, которая находится на более высоких уровнях иерархии, то есть проблему в D T i m e S p a c e ( n O ( 1 ) , lg O ( 1 ) n ), но о которой неизвестно в D Т я м ē S р с е ( п O ( 1...
Проблема: нам дают набор палочек, имеющих целую длину. Общая сумма их длин n (n + 1) / 2. Можем ли мы разбить их, чтобы получить палочки размером за полиномиальное время? 1 , 2 , … , n1,2,...,N{1,2,\ldots,n} Удивительно, но единственная ссылка, которую я нахожу для этой проблемы, - это древнее...
Parity-P - это набор языков, распознаваемых недетерминированной машиной Тьюринга, которая может различать только четное число или нечетное число путей «принятия» (а не нулевое или ненулевое число путей принятия). Таким образом, Parity-P - это, в основном, младший брат PP с задержкой роста: в то...