«oracles» etiketlenmiş sorular

by http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Eğer bir Pspace tamamlama dil, P bir = N P A .AbirAPA=NPAPbir=N-PbirP^{A}=NP^{A} Eğer deterministik polinom zamanlı oracle, P B ≠ N P B (varsayarak P ≠ N P ).BBBPB≠NPBPB≠N-PBP^{B}\ne NP^{B}P≠NPP≠N-PP\ne NP , # P ve P ⊆ P P ⊆ P S P A C E için analog …

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

göreli bir dünya olup olmadığını bilmek istiyorum . Ayrıca P B ≠ N P B = P P B'nin göreceli bir dünya olup olmadığını bilmekle de ilgileniyorum .Pbir= N Pbir≠ P PbirPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠ N PB= P PBPB≠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} Ş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 

Bu sorunun açık bir cevabı olabilir ... ama yine de soru. Sezgisel olarak şu mantıklı ifadedir - "altyordam B'ye sahip bir altyordam A olan bir makine, altyordam B'ye erişimi olan bir altyordam A'ya sahip bir makine ile aynıdır". Bu sorunu resmi olarak tanımlamak için bazı alışılmadık gösterim kullanacağım. Dediğimde , …

11 complexity-classes  oracles 

Yapıcı tip teorisi, köri howard yazışmaları altındaki temel yorumu ile sadece toplam, hesaplanabilir fonksiyonlardan oluşur. Literatürde, bazılarının fonksiyonel programlarda sonlandırılmayı temsil etmek için "hesaplamalı tip teorisi" kullanımı üzerine söylendiği, ancak karşılaştığım makalelerde, bu teorinin ana motivasyonu gibi görünmemektedir (Örneğin, Benton , fesih etmeme konusunda çok ayrıntıya girmeden determinizm, devam ve …

10 lo.logic  type-theory  oracles  halting-problem 

MAMA\mathsf{MA} ve \ mathsf {NP} ^ \ mathsf {RP} ile ilgili bir ifade bulamadım NPRPNPRP\mathsf{NP}^\mathsf{RP}; işaretçiler takdir edilecektir. Eşit olduklarına inanıyorum: MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : NPNP\mathsf{NP} makinesi Merlin'in dizesini tahmin eder ve RPRP\mathsf{RP} dizesi dizeyi Arthur'un yaptığı gibi doğrular. NPRP⊆MANPRP⊆MA\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA} : Merlin kabul hesaplama tahmin için tüm çağrılar, …

10 cc.complexity-theory  oracles 

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 

Literatürün çoğu belirli problemler için tekil kesikli makinelerle ilgili gibi görünmektedir, ancak çoklu kesikli makineleri düşünen birkaç makale var gibi görünmektedir. Bu tür makineler hakkında bilinenlere genel bir bakış sağlayan iyi bir makale veya tez var mı? Özellikle birden fazla kehanetle P ile ilgileniyorum.

10 oracles  turing-machines