«relativization» etiketlenmiş sorular

NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Şimdi oracle kapıları olan devre ailelerini düşünün - örneğin, , burada , temeline eklenen oracle kapıları aracılığıyla başka bir sınıfına oracle erişimi olan günlük alanı içeren bir devre karmaşıklık sınıfıdır . Bu tür sınıflar için bilinen Ladner-Lynch gazetesine benzer ruhsal benzer patolojik örnekler var mı? Bu tür …

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

Köşegenleştirme ve rölativasyon sonuçlarına dayanmayan bir sınıf ayrımı gördüğümü hatırlamıyorum. Diyagonalleştirme hala bilinen bilinen sınıfları ayırmak için kullanılabilir, çünkü rölatifleştirmeyen argümanlar köşegenleştirme sonucunda veya köşegenleştirilmiş Turing makinesi yapısında hala kullanılabilir. İlgili bazı sorular: Köşegenleştirmeye dayalı olmayan sınıf ayrımı kanıtları var mı? Ve öyle olsa bile Arkalarında bir öz-referans mekanizması bulabilir …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Let be herhangi EXP komple sorunu. Daha sonra, .P A = N P AbirAAPbir= NPbirPA=NPAP^A = NP^A Let o sorguları hesapları dikkate alır bazı kahin olmaya (P bir TM) yapacak ve biz alabilirsiniz .M P B ≠ N P BBBBMMMPB≠ NPBPB≠NPBP^B \neq NP^B Soru: P vs BPP için benzer kehanet …

10 cc.complexity-theory  oracles  relativization 

Yenilmez jeneratörler aşağıdaki gibi tanımlanır: Let bir NP bağıntı ve kabul eden bir makine olabilir . Gayri resmi olarak, girişinde ile örnek tanık çiftleri üretiyorsa, gayri resmi bir program değişmez bir üreticidir. , altında verilen herhangi bir polinom-zaman düşmanının, cinsinden , kayda değer olasılıkla çok sayıda uzunluk için bir tanık …

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

Şifreleme üzerine bu soruyu gördüğümden beri çeşitli zamanlarda aşağıdaki soruyu düşünüyorum . Soru İzin Vermek RRRBir olmak TFNP ilişkisi. Rastgele bir kehanet P / poly'nin kırılmasına yardımcı olabilir RRRihmal edilemez bir olasılıkla? Daha resmi olarak, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} mu Tüm için P / poli algoritmaları , \ Pr_x [R …

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