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

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

2
Что такое большая версия NC?
N CNC\mathsf{NC} отражает идею эффективного распараллеливания, и одна из его интерпретаций - это проблемы, которые разрешимы во времени с использованием параллельных процессоров для некоторых констант , . У меня вопрос, есть ли аналогичный класс сложности, где время равно а число процессоров - . Как заполнить пустой вопрос:O ( n k …
3
Пределы для параллельных вычислений
Мне интересно в широком смысле то, что известно о распараллеливании алгоритмов в P. Я нашел следующую статью в Википедии на эту тему: http://en.wikipedia.org/wiki/NC_%28complexity%29 Статья содержит следующее предложение: Неизвестно, является ли NC = P, но большинство исследователей подозревают, что это неверно, а это означает, что, вероятно, существуют некоторые проблемы, которые можно …
4
ДНК-алгоритмы и NP-полнота
Какова связь между алгоритмами ДНК и классами сложности, определенными с помощью машин Тьюринга? Как соотносятся меры сложности, такие как время и пространство, в ДНК-алгоритмах? Могут ли они быть использованы для решения проблем NP-complete, таких как TSP, которые машины фон Неймана не могут реально решить на практике?
6
Ссылки на нижние границы цепей
преамбула Интерактивные системы доказательства и протоколы Артура-Мерлина были введены Голдвассером, Микали, Ракоффом и Бабаем еще в 1985 году. Сначала считалось, что первый более мощный, чем второй, но Голдвассер и Сипсер показали, что они обладают одинаковой силой ( в отношении признания языка). Следовательно, в этом посте я использовал эти два понятия …
2
Нижние оценки для формул постоянной глубины?
Мы много знаем об ограничениях (полиномиального размера) контуров постоянной глубины. Поскольку формулы с постоянной глубиной (полиномиального размера) представляют собой еще более ограниченную модель вычислений, все известные проблемы, которых нет в AC 0 , также не могут быть вычислены с помощью формулы постоянной глубины. Тем не менее, поскольку это более простая …
4
Какие результаты в теории сложности делают существенным использование единообразия?
В доказательстве разделения классов сложности по существу используется единообразие классов сложности, если доказательство не доказывает результат для неоднородной версии, например, доказательства, основанные на диагонализации (например, теоремы о пространственной и временной иерархии), существенно используют единообразие, поскольку им нужно моделировать программы в меньший класс. Какие результаты в теории сложности (кроме доказательств диагонализации) …
6
Каков наилучший способ получить бросок монеты с одинаковым смещением?
(Фон Нейман дал алгоритм, который имитирует честную монету при доступе к одинаковым смещенным монетам. Алгоритм потенциально требует бесконечного числа монет (хотя в ожидании достаточно конечного числа). Этот вопрос касается случая, когда допустимое количество бросков монет ограниченная.) Предположим, у нас есть одинаковых монет с уклоном . Цель состоит в том, чтобы …
1
Труднее ли найти сокращения Logspace, чем сокращения P?
Воодушевленный ответом Шора, связанным с различными представлениями о NP-полноте, я ищу проблему, которая является NP-полной при сокращениях P, но неизвестно, что она является NP-полной при сокращениях Logspace (предпочтительно в течение длительного времени). Кроме того, труднее ли найти сокращения пространства журналов между NP-полными проблемами, чем найти сокращения P?
3
Использование колмогоровской сложности в качестве входного «размера»
SSSI(n)={w∈S:|w|=n}I(n)={w∈S:|w|=n}I(n) = \{w \in S : |w| = n\}nnnT(w)T(w)T(w)AAAwwwAAAfn=maxw∈I(n)T(w).fn=maxw∈I(n)T(w). f_n = \max_{w \in I(n)} T(w). Теперь определим множества всех входов со сложностью Колмогорова и определим последовательность Здесь - средняя последовательность времени выполнения для , за исключением случаев, когда «размер» входных данных представляет собой их колмогоровскую сложность, а не их длину.n …
6
Есть ли естественная проблема в квазиполиномиальном времени, но не в полиномиальном времени?
Ласло Бабаи недавно доказал, что проблема изоморфизма графа находится в квазиполиномиальном времени . См. Также его выступление в Чикагском университете, заметки о выступлениях Джереми Куна GLL, пост 1 , GLL, пост 2 , GLL, пост 3 . Согласно теореме Ладнера, если , то не является пустым, т. содержит задачи, которые …
1
Является ли функция подсчета простых чисел # P-полной?
Напомним число простых чисел - функция подсчета простых чисел . Посредством «PRIMES in P» вычисление находится в #P. Проблема № P-завершена? Или, может быть, есть сложная причина полагать, что эта проблема не является # P-полной? π(n)π(n)\pi(n)≤n≤n\le nπ ( n )π(n)π(n)\pi(n) PS Я понимаю, что это немного наивно, поскольку кто-то должен …
1
«Почти легкие» NP-полные задачи
Допустим, что язык является P- плотно-близким, если существует алгоритм с полиномиальным временем, который правильно определяет почти на всех входах.LLLLLLL Другими словами, существует P , такое, что обращается в нуль, что означает Это также означает, что на равномерном случайном входе алгоритм Polytime для A даст правильный ответ для L с вероятностью, …
2
Может ли какая-либо вычислительная задача быть преобразована в доказательство работы?
Казалось бы, бессмысленность майнинга криптовалюты подняла вопрос о полезных альтернативах, см. Эти вопросы на Bitcoin , CST , MO . Интересно, существует ли алгоритм, который может преобразовать практически любую вычислительную задачу (решение которой может быть эффективно проверено) в другую такую ​​задачу (которая используется для проверки работы), такую, чтоCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) …
3
Сколько времени распознавать палиндромы в логарифмическом пространстве?
Хорошо известно, что палиндромы могут распознаваться в линейном времени на машинах Тьюринга с лентами, но не на машинах Тьюринга с одной лентой (в этом случае необходимое время является квадратичным). Алгоритм линейного времени использует копию входных данных и, следовательно, также использует линейное пространство.222 Можем ли мы распознать палиндромы за линейное время …
2
Насколько быстрым должен быть недетерминированный алгоритм для полной задачи EXPTIME, чтобы подразумевать
Насколько быстрым должен быть недетерминированный алгоритм для полной задачи EXPTIME, чтобы подразумевать P ≠ N PP≠NPP \neq NP ? Недетерминирован алгоритм полиномиальное время будет немедленно следует это потому , что Р ≠ Е Х Р Т Я М ЕP≠EXPTIMEP \neq EXPTIME , но никто не считает , N P = …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.