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

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

1
Значение P = NP? зависит от геометрии пространства-времени?
Этот вопрос о странице 125 книги «Клеточные автоматы в гиперболических пространствах: Том 2» Мориса Маргенстерна, Publisher Archives современники, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 По мнению автора, вопрос P = NP некорректен, поскольку в гиперболическом сеттинге P = NP или в обозначениях, использованных позже в книге P h = NP h . Я не …
1
Сложность гекса со случайным порядком поворота.
Я думал о варианте гексагона , где вместо двух игроков поочередно делают ходы, каждый ход, выбранный случайным образом, делает ход. Насколько сложно определить шансы каждого игрока на победу? Эта проблема, очевидно, есть в PSPACE, но не может ли она быть NP-сложной, а тем более PSPACE-полной. Трудности возникают из-за того, что …
1
Релятивизируется ли псевдослучайный генератор Нисана?
Нисан доказал в «Псевдослучайных генераторах для пространственно-ограниченных вычислений», что существует псевдослучайный генератор, который «обманывает» ограниченные в пространстве вычисления. Эта конструкция справедлива для каждого оракула (по крайней мере, для неадаптивных запросов)?
3
UGC твердость предиката
Фон : В оригинальной статье UGC Субхаша Хота ( PDF ) он доказывает, что UG-сложность определения того, допускает ли заданный экземпляр CSP ограничения всех форм Не-все-равные (a, b, c) по троичному алфавиту 1 - ограничений или не существует никаких заданий, удовлетворяющих 8ϵϵ\epsilonиз ограничений, при сколь угодно маломе>0.89+ϵ89+ϵ\frac{8}{9}+\epsilonϵ>0ϵ>0\epsilon > 0 Я …
1
Можем ли мы решить, есть ли у перманента уникальный термин?
Предположим, нам дана матрица n по n, M, с целочисленными элементами. Можем ли мы решить в P, существует ли перестановка такая, что для всех перестановок мы имеем ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Мя σ( я )≠ П Мя π( я )ΠMяσ(я)≠ΠMяπ(я)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Замечания. Конечно, можно заменить продукт суммой, проблема остается той …
2
Взаимосвязь между симметрией и вычислительной непроницаемостью?
-fixed точки без проблем автоморфизма запрашивает автоморфизм графа , который перемещается по крайней мере , к ( п ) узлы. Проблема в том, что N P- полна, если k ( n ) = n c для любого c > 0.kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Однако, если то задача полиномиального времени Тьюринга сводится к проблеме …
5
Более сильные понятия униформизации?
Единственный пробел, который я всегда осознавал, что я на самом деле не понимаю, - это неравномерная и равномерная вычислительная сложность, где сложность схемы представляет собой неоднородную версию, а машины Тьюринга - это вещи, которые являются однородными. Я предполагаю, что «равномерный» - это способ ограничить класс алгоритмов, например, не допуская совершенно …
3
Какие
Знаменитая картина мира Нила Иммермана выглядит следующим образом (нажмите, чтобы увеличить): Его «действительно выполнимый» класс не включает другого класса; мой вопрос тогда: Что такое проблема AC 0, которая считается непрактичной и почему?
1
Оракулярное разделение между много- и логарифмическими квантовыми цепями
Следующая проблема появляется в списке Ааронсона « Десять полуградовых вызовов для теории квантовых вычислений» . IsB Q P = B P PB Q N CВQпзнак равноВппВQNС\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} р о л у л о г (п) В В Р В Р Р Б В Н С Другими словами, может ли «квантовая» часть …
1
LogDCFL-полные проблемы
LogCFL - это набор всех языков, пространство логирования которых сводится к языку без контекста. Аналогично, LogDCFL - это набор всех языков, пространство логирования которых сводится к детерминированному контекстно-свободному языку. Смотрите эту статью в Википедии, чтобы узнать о некоторых естественных проблемах, связанных с LogCFL. Есть несколько других интересных LogCFL-полных проблем. Я …
1
Чтение на
Что я должен прочитать, чтобы понять эту проблему? Мощность квантовых цепей малой глубины. Является ли ? Другими словами, может ли «квантовая» часть любого квантового алгоритма быть сжата до глубины полилога (n), если мы хотим выполнить классическую постобработку за полиномиальное время? (Известно, что это верно для алгоритма Шора.) Если это так, …
1
Имеет ли ?
Я ожидаю, что ответ будет отрицательным, но я не смог построить контрпример. Разница в том, что в мы не сможем выбрать алгоритм равномерно в .O ( n 2 + ε ) ε∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε Под ласточкин хвост аргумента (например, см этот вопрос ), если существует се множество машин Тьюринга решении языка …
3
Количественные булевы формулы с логарифмическими чередованиями
Я изучаю проблему, которая трудна для класса количественных логических формул с логарифмическим числом чередований кванторов. Проблема в этом классе будет выглядеть так: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xaжурнал⁡N)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F Там , где журнал п = п , а Р представляет …
3
Примеры успешной дерандомизации от БПП к П
Каковы некоторые основные примеры успешной дерандомизации или, по крайней мере, прогресса в демонстрации конкретных доказательств достижения цели (а не связи между случайностью и жесткостью)?п= B Pппзнак равноВппP=BPP Единственный пример, который мне приходит в голову, - это тестирование AKS на детерминированность полиномиального времени (даже для этого была методология, предполагающая GRH). Итак, …
1
Динамическое программирование никогда не бывает слабее, чем Greedy?
В сложности схемы у нас есть разделения между степенями различных моделей схемы. В сложности доказательства мы имеем разделения между степенями различных систем доказательства. Но в алгоритмическом у нас все еще есть только несколько разделений между степенями алгоритмических парадигм . Мои вопросы ниже направлены на то, чтобы затронуть эту последнюю проблему …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.