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

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

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

Я не пам'ятаю, як бачив поділ класів, який не базувався на результатах діагоналізації та релятивізації. Діагоналізація все ще може бути використана для відокремлення залишилися відомих класів, оскільки нерелятивізуючі аргументи все ще можуть використовуватися у висновку діагоналізації або в діагоналізованій конструкції машини Тьюрінга. Ось кілька пов'язаних питань: Чи існують докази поділу …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Нехай є будь-якою повною проблемою 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 

Я роздумував над цим питанням у різні часи, відколи бачив це питання на криптографії . Питання Дозволяє RRRбути відношенням TFNP . Чи може випадковий оракул допомогти P / poly зламатисьRRRз незначною ймовірністю? Більш формально, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Чи для всіх P / полі алгоритмів , є незначнимAAAPrx[R(x,A(x))]Prx⁡[R(x,A(x))]\Pr_x [R(x, A(x))] …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles