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

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

30
Есть ли оракул такой, что САТ не бесконечно часто в субэкспоненциальном времени?

Определим - S U B E X P как класс языков L , для которого существует язык L ′ ∈ ∩ ε > 0 T I M E ( 2 n ε ) и для бесконечного множества n , L и L ′ согласны на всех экземплярах длины n . (То есть это класс языков, которые могут быть «решены бесконечно часто, в субэкспоненциальном...

28
Существуют ли канонические нерелятивизирующие методы?

Во многих областях есть канонические методы, которые должен освоить каждый, кто работает в этой области. Например, для сокращения пространства журналов «битовый трюк» для композиции состоит в том, чтобы не создавать полный вывод составной функции, а всегда запрашивать пересчет результата для...

20
ограниченные в пространстве ТМ и оракулы

В общем, лента запросов для оракула учитывает сложность пространства ТМ. Тем не менее, кажется правдоподобным разрешить запись оракула только для записи (например, которая используется в сокращениях L-пространства). Полезна ли такая конструкция? Дает ли он какие-то особенно абсурдные...

18
Для случайного оракула R равен ли BPP множеству вычислимых языков в P ^ R?

Ну, название в значительной степени говорит обо всем. Интересный вопрос выше задал комментатор Джей в моем блоге (см. Здесь и здесь ). Я предполагаю, что ответ - да, и что есть относительно простое доказательство, но я не мог видеть это наизусть. (Однако очень грубо можно попытаться показать, что...

18
Восстановление дерева по запросам разделителей

Предположим, что TTT - дерево постоянной степени, структура которого мы не знаем. Проблема состоит в том, чтобы вывести дерево , задавая запросы в форме: «Находится ли узел на пути от узла к узлу ?». Предположим, что на каждый запрос оракул может ответить в постоянное время. Мы знаем значение ,...

18
П с целочисленной факторизацией оракула

Я только что прочитал вопрос « Является ли целочисленная факторизация NP-полной проблемой? » ... поэтому я решил потратить часть своей репутации :-), задавая еще один вопрос с :QQQP(Q is trivial)≈1п(Q тривиально)≈1P(\text{Q is trivial}) \approx 1 Если является оракулом, который решает целочисленную...

17
Что такое оракул минимальной сложности, который отделяет PSPACE от полиномиальной иерархии?

Фон Известно , что существует оракул такое , что .P S P A C E A ≠ P H AAAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Даже известно, что разделение справедливо относительно случайного оракула. Неофициально можно интерпретировать это как означающее, что существует много оракулов, для которых и...

16
Построение Oracle для алгоритма Гровера

В «Квантовых вычислениях и квантовой информации» Майка и Айка алгоритм Гровера объясняется очень подробно. Тем не менее, в книге и во всех объяснениях, которые я нашел в Интернете для алгоритма Гровера, кажется, нет упоминания о том, как устроен Оракул Гровера, если только мы уже не знаем, какое...

14
Теория сложности, когда оракул является частью ввода

Наиболее распространенный способ возникновения оракулов в теории сложности заключается в следующем: фиксированный оракул предоставляется, скажем, машине Тьюринга с определенными ограниченными ресурсами, и изучается, как оракул увеличивает вычислительную мощность машины. Есть, однако, другой способ,...

13
Исчерпывающий симулятор протоколов нулевого знания в модели случайного Oracle

В статье под названием «Об отрицании в общей эталонной строке и случайной модели Oracle» Рафаэль Пасс пишет: Мы отмечаем, что при проверке безопасности в соответствии со стандартным определением нулевого знания в модели RO [Random Oracle], симулятор имеет два преимущества по сравнению с симулятором...

13
Схемы с оракулами против машин Тьюринга с оракулами

Проще говоря: как соотносятся машины Тьюринга с оракулами и семействами однородных цепей с оракулами? Как последние определяются для получения той же вычислительной модели для данной машины оракула Тьюринга? Это может быть элементарный вопрос, но не очевидно, где искать, и я из тех людей, которым...

12
Является ли

Автор: http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf. Если является PSPACE-полный язык, Р = N P A .AAAпA= NпAPA=NPAP^{A}=NP^{A} Если является детерминированным оракулом полиномиального времени, P B ≠ N P B (при условии, что P ≠ N P ).ВBBпВ≠ NпВPB≠NPBP^{B}\ne NP^{B}п≠ NпP≠NPP\ne NP -...

12
как оракул

Имеет ли 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} является «детерминированным», что заставляет меня верить, что это правда. Есть ли простое доказательство (или, может...

12
Сжатие информации о проблеме остановки машин оракула Тьюринга

Хорошо известно, что проблема остановки является неисчислимой. Тем не менее, можно экспоненциально «сжать» информацию о проблеме остановки, так что ее распаковка является вычислимой. Точнее, можно вычислить из описания машин Тьюринга и n- битного состояния рекомендации ответ на проблему остановки...

11
Являются ли оракулы ассоциативными?

Этот вопрос может иметь очевидный ответ ... но вот вопрос в любом случае. Интуитивно понятно, что это следующее правдоподобное утверждение - «машина с подпрограммой A, которая в свою очередь имеет подпрограмму B, такая же, как машина с подпрограммой A, у которой есть доступ к подпрограмме B». Чтобы...

11
Руццо-Симон-Томпа Механизм доступа оракула

NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Теперь рассмотрят схему семьи с оракулом воротами - скажем, , где классе сложности схемы , содержащая logspace с доступом оракула к другому классу , через оракул ворот приложенного к основанию . Существуют ли какие-либо патологические примеры, похожие по...

11
Релятивизированный мир, где

Я хотел бы знать , если существует Релятивизированные мир , где . Я также интересно знать , если существует Релятивизированные мир , где P B ≠ N P B = P P B .пA= N PA≠ P PAпAзнак равноNпA≠ппA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}пВ≠ N PВ= P PВпВ≠NпВзнак равноппВ{\bf P^B} \not = {\bf NP^B} = {\bf...

10
Миры, относительно которых «неуязвимые генераторы» не существуют

Неуязвимые генераторы определяются следующим образом: Пусть RRR - отношение NP, а MMM - машина, которая принимает L(R)L(R)L(R) . Неформально программа является неуязвимым генератором, если на входе 1n1n1^n она создает пары свидетельства экземпляра (x,w)∈R(x,w)∈R(x, w) \in R , где |x|=n|x|=n|x| = n...

10
Результаты Oracle на P против BPP

Позвольте быть любой полной проблемой EXP. Тогда Р = Н Р .AAAпA= NпAPA=NPAP^A = NP^A Пусть некоторый оракул , который принимает на счета запросов, М (а ТМ Р) будут делать, и мы можем получить P B ≠ N P B .ВBBMMMпВ≠ NпВPB≠NPBP^B \neq NP^B Вопрос: есть ли у нас аналогичные результаты оракула для P...

10
Является ли

Я не смог найти утверждения, касающегося и N P R P в литературе; указатели будут оценены.MAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Я считаю, что они равны : Машина N P угадывает строку Мерлина, аоракул R P проверяет строку, как Артур.MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq...