Запитання з тегом «oracles»

За http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Якщо є PSPACE-повний мову, Р = N P A .АAAПА= NПАPA=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 ⊆ P …

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

Мені хотілося б знати, чи існує світ релятивізований, де . Мені також цікаво дізнатись, чи існує релятивізований світ, де .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf PP^B}

11 cc.complexity-theory  oracles  relativization 

NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Тепер розглянуть схему сім'ї з оракулом воротами - скажімо, , де класі складності схеми , що містить logspace з доступом оракула до іншого класу , через оракул воріт прикладеного до основи . Чи є якісь патологічні приклади, подібні за духом до папери Ладнера-Лінча, відомої для таких занять? …

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 

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

10 cc.complexity-theory  oracles 

Нехай є будь-якою повною проблемою EXP. Тоді Р = Н Р .АAAPA=NPAPA=NPAP^A = NP^A Нехай деякий оракул , який приймає на рахунку запитів, М (а ТМ Р) будуть робити, і ми можемо отримати P B ≠ N P B .BBBMMMPB≠NPБPB≠NPBP^B \neq NP^B Питання: Чи є у нас подібні результати oracle …

10 cc.complexity-theory  oracles  relativization 

Невразливі генератори визначаються наступним чином: Нехай RRR - відношення NP, а МMM - машина, яка приймає L ( R )L(R)L(R) . Неофіційно програма є невразливим генератором, якщо на вході 1н1n1^n вона створює пари екземплярів-свідків ( x , w ) ∈ R(x,w)∈R(x, w) \in R , з | х | =n|x|=n|x| …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Більшість літератури, здається, стосуються машин з одинарними оракулами для конкретних проблем, однак, мабуть, є кілька робіт, які розглядають машини з декількома оракулами. Чи є хороший документ або теза, яка дає огляд того, що відомо про такі машини? Зокрема, мене цікавить Р з кількома оракулами.

10 oracles  turing-machines