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

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

5
Является ли правилом, что дискретные задачи являются NP-трудными, а непрерывные - нет?
В моем компьютерном образовании я все чаще замечаю, что большинство дискретных задач являются NP-полными (по крайней мере), тогда как оптимизация непрерывных задач почти всегда легко достижима, обычно с помощью градиентных методов. Есть ли исключения из этого?
2
Причины верить (или нет)
Этот вопрос перенесен из Биржи стеков информатики, потому что на него можно ответить в Теоретической бирже информатики. Мигрировал 6 лет назад . Кажется, что многие люди считают, что , отчасти потому, что они считают, что факторинг не является разрешимым с помощью политикана. (Шива Кинтали перечислил несколько других проблем кандидата здесь …
2
Теорема Ладнера против теоремы Шефера
Читая статью «Пора ли объявить победу в подсчете сложностей?» в блоге «Потерянное письмо Годеля и P = NP» они упомянули дихотомию для CSP. После некоторой ссылки, поиска в Google и википедирования, я наткнулся на теорему Ладнера : Теорема Ладнера: если , то в N P ∖ P существуют проблемы , …
3
Понятие монотонных квантовых цепей
В вычислительной сложности есть важное различие между монотонными и общими вычислениями, и знаменитая теорема Разборова утверждает, что 3-SAT и даже MATCHING не являются полиномами в модели монотонных булевых схем. Мой вопрос прост: есть ли квантовый аналог для монотонных цепей (или нескольких)? Есть ли квантовая теорема Разборова?
3
Решите, содержит ли ядро ​​матрицы ненулевой вектор, все записи которого равны -1, 0 или 1
Даны mmm от nnn двоичной матрицы MMM (записи являются 000 или 111 ), проблема в том , чтобы определить, существует два двоичных векторов v1≠v2v1≠v2v_1 \ne v_2 таким образом, что Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2 (все операции , выполняемые над ZZ\mathbb{Z} ). Эта проблема NP-сложная? Это ясно в NP, поскольку вы можете дать …
1
Решение о том, что данная схема
Какова сложность решения, вычисляет ли схема с n входными битами и n выходными битами перестановку { 0 , 1 } n ? другими словами, является ли каждая строка битов в { 0 , 1 } n выходом схемы для некоторого входа? Это похоже на проблему, которая была изучена, но я …
2
Решать, есть ли NC
Я хотел бы спросить о частном случае вопроса « Решение, вычисляет ли данная схема NC 0 перестановку » QiCheng, который остался без ответа. Булева схема называется цепью NC 0 k , если синтаксически каждый выходной вентиль зависит не более чем от k входных вентилей. (Мы говорим, что выходной вентиль g …
2
Сложность топологических свойств.
Я ученый, изучающий топологию (разброс топологии точечных множеств, сильно приправленный теорией континуума). Я заинтересовался решением проблем, проверяя описание пространства (с помощью симплексов) для топологических свойств; сохранились до гомеоморфизма. Например, известно, что определение рода узла находится в PSPACE и является NP-Hard. (Agol 2006; Hass, Lagarias, Pippenger 1999) Другие результаты имеют еще …
2
Каковы последствия Паритета-L = P?
Parity-L - это набор языков, распознаваемых недетерминированной машиной Тьюринга, которые могут различать только четное число или нечетное число путей «принятия» (а не нулевое или ненулевое число путей принятия), и который далее ограничено работой в логарифмическом пространстве. Решение линейной системы уравнений над ℤ 2 является полной проблемой для Паритета-L, поэтому Паритет-L …
2
NP-промежуточные задачи с эффективными квантовыми решениями
Питер Шор показал, что две из наиболее важных NP-промежуточных задач, факторинг и проблема дискретного логарифмирования, находятся в BQP. Напротив, самый известный квантовый алгоритм для SAT (поиск Гровера) дает только квадратичное улучшение по сравнению с классическим алгоритмом, намекая на то, что NP-полные задачи все еще неразрешимы на квантовых компьютерах. Как указывают …
3
Есть ли кандидат на естественную проблему в ?
Я хочу знать, помогает ли неравномерность вычислительным функциям на практике. Легко показать, что в есть функции, возьмем любую невычислимую функцию и рассмотрим язык { }, который явно имеет простые неоднородные схемы , но не вычисляется равномерно, но это не тот тип функций, который меня интересует.f 0 f ( n ) …
6
Какие проблемы SAT легко?
Что такое «легкие регионы» для удовлетворения? Другими словами, достаточные условия для того, чтобы некоторые SAT-решатели могли найти удовлетворяющее назначение, предполагая, что оно существует. Одним из примеров является то, что, когда каждое предложение совместно использует переменные с несколькими другими предложениями, из-за конструктивного доказательства LLL, есть ли какие-либо другие результаты в этом …
2
Приблизительный подсчет проблем с захватом BQP
В модели черного ящика проблема определения выходного сигнала машины BPP на входе является приближенной задачей подсчета определения с аддитивной ошибкой 1/3 (скажем).M(x,r)M(x,r)M(x,r)xxxErM(x,r)ErM(x,r)E_r M(x,r) Есть ли похожая проблема для BQP? Этот комментарий Кена Ригана наводит на мысль о такой проблеме Вы можете свести вопрос BPP к приближению к одной функции #P, …
6
Как в вычислениях указываются действительные числа?
Это может быть основной вопрос, но я читал и пытался понять статьи по таким темам, как вычисление равновесия по Нэшу и тестирование линейного вырождения, и не был уверен в том, как действительные числа указываются в качестве входных данных. Например, когда утверждается, что LDT имеет определенные полиномиальные нижние границы, как определяются …
1
Сложность питания матрицы
Пусть - квадратная целочисленная матрица, а n - положительное целое число. Меня интересует сложность решения следующей проблемы:MMMnnn Является ли запись в верхнем правом углу положительной?MnMnM^n Обратите внимание, что очевидный подход повторного возведения в квадрат (или любого другого явного вычисления) требует, чтобы мы потенциально обрабатывали целые числа с удвоенной экспоненциальной величиной, …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.