«derandomization» etiketlenmiş sorular

Her rastgele algoritma, çalışma süresinde üssel bir artış pahasına deterministik bir algoritma ile simüle edilebilir. Derandomizasyon, randomize algoritmaları etkili deterministik algoritmalara dönüştürmektir.

1
PP PH hakkında daha fazla?
Bir son soru sınıfı PH sınıfı PP yer aldığını soran Huck Bennett tarafından, (öyle görünüyor ki, hepsi gerçek) biraz çelişkili cevaplar aldı. Bir yandan, bazı kehanet sonuçları tam tersine verildi ve diğer Scott, cevabın olumlu olduğunu öne sürdü çünkü Toda'nın teoremi, PH'nın PP'nin olasılık varyantı olan BP.PP'de olduğunu gösteriyor ve …
3
Neden rasgelelik, indirgemede algoritmalardan daha güçlü bir etkiye sahiptir?
Rastgeleliğin polinom zaman algoritmalarının gücünü arttırmadığı, yani, nin bekletildiği varsayılır. Öte yandan, rastgelelik polinom zamanını azaltmada oldukça farklı bir etkiye sahip görünüyor . Valiant ve Vazirani iyi bilinen sonucu olarak, azaltır randomize polinom zaman indirgenmesi yoluyla. Azalma ihtimalinin düşük olması muhtemel değildir, çünkü muhtemel olmadığı düşünülen değerini verecektir .P=BPPP=BPP{\bf P}={\bf …
6
Determinizmin zor olduğu yerlerde verimli ve basit randomize algoritmalar
Sıklıkla birçok problem için çok zarif rastgele algoritmalar tanıdığımızı duyuyorum, ancak hayır ya da daha karmaşık, deterministik çözümler yok. Ancak bunun için sadece birkaç örnek biliyorum. En belirgin Randomize Quicksort (ve ilgili geometrik algoritmalar, örneğin dışbükey gövdeler için) Randomize Mincut Polinom Kimlik Testi Klee'nin Ölçü sorunu Bunlar arasında sadece polinom …
2
Valiant-Vazirani’nin derandomize edilmesi?
Valiant-Vazirani teoremi tam olarak bir tatmin edici bir düzenlemeye sahiptir SAT formülü ve bir edilemezdir formül arasında ayrım yapmak için bir polinom zaman algoritmasını (deterministik ya da randomize) bulunmaktadır - sonra NP = RP . Bu teorem, UNIQUE-SAT'ın, rastgele indirgeme altında NP- hard olduğunu göstererek kanıtlanmıştır . Mantıklı derandomizasyon varsayımlarına …
3
Problemler
Hangi problemlerin ye ait olduğu, ancak ye ait olduğu ?PB P PBPP\mathsf{BPP}PP\mathsf P Daha doğrusu, bağımsızlıklarla ilgileniyorum , ki bu derandomasyonlarının eşdeğer olduğu bilinmemektedir. Örneğin, PIT’in derandomize edilmesinin ve çok değişkenli polinom faktörizasyonunun eşdeğer olduğu ve onları tek bir problem olarak kabul edebileceğim bilinmektedir . motivasyonu, " de ' de …
4
P = RP için hangi özel kanıtlar var?
RP , polinom zamanında sona eren ve aynı zamanda tek taraflı bir hataya izin verilen, belirli olmayan bir Turing makinesi tarafından çözülebilen sorunların sınıfıdır. P, polinom zamanında sonlanan deterministik bir Turing makinesi tarafından çözülebilen olağan problem sınıfıdır. P = RP, devre karmaşıklığındaki bir ilişkiden sonra gelir. Impagliazzo ve Wigderson , …
2
Yer verimli “endüstriyel” dengesiz genişleticiler
"İyi" ve "alan açısından verimli" dengesiz genişleticiler arıyorum. Spesifik olarak, bir bipartit sol normal grafik , , , sol derecesi ile a, -expander herhangi ise en çok boyutta , belirgin komşu sayısı içinde olan en az. Olasılıklı yöntemin böyle bir grafiği ve verdiği bilinmektedir . Ancak, bir kişiG=(A,B,E)G=(A,B,E)G=(A,B,E)|A|=n|A|=n|A|=n|B|=m|B|=m|B|=mddd(k,ϵ)(k,ϵ)(k,\epsilon)S⊂AS⊂AS \subset AkkkSSSBBB(1−ϵ)d|S|(1−ϵ)d|S|(1-\epsilon)d|S|d=O(log(n/k)/ϵ)d=O(log⁡(n/k)/ϵ)d=O(\log …
1
Sonuçları
İken Adleman teoremi olduğunu gösterileri, , ben dahil edilmesini araştıran herhangi bir yayının farkında değilim B Q P ⊆ P / poli . Böyle bir dahil etmenin ne gibi karmaşıklık-teorik sonuçları olur?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Adleman'ın teoremine bazen "derandomizasyon argümanlarının öncüsü" denir. arasında "kuantumluluğu" dair bir kanıt olmamasına karşın, …
4
Kuantum algoritmaları için derandomizasyona eşdeğer bir şey var mı?
Bazı rasgele algoritmalar ile rasgele bitlerin kullanımını kaldırarak (olası bir maliyetle) rastgele bitlerin kullanımını kaldırabilir ve hedef üzerindeki bazı alt sınırları en üst düzeye çıkarabilirsiniz (genellikle teoremlerin rasgele beklenen performansla ilgili olmasıyla hesaplanır) algoritması). Kuantum algoritmaları için bir eşdeğer var mı? "Deakantizasyon" un iyi bilinen sonuçları var mı? Yoksa bu …
2
Yeterince büyük boyuttaki afin alt uzaylarda sabit olmayan bir Boolean fonksiyonu
Açık bir Boolean işlevi f ile ilgileniyorum :f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}şu özelliğe sahipse: , bazı afin alt uzayında sabitse, bu alt uzayın boyutu .fff o ( n )0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Simetrik bir fonksiyonun dikkate alınarak bu özelliği karşılamadığını göstermek zor değildir . herhangi bir tam olarak 'e sahiptir ve bu nedenle …
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.