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

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

3
Твердость аппроксимации - аддитивная ошибка
Существует богатая литература и, по крайней мере, одна очень хорошая книга, в которой излагаются известные значения твердости аппроксимации для NP-трудных задач в контексте мультипликативной ошибки (например, 2-аппроксимация для покрытия вершин оптимальна при условии UGC). Это также включает хорошо понятные классы сложности аппроксимации, такие как APX, PTAS и так далее. Что …
3
Каковы отношения между этими гипотезами в теории детальной сложности?
Теория сложности, с помощью таких понятий, как NP-полнота, различает вычислительные задачи, которые имеют относительно эффективные решения, и те, которые трудноразрешимы. «Мелкозернистая» сложность призвана уточнить это качественное различие в количественном руководстве относительно точного времени, необходимого для решения проблем. Более подробную информацию можно найти здесь: http://simons.berkeley.edu/programs/complexity2015 Вот несколько важных гипотез: ETH: - …
4
Каковы убедительные причины верить
Каковы убедительные причины верить L ≠ PL≠PL\neq P ? L - класс алгоритмов лог-пространства с указателями на вход. Предположим, что L = P на данный момент. Как будет выглядеть алгоритм лог-пространства для P-полной задачи в общих чертах?
3
Задачи оптимизации с хорошей характеристикой, но без алгоритма полиномиального времени
Рассмотрим задачи оптимизации следующего вида. Пусть f(x)f(x)f(x) - вычислимая функция полиномиального времени, которая отображает строку xxx в рациональное число. Задача оптимизации заключается в следующем: что максимальное значение f(x)f(x)f(x) над nnn -битовый строки xxx ? gggxnymnmmaxxf(x)=minyg(y)maxxf(x)=minyg(y)\max_x f(x) = \min_y g(y)xxxnnnyyymmmnnnmmm Многочисленные естественные и важные задачи оптимизации имеют такую ​​минимаксную характеристику. Несколько …
1
Tardos Функция контрпример Блюма Претензия
В этой теме попытка Нобетта Блюма в доказательстве лаконично опровергается, когда отмечается, что функция Тардоса является контрпримером к теореме 6P≠NPP≠NPP \neq NP Теорема 6 : Пусть - любая монотонная булева функция. Предположим, что существует CNF-DNF-аппроксиматор который можно использовать для доказательства нижней оценки . Тогда также можно использовать для доказательства той …
6
Утверждения, которые подразумевают
Это своего рода открытый вопрос, за который я заранее прошу прощения. Существуют ли примеры утверждений, которые (казалось бы) не имеют ничего общего со сложностью или машинами Тьюринга, но ответ на них подразумевал бы ?P ≠ N PP≠NP\mathbf{P}\neq \mathbf{NP}
3
Проблемы за пределами P, которые не являются P-hard
Читая ответ Питера Шора и предыдущий вопрос Адама Крума, я понял, что у меня есть некоторые неправильные представления о том, что значит быть -hard.PP\mathsf{P} Проблема -hard, если любая проблема в сводится к ней с помощью (или если вы предпочитаете ) сокращений. Проблема находится вне если не существует алгоритма полиномиального времени …
1
Есть ли основания полагать, что
Интересно, есть ли основания полагать, что или верить, что N L ≠ L ?NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L Известно, что . Литература по derandomization из R L является довольно убедительным , что R L = L . Кто-нибудь знает о каких-то статьях или идеях, убеждая, что N L ≠ …
1
Р равняется пересечению всех суперполиномиальных временных классов?
f(n)е(N)f(n) c > 0limn→∞nc/f(n)=0ИтN→∞Nс/е(N)знак равно0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0с>0c>0 Ясно, что для любого языка справедливо, что для каждого суперполиномиального ограничения по времени . Интересно, верно ли и обратное утверждение этого утверждения? То есть, если мы знаем для каждого суперполиномиального ограничения по времени , подразумевает ли это ? Другими словами, верно ли, что где …
3
Могут ли типизированные лямбда-исчисления выражать * все * алгоритмы ниже заданной сложности?
Я знаю, что сложность большинства разновидностей типизированных лямбда-исчислений без примитива Y-комбинатора ограничена, т. Е. Могут быть выражены только функции ограниченной сложности, причем граница увеличивается с ростом выразительности системы типов. Напомню, что, например, исчисление конструкций может выражать, по крайней мере, двукратно экспоненциальную сложность. Мой вопрос касается того, могут ли типизированные лямбда-исчисления …
1
Какова текущая известная твердость изоморфизма графов?
Вдохновленный вопросом, что факторинг известен как P-hard , мне интересно, каково текущее подобное состояние знаний о твердости изоморфизма графов. Я уверен, что в настоящее время неизвестно, находится ли G в P, но: какой самый известный в настоящее время класс, чем GI сложнее? (не было ответа на похожий вопрос ) Чтобы …
2
Что такое большая версия NC?
N CNC\mathsf{NC} отражает идею эффективного распараллеливания, и одна из его интерпретаций - это проблемы, которые разрешимы во времени с использованием параллельных процессоров для некоторых констант , . У меня вопрос, есть ли аналогичный класс сложности, где время равно а число процессоров - . Как заполнить пустой вопрос:O ( n k …
3
Пределы для параллельных вычислений
Мне интересно в широком смысле то, что известно о распараллеливании алгоритмов в P. Я нашел следующую статью в Википедии на эту тему: http://en.wikipedia.org/wiki/NC_%28complexity%29 Статья содержит следующее предложение: Неизвестно, является ли NC = P, но большинство исследователей подозревают, что это неверно, а это означает, что, вероятно, существуют некоторые проблемы, которые можно …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.