«oracles» etiketlenmiş sorular

Hesaplamalı karmaşıklık teorisinde kehanet makineleri ile ilgili sorular. Oracles, karmaşıklık sınıfları arasındaki ayrımın, bazı ispat tekniklerinin kapsamı dışında olduğunun bir göstergesi olabilir.

2
SAT-üstel zaman içinde sonsuz sıklıkta olmayan bir kehanet var mı?
Tanımlama ioioio - SUBEXPSUBEXPSUBEXP dil sınıfı olmak LLL bir dil olduğu şekilde L′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}}) ve sonsuz sayıda için nnn , LLL ve L′L′L' kabul uzunluğu tüm örneklerini nnn . (Yani, bu, "sınırsız bir zamanda, sonsuz sıklıkta çözülebilen diller" sınıfıdır.) Bir torpil var AAA şekilde NPA⊄ioNPA⊄ioNP^A \not\subset …
1
Kanonik göreceli olmayan teknikler var mı?
Birçok alanda, sahada çalışan herkesin ustalaşması gereken kanonik teknikler vardır. Örneğin, logspace azaltmaları için, oluşturulan işlevin tam çıktısını oluşturmaktan değil, her zaman çıktının her bitinin sonucunu yeniden hesaplamak isteyen ve logspace sınırlarını korumaya izin veren kompozisyon için "bit numarası". Benim sorum göreceli olmayan tekniklerle ilgili. Teorisyenler göreceli olmayan temel işlemlerin …
3
uzay sınırlı TM'ler ve kehanetler
Genel olarak, bir kehanet için sorgu-bandı bir TM'nin alan karmaşıklığına doğru sayılır. Bununla birlikte, salt yazılır bir kehanet kasetine izin vermek mantıklı görünmektedir (L alanı azaltmalarında kullanılanlar gibi). Böyle bir yapı faydalı mı? Özellikle saçma sonuçlar veriyor mu?
2
Ayırıcı sorgularından bir ağacı yeniden yapılandırma
Diyelim ki , yapısını bilmediğimiz sabit dereceli bir ağaçtır. Sorun çıkışına ağaçtır "düğüm mu: Formun sorguları sorarak düğümü gelen yolda yalan düğümü için ?". Her bir sorgunun bir kehanet tarafından sabit zamanda cevaplanabileceğini varsayın. değerini , ağaçtaki düğüm sayısını biliyoruz . Amaç, ağacının çıktısını almak için harcanan zamanı en aza …
5
Tamsayı çarpanlara ayırma kehaneti ile P
Ben sadece "okumak ? Çarpanlara tamsayı NP-tam problemi mi " sorusunu ... Ben başka bir soru sorarak itibarımı bazı :-) geçirmeye karar böylece sahip P ( Q önemsiz ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Eğer çarpanlara tamsayı çözer, gücü nedir o bir kahin olan …
1
PSPACE'i polinom hiyerarşisinden ayıran minimum karmaşıklık kehaneti nedir?
Arka fon Bir torpil var olduğu bilinmektedir AAA öyle ki, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Ayrılmanın rastgele bir kehanete göre olduğu bile bilinmektedir. Gayri, bir çok sayıda ürün kahinler olduğu anlamına bu yorumlayabilir PSPACEPSPACEPSPACE ve PHPHPH ayrıdır. Soru Karmaşık nasıl ayrı bu Kehanetlerini olan PSPACEPSPACEPSPACE ile ilgili PHPHPH . Özel olarak, …
1
Grover Algoritması için Oracle Construction
Mike ve Ike'nin "Kuantum Hesaplama ve Kuantum Bilgisi" nde, Grover'ın algoritması ayrıntılı olarak açıklanmaktadır. Bununla birlikte, kitapta ve Grover'ın algoritması için çevrimiçi bulduğum tüm açıklamalarda, hangi durumu aradığımızı bilmedikçe, amacını yenerek Grover'ın Oracle'ın nasıl inşa edildiğinden bahsedilmiyor gibi görünüyor. algoritması. Özellikle, sorum şu: bazı f (x), bazı x değeri için …
3
Bir kehanet girdinin bir parçası olduğunda karmaşıklık teorisi
Oracles'ın karmaşıklık teorisinde ortaya çıkmasının en yaygın yolu şudur: Örneğin, belirli sınırlı kaynaklara sahip bir Turing makinesi için sabit bir kehanet mevcuttur ve biri kehanetin makinenin hesaplama gücünü nasıl arttırdığını inceler. Bununla birlikte, bazen kehanetlerin ortaya çıkmasının başka bir yolu vardır: girdinin bir parçası olarak . Örneğin, belirli bir yüksek …
2
Rastgele Oracle Modelinde Sıfır Bilgi Protokollerinin Yorucu Simülatörü
Rafael Pass, "Ortak Referans Dizesinde ve Rastgele Oracle Modelinde İnkar Edilebilirlik Üzerine" başlıklı bir makalede şunları yazıyor: RO [Random Oracle] modelindeki standart sıfır bilgi tanımına göre güvenliği kanıtlarken, simülatörün düz bir model simülatöre göre iki avantajı olduğunu, Simülatör, partilerin kâhini hangi değerleri sorguladığını görebilir. Simülatör, cevapları "göründüğü" sürece, bu sorguları …
1
Oraclesli Devreler vs. Oraclesli Turing Makineleri
Basitçe söylemek gerekirse: Oraclesli Turing makineleri ve oraclesli üniform devre aileleri arasındaki uyum nedir? Belirli bir oracle Turing makinesi için aynı hesaplama modelini elde etmek için ikincisi nasıl tanımlanır? Bu temel bir soru olabilir, ancak nereye bakılacağı açık değildir ve vakıflarımın kaliteli harç kullandığından emin olmaktan hoşlanan biriyim. Standart bir …
1
Oracle Turing makineleri için durma problemi hakkında bilgi sıkıştırma
Durma sorununun hesaplanamaz olduğu iyi bilinmektedir. Bununla birlikte, durdurma problemi hakkındaki bilgileri katlanarak "sıkıştırmak" mümkündür, böylece sıkıştırmanın açılması hesaplanabilir. Daha doğrusu, Turing makinelerinin ve n- bit tavsiyelerinin bir açıklamasından hesaplamak mümkündür , tavsiye etme durumunun güvenilir olduğu varsayılarak Turing makinelerinin tüm 2 n - 1 için durma probleminin cevabı - …
1
Kannan'ın teoremi SONRAKİ ^ NP ⊄ P / poli anlamına mı geliyor?
Buhrman ve Homer'ın “ Süperpolinom Devreleri, Neredeyse Seyrek Orakles ve Üstel Hiyerarşi” adlı bir makalesini okuyordum . Sayfa 2'nin alt kısmında sonuçlarının polinom boyutu devreleri olmadığını ima ettiğini . Ben üstel zaman hiyerarşisinde, biliyoruz adildir ve ben de Kannan en sonucu olduğunu biliyoruz öyle ki . Tabii ki, teoremi (bunun …
1
kehanet olarak
Mu tutuşu!NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} Açıkçası , ama bana öyle geliyor ki "deterministik", bu da bunun doğru olduğuna inandırıyor.NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}NP∩coNPNP∩coNP\mathsf{NP\cap coNP} Basit bir kanıt var mı (ya da sadece tanım gereği)?
1
Ki Oracle göre içinde yer almayan
Karmaşıklık Genetiği Greg Kuperberg bir dil olduğunu belirtir XXX , öyle ki BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X , diğer bir deyişle, - BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - ancak bu sonuç için referans vermiyor. Bu neden geçerli? Veya bir kanıt nerede bulunabilir? Bu soru kısmen motive edilir Cevabıma sorusuna “kısa mesajları ile çoklu …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.