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

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

2
Проблемы между NC и P: сколько было решено из этого списка?
В статье «Сборник задач, завершенных для P» Гринлоу, Гувера и Руццо (PS) (PDF) , есть список проблем в P, которые, как известно, не находятся в NC и также не известны как P-полные. , (Этот список включает все открытые проблемы в превосходном обзоре Карпа и Рамачандрана .) Список открытых проблем начинается …
1
У всех классов сложности есть характеристика языка листа?
Листовые языки - прекрасный способ единообразно определить множество классов сложности. Большинство классов сложности обычно определяются моделью вычисления (например, детерминированной / рандомизированной ТМ) и привязкой к ресурсу (время журнала, поли-пространство и т. Д.). Однако в формулировке конечного языка существует только одна модель вычислений, и класс задается путем предоставления его конечного языка. …
2
норма сохраняя машины Тьюринга
Читая некоторые недавние темы о квантовых вычислениях ( здесь , здесь и здесь ), я вспоминаю интересный вопрос о мощности некоторой машины, сохраняющей ℓpℓp\ell_p норму. Для людей, работающих в области теории сложности, которые идут на квантовую сложность, хорошим вступительным текстом является статья Фортнау, ссылка на которую была размещена Джошуа Грохоу …
3
Возможны ли рекурсивные формы высказывания Годеля?
Самостоятельная ссылка на проблему P / NP иногда подчеркивалась как барьер для ее разрешения, см., Например, статью Скотта Ааронсона, является ли P против NP формально независимой ? Одним из многих возможных решений P / NP будет демонстрация того, что проблема формально не зависит от ZFC или является истинной, но недоказуемой. …
1
Объяснить тензорную интерпретацию Гурвица статьи Деолаликара
[Примечание: я полагаю, что этот вопрос никоим образом не зависит от правильности или неправильности статьи Деолаликара.] В блоге Скотта Ааронсона « Оптимизированный Штетл» в дискуссии о недавней попытке Деолаликара на P против NP Леонид Гурвиц сделал следующий комментарий : Я попытался понять / переформулировать подход, и вот моя, возможно, очень …
3
ограниченные в пространстве ТМ и оракулы
В общем, лента запросов для оракула учитывает сложность пространства ТМ. Тем не менее, кажется правдоподобным разрешить запись оракула только для записи (например, которая используется в сокращениях L-пространства). Полезна ли такая конструкция? Дает ли он какие-то особенно абсурдные результаты?
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 Есть ли еще такие проблемы?
3
Вычисление вещественных чисел: с плавающей запятой, TTE, теория доменов, и т. Д.
В настоящее время вычисление действительных значений в большинстве популярных языков все еще выполняется с помощью операций с плавающей запятой. С другой стороны, теории, такие как эффективность второго типа (TTE) и теория предметной области, давно обещали точное вычисление действительных чисел. Очевидно, что проблема точности с плавающей запятой не уменьшилась в своей …
1
Как доказать, что USTCONN требует логарифмического пространства?
USTCONN - это проблема, которая требует решения о том, существует ли путь от исходной вершины sss до целевой вершины ttt в графе GGG , где все они представлены как часть входных данных. Омер Рейнгольд показал, что USTCONN находится в L (doi: 10.1145 / 1391289.1391291 ). Доказательство создает расширитель постоянной степени …
2
Аргументы за / против гипотезы Колмогорова о сложности схемы P
Согласно (непроверенному) историческому описанию, Колмогоров считал, что каждый язык в имеет линейную сложность схем. (См. Предыдущий вопрос о гипотезе Колмогорова о том, что имеет цепи линейного размера .) Обратите внимание, что из этого следует, что .P P ≠ N PPP\mathsf{P}PPPP≠NPP≠NP\mathsf{P}\neq \mathsf{NP} Гипотеза Колмогорова, однако, видимо, вероятно, потерпит неудачу. Например, Райан …
1
Можем ли мы рассчитывать на глубину
Можем ли мы вычислить битный пороговый вентиль по схемам с полиномиальным размером (неограниченным разветвлением) глубиной lg nNnn ? В качестве альтернативы, мы можем посчитать число 1 во входных битах, используя эти схемы?Л.Г.NЛ.Г.Л.Г.Nlg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg n} Является ли ?Т С0⊆ л т т я м е ( О ( Л.Г.NЛ.Г.Л.Г.N) , …
3
Выполнение алгоритма BPP с полу-случайной, полу-состязательной строкой
Рассмотрим следующую модель: n-битная строка r = r 1 ... r n выбирается случайным образом равномерно. Далее каждый индекс i∈ {1, ..., n} помещается в множество A с независимой вероятностью 1/2. Наконец, противнику разрешено, для каждого i∈A отдельно, перевернуть r i, если он этого хочет. Мой вопрос заключается в следующем: …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.