«randomized-algorithms» etiketlenmiş sorular

Davranışı girdisi ile belirlenen bir algoritma ve düzgün rastgele sayılar üreten bir jeneratör.

3
Hangi sınıfta tam olarak% 25 şansla hata yapan rasgele algoritmalar var?
Diyelim ki E (xact) BPP olarak adlandırmamızı sağlayan aşağıdaki BPP varyantını göz önünde bulunduruyorum: Dilin her kelimesini tam olarak 3/4 olasılıkla ve içinde olmayan her kelimeyi kabul eden polinom zaman randomize bir TG varsa bir dil EBPP'de tam olarak 1/4 olasılıkla dil. Açıkçası EBPP BPP'de bulunur, ancak eşit midir? Bu …
1
Örneklemenin karmaşıklığı (yaklaşık olarak) Boole işlevinin Fourier dönüşümü
Kuantum bilgisayarların yapabileceği bir şey (muhtemelen sadece BPP + log derinliği kuantum devreleriyle bile), P'deki bir Boole değerli fonksiyonun Fourier dönüşümünü yaklaşık olarak örneklemektir .±1±1\pm 1 Burada ve aşağıda Fourier dönüşümünü örneklemeden bahsettiğimde, . (Gerekirse ve yaklaşık olarak normalleştirilir).|f^(x)|2|f^(x)|2|\hat f(x)|^2 P-FOURIER SAMPLING diyebileceğimiz karmaşıklık sınıfını, P'nin yaklaşık örnekleme Boole işlevlerinden …
2
Teorik olarak sağlam psödondom jeneratörleri pratikte kullanılıyor mu?
Bildiğim kadarıyla, uygulamada psödondom sayı üretme uygulamalarının çoğu doğrusal kaydırma geri besleme kayıtları (LSFR'ler) veya bu "Mersenne Twister" algoritmaları gibi yöntemleri kullanır. Çok sayıda (sezgisel) istatistiksel testten geçerken, etkin bir şekilde hesaplanabilir tüm istatistiksel testlere yalancı baktıklarına dair teorik bir garanti yoktur. Yine de bu yöntemler, kriptografik protokollerden bilimsel hesaplamadan …
3
Rastgele mi, değil mi?
Bu sorudan, Georgia Tech Algoritmaları ve Rasgelelik Merkezi'nin "Randomize edip etmediğini soran" tişörtünden esinlenilmiştir. Rastgeleleştirmenin, özellikle de rakip ortamlarda çalışırken yardımcı olduğu birçok örnek vardır. Ayrıca, rasgeleleştirmenin yardımcı olmadığı veya zarar vermediği bazı ayarlar da vardır. Sorum şu: Rastgeleleştirme (görünüşte makul bir şekilde) gerçekten acı verirken bazı ayarlar nelerdir? Sorun …
2
Yaklaşık olarak aynı büyüklükteki işlem benzeri veri yapılarının daha hızlı birleşmesi
Verilen iki AVL ağaçları T1T1T_1 ve ve bir değer bu şekilde , yeni AVL ağaç içeren imali kolay olan ve değerleri ve zamanlı , burada bir ağaç yüksekliğini belirtmektedir (sürece ağaçlar yüksekliği depolamak gibi).T2T2T_2trtrt_r∀ x ∈ T1, ∀ y∈ T2, x < tr< y∀x∈T1,∀y∈T2,x<tr<y\forall x \in T_1, \forall y \in …
3
BPP'den P'ye başarılı derandomizasyon örnekleri
Başarılı derandomizasyonun veya en azından hedefine (sertlik rasgelelik bağlantısı değil) doğru somut kanıtlar gösterme konusunda bazı önemli örnekler nelerdir ?P= B PPP=BPPP=BPP Aklıma gelen tek örnek AKS deterministik polinom zaman primallik testidir (bunun için bile GRH varsayımında bir metodoloji vardı). Peki derandomizasyon için örnek olarak hangi spesifik kanıtlarımız var (yine …
2
Hangi rasgele algoritmaların üstel olarak küçük hata olasılığı vardır?
Rastgele bir algoritmanın rasgele bit kullandığını varsayın . Beklenebilecek en düşük hata olasılığı (0 hata ile deterministik bir algoritmanın yetersiz kalması) . Hangi rasgele algoritmalar bu kadar düşük hata olasılığını elde eder?rrr2- Ω ( r )2-Ω(r)2^{-\Omega(r)} Akla gelen birkaç örnek: Örnekleme algoritmaları, örneğin, bir kullanıcının üyeliğini kontrol edebileceği bir kümenin …
1
Doğal teoremler sadece “yüksek olasılıkla” kanıtlanmıştır?
Rastgele bir “kanıtın” deterministik bir kanıttan çok daha kolay olduğu pek çok durum vardır; kanonik örnek polinom kimlik testi. Soru : Rastgele bir kanıtın bilindiği ancak deterministik bir kanıtın bulunmadığı herhangi bir doğal matematiksel "teorem" var mı? Bir ifadenin bir "randomize kanıtı" ile Öyle demekPPP girişini alan rastgele bir algoritma …
1
Doğrusal program kısıtlamalarının beklentide karşılanması yeterli mi?
Makalede , RANKING algoritmasının ( 1 - 1) olduğunu kanıtlarken, Online Bipartite Matching için RANKING'in Randomize Primal-Dual analizi.-Rekabetçi, yazarlar ikili ikili beklenti içinde uygulanabilir olduğunu göstermektedir (bkz. Lemma 3 sayfa 5). Sorum şu:( 1 - 1e)(1−1e)\left(1 - \frac{1}{e}\right) Doğrusal program kısıtlamalarının beklentide karşılanması yeterli mi? Nesnel işlevin beklenen değerinin bir …
1
Doğrusal problama için 5 bağımsız hash işlevlerini yeniden kullanma
Doğrusal problama ile çarpışmaları çözen karma tablolarda, beklenen performansı sağlamak için, karma işlevinin 5 bağımsız bir aileden olması hem gerekli hem de yeterlidir. (Yeterlilik: "Sabit bağımsızlıkla doğrusal problama", Pagh ve ark. , Gereklilik: "Doğrusal Sondalama ve Minwise Bağımsızlık için Gerekli k-Bağımsızlık Üzerine", Pătraşcu ve Thorup )O(1)O(1)O(1) Anladığım kadarıyla, bilinen en …
1
Önemsiz Otomorfizmlerle Grafik Oluşturma
Bazı şifreleme modellerini gözden geçiriyorum. Yetersizliğini göstermek için, grafik izomorfizmine dayanan bir protokol düzenledim. "Grafik İzomorfizm sorununun zor örnekleri" üretebilen BPP algoritmalarının varlığını varsaymak "sıradan" (henüz tartışmalı!). (İzomorfizmin bir tanığı ile birlikte.) Benim onaylanan protokolümde, bir ek gereksinimi karşılayan bu tür BPP algoritmalarının varlığını kabul edeceğim: Üretilen grafiklerdir olsun ve …
1
Adleman'ın sonsuz dönemlere ilişkin teoremi?
Adleman bu 1978'de göstermiştir boolean bir fonksiyonu ise: bir değişken boyutlu bir olasılık Boole devre ile hesaplanabilmektedir , daha sonra de deterministik hesaplanabilmektedir ve cinsinden polinom büyüklüğünde boole devresi ; aslında, boyutunda . BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) Genel Soru: hangi diğer (boole dışında) semirleri tutar? BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} Biraz daha spesifik olmak gerekirse, …
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.