Вопросы с тегом «oracles»

Вопросы о оракулах в теории вычислительной сложности. Оракулы могут служить индикатором того, что разделение между классами сложности выходит за рамки определенных методов доказательства.

1
Существуют ли канонические нерелятивизирующие методы?
Во многих областях есть канонические методы, которые должен освоить каждый, кто работает в этой области. Например, для сокращения пространства журналов «битовый трюк» для композиции состоит в том, чтобы не создавать полный вывод составной функции, а всегда запрашивать пересчет результата для каждого бита вывода, позволяя сохранить ограничения пространства журнала. Мой вопрос …
3
ограниченные в пространстве ТМ и оракулы
В общем, лента запросов для оракула учитывает сложность пространства ТМ. Тем не менее, кажется правдоподобным разрешить запись оракула только для записи (например, которая используется в сокращениях L-пространства). Полезна ли такая конструкция? Дает ли он какие-то особенно абсурдные результаты?
2
Для случайного оракула R равен ли BPP множеству вычислимых языков в P ^ R?
Ну, название в значительной степени говорит обо всем. Интересный вопрос выше задал комментатор Джей в моем блоге (см. Здесь и здесь ). Я предполагаю, что ответ - да, и что есть относительно простое доказательство, но я не мог видеть это наизусть. (Однако очень грубо можно попытаться показать, что если бы …
2
Восстановление дерева по запросам разделителей
Предположим, что TTT - дерево постоянной степени, структура которого мы не знаем. Проблема состоит в том, чтобы вывести дерево , задавая запросы в форме: «Находится ли узел на пути от узла к узлу ?». Предположим, что на каждый запрос оракул может ответить в постоянное время. Мы знаем значение , количество …
5
П с целочисленной факторизацией оракула
Я только что прочитал вопрос « Является ли целочисленная факторизация NP-полной проблемой? » ... поэтому я решил потратить часть своей репутации :-), задавая еще один вопрос с :QQQP(Q is trivial)≈1п(Q тривиально)≈1P(\text{Q is trivial}) \approx 1 Если является оракулом, который решает целочисленную факторизацию, какова мощность ? AAAPAпAP^A Я думаю, что это …
1
Что такое оракул минимальной сложности, который отделяет PSPACE от полиномиальной иерархии?
Фон Известно , что существует оракул такое , что .P S P A C E A ≠ P H AAAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Даже известно, что разделение справедливо относительно случайного оракула. Неофициально можно интерпретировать это как означающее, что существует много оракулов, для которых и разделены.P HPSPACEPSPACEPSPACEPHPHPH Вопрос Насколько сложны эти оракулы, …
1
Построение Oracle для алгоритма Гровера
В «Квантовых вычислениях и квантовой информации» Майка и Айка алгоритм Гровера объясняется очень подробно. Тем не менее, в книге и во всех объяснениях, которые я нашел в Интернете для алгоритма Гровера, кажется, нет упоминания о том, как устроен Оракул Гровера, если только мы уже не знаем, какое именно состояние мы …
3
Теория сложности, когда оракул является частью ввода
Наиболее распространенный способ возникновения оракулов в теории сложности заключается в следующем: фиксированный оракул предоставляется, скажем, машине Тьюринга с определенными ограниченными ресурсами, и изучается, как оракул увеличивает вычислительную мощность машины. Есть, однако, другой способ, которым оракулы иногда происходят: как часть ввода . Например, предположим, я хочу изучить алгоритмы вычисления объема заданного …
2
Исчерпывающий симулятор протоколов нулевого знания в модели случайного Oracle
В статье под названием «Об отрицании в общей эталонной строке и случайной модели Oracle» Рафаэль Пасс пишет: Мы отмечаем, что при проверке безопасности в соответствии со стандартным определением нулевого знания в модели RO [Random Oracle], симулятор имеет два преимущества по сравнению с симулятором простой модели, а именно: Симулятор может видеть, …
1
Схемы с оракулами против машин Тьюринга с оракулами
Проще говоря: как соотносятся машины Тьюринга с оракулами и семействами однородных цепей с оракулами? Как последние определяются для получения той же вычислительной модели для данной машины оракула Тьюринга? Это может быть элементарный вопрос, но не очевидно, где искать, и я из тех людей, которым нравится следить за тем, чтобы в …
1
Сжатие информации о проблеме остановки машин оракула Тьюринга
Хорошо известно, что проблема остановки является неисчислимой. Тем не менее, можно экспоненциально «сжать» информацию о проблеме остановки, так что ее распаковка является вычислимой. Точнее, можно вычислить из описания машин Тьюринга и n- битного состояния рекомендации ответ на проблему остановки для всех 2 n - 1 машин Тьюринга, предполагая, что состояние …
1
Подразумевает ли теорема Каннана, что NEXPTIME ^ NP ⊄ P / poly?
Я читал статью Бермана и Гомера «Суперполиномиальные цепи, почти разреженные оракулы и экспоненциальная иерархия» . В нижней части страницы 2 они отмечают, что результаты Каннана подразумевают, что NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} не имеет цепей полиномиального размера. Я знаю, что в экспоненциальной иерархии времени NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} является просто Σ2EXPΣ2EXP\Sigma_2EXP , и я также знаю, что …
1
как оракул
Имеет ли NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}удерживать? Ясно, что NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , но мне кажется, что NP∩coNPNP∩coNP\mathsf{NP\cap coNP} является «детерминированным», что заставляет меня верить, что это правда. Есть ли простое доказательство (или, может быть, просто по определению)?
1
Oracle, относительно которого не содержится в
Зоология сложности Грега Куперберга утверждает, что существует такой язык XXX , что BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - другими словами, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - но не дает ссылку на этот результат. Почему это так? Или где найти доказательство? Этот вопрос частично мотивирован моим ответом на вопрос «Что известно о интерактивных доказательствах …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.