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

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

1
Эта игра EXPSPACE-завершена?
Пусть будет полиномиальный детерминированный машина , которая может задавать вопросы некоторым оракулом А . Первоначально A пусто, но это можно изменить после игры, которая будет описана ниже. Позвольте x быть некоторой строкой.MMMAAAAAAxxx Рассмотрим следующую игру Алисы и Боба. Первоначально Алиса и Боб имеют и m B долларов соответственно. Алиса хочет …
1
Гипотеза: все FPT-NP-полные языки являются фиксированными параметрами-изоморфными
Гипотеза Бермана – Хартманиса: все NP-полные языки выглядят одинаково в том смысле, что они могут быть связаны друг с другом полиномиальными изоморфизмами времени [1]. Меня интересует более мелкозернистая версия «полиномиального времени», то есть, если мы используем параметризованные сокращения. Параметризованная задача - это подмножество , где Σ - конечный алфавит, а …
1
Можно ли классифицировать дифференциальные уравнения в их собственные классы сложности?
В целом проблемы были классифицированы благодаря сложности вычислений. Но можно ли в дифференциальных уравнениях классифицировать дифференциальные уравнения в зависимости от их вычислительной структуры? Например, если неоднородное уравнение первого порядка сравнительно трудно решить, чем, скажем, однородное уравнение 100-го порядка, можно ли их классифицировать как отдельные классы выпуклости, учитывая, что метод решения …
1
NP-полная проблема с полиномиальным количеством сертификатов?
Давайте назовем язык NP редко сертифицированным тогда и только тогда, когда:L ∈L∈L \in Существует такой многочлен , что для каждого входа x ∈ Σ ∗ размера n , если x ∈ L, то множество U x сертификатов u, которые проверяют, что x ∈ L имеет полиномиальный размер, т. Е. | …
1
Естественная проблема в
Класс сложности определяется следующим образом (из Википедии ):Sп2S2P\textrm{S}_2^\textrm{P} Язык находится в S P 2, если существует предикат P полиномиального времени, такой чтоLLLSп2S2PS_2^PпPP Если , то существует такой y , что для всех z , P ( x , y , z ) = 1x ∈ Lx∈Lx \in LYyyZzzп( х , …
3
Какова самая быстрая из известных симуляций БПП с использованием алгоритмов Лас-Вегаса?
BPPBPP\mathsf{BPP} иZPPZPP\mathsf{ZPP} - два основных класса вероятностной сложности. BPPBPP\mathsf{BPP} - это класс языков, определяемых вероятностными алгоритмами Тьюринга за полиномиальное время, где вероятность возврата неправильного ответа ограничена, т. Е. Вероятность ошибки не превышает1313\frac{1}{3} (для случаев ДА и НЕТ). С другой стороны, алгоритмы ZPPZPP\mathsf{ZPP} можно рассматривать как те вероятностные алгоритмы, которые никогда …
1
Возможно ли, что детерминистская псевдослучайность сильнее параллельности случайности?
Пусть класс BPNC (комбинация и ) будет параллельным алгоритмом глубины логарифма с ограниченной вероятностью ошибки и доступом к случайному источнику (я не уверен, что у него другое имя). Определите класс DBPNC аналогичным образом, за исключением того, что все процессы имеют произвольный доступ к случайному потоку битов, зафиксированному при запуске алгоритма.Н …
2
Об обратном 3-SAT
Контекст : Каввадиас и Сидери показали, что обратная задача 3-SAT является coNP Complete: если набор моделей для переменных, существует ли формула 3-CNF, такая что является ее точным набором моделей? Возникает формула непосредственного кандидата, которая является соединением всех 3-пунктов, удовлетворяемых всем моделям в .n ϕ ϕϕϕ\phinnnϕϕ\phiϕϕ\phi Поскольку он содержит все 3 …
1
Можно ли использовать описательную версию сложности теоремы Райса для разделения AC0 и PSPACE?
В этом вопросе было отмечено, что существуют версии описательной сложности теоремы Райса. Я нашел доказательство следующей теоремы: Учитывая класс сложности C , нетривиальные свойства языков в C не могут быть вычислены в C Ранее я опубликовал найденное мной доказательство, но поскольку оно было очень длинным и в комментариях было указано, …
2
Известен ли какой-либо класс сложности, содержащий онлайн-аналоги задач оптимизации?
Известен ли какой-либо класс сложности, содержащий онлайн-аналоги задач оптимизации? Если нет, то как можно определить такой класс? Мы знаем, что у многих проблем есть онлайн-версия: например, онлайн-версия проблемы с упаковкой бункера. Проблемы онлайн сложнее, если судить по их конкурентоспособности. И я не нашел ничего похожего по сложности в зоопарке . …
1
Каковы сложности следующих подмножеств SAT?
Предположим,п≠ NпP≠NPP \neq NP Давайте использовать следующие обозначения для тетратации (то есть. ).яaia{}^iaяа = аa⋅⋅⋅aя разia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | Х | это размер экземпляра х. Пусть L язык,L |е( i ) ≤ | х | < г( я ): = { x ∈ L | ∃ я …
5
Классы сложности для случаев, отличных от «наихудшего случая»
Есть ли у нас классы сложности, скажем, относительно средней сложности? Например, существует ли (именованный) класс сложности для задач, решение которых занимает ожидаемое полиномиальное время? Другой вопрос рассматривает сложность наилучшего случая , приведенную ниже. Есть ли класс (естественных) проблем, решение которых требует хотя бы экспоненциального времени? Для уточнения, рассмотрим некоторые EXP …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.