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

Автор: 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 - класс решений аналогичных задач для # P и P ⊆ P P …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Я хотел бы знать , если существует Релятивизированные мир , где . Я также интересно знать , если существует Релятивизированные мир , где 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} …

11 cc.complexity-theory  oracles  relativization 

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

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

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

11 complexity-classes  oracles 

Конструктивная теория типов с ее базовой интерпретацией под соответствием Карри Ховарда состоит только из полных вычислимых функций. В литературе некоторые говорили об использовании «теории вычислительных типов» для представления не-завершения в функциональных программах, но в работах, с которыми я сталкивался, это, кажется, не является основной мотивацией для теории (например, Бентон упоминает …

10 lo.logic  type-theory  oracles  halting-problem 

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

10 cc.complexity-theory  oracles 

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

10 cc.complexity-theory  oracles  relativization 

Неуязвимые генераторы определяются следующим образом: Пусть 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 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Кажется, большая часть литературы посвящена машинам с одним оракулом для конкретных задач, однако, как представляется, есть несколько статей, в которых рассматриваются машины с несколькими оракулами. Есть хорошая статья или тезис, который дает обзор того, что известно о таких машинах? В частности меня интересует P с несколькими оракулами.

10 oracles  turing-machines