«randomness» etiketlenmiş sorular

Rasgelelik çıkarıcı yapıların uygulanması konusunda araştırmalar yapıldı mı? Çıkarıcı kanıtları, büyük gizli sabitler olasılığını bırakarak, programlı uygulamaları potansiyel olarak gerçekçi olmayan hale getiren Big-Oh'u kullanıyor gibi görünüyor. Bazı bağlamlar: Monte Carlo simülasyonlarında kullanım için rasgele sayıların (muhtemelen?) Rasgele sayıların hızlı bir kaynağı olarak kullanılmasıyla ilgileniyorum. Biz (bir ETHZ Hesaplamalı Fizik …

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory 

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 …

17 randomness  big-picture  randomized-algorithms 

olduğunu varsayıyoruz . O zaman aşağıdaki gerçek iyi bilinir:G ∈ G ( n , p ) , p = lnn + lnlnn + c ( n )nG,∈G,(n,p),p=ln⁡n+ln⁡ln⁡n+c(n)nG\in G(n,p),p=\frac{\ln n +\ln \ln n +c(n)}{n} Pr [ G'nin Hamilton çevrimi var ] = ⎧⎩⎨⎪⎪10e- e- c( c ( n ) → ∞ …

16 graph-theory  co.combinatorics  randomness 

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 …

15 lo.logic  randomness  randomized-algorithms  proofs 

Razborov-Rudich'in Doğal Kanıtları belgesinde, sayfa 6'da, " monoton devre modellerine karşı güçlü alt sınır kanıtları " olduğunu ve resme nasıl uyduklarını tartışıyorlar : Burada sorun yapıcılık değildir - bu kanıtlarda kullanılan özelliklerin hepsi mümkündür - ancak büyüklük durumunun iyi bir resmi analogu olmadığı görülmektedir. Özellikle, hiç kimse "rastgele monoton fonksiyon" …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

Eğer topları rastgele olarak n kutularına yerleştirilirse , en ağır yüklü kutuda yüksek olasılıkla O ( lg n / lg lg n ) topları bulunur. In "Basit Tablolama Hashing Gücü" , Pătraşcu ve Thorup söz o "sınırlı bağımsızlık uygulamalar için Chernoff-Hoeffding sınırları" ( ayna ) topları bir tarafından dağıtılır eğer …

13 ds.data-structures  randomness  hash-function  independence 

ppp≤d≤d\le dbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p) \triangleq |\Pr_{x\in\{0,1\}^n}(p(x)=0)-\Pr_{x\in\{0,1\}^n}(p(x)=1)| \gt \epsilon * Derece ≤d≤d\le d ve n değişkenli rasgele polinom yazarken , olasılık 1/2 ile toplanan toplam derece \ ' nin her bir monomisini düşünebilirsiniz ≤d≤d\le d. Bildiğim tek alakalı şey, polinom sabit değilse, sapmasının en fazla 1-2 ^ {1-d} olduğunu belirten bir Schwartz-Zippel varyantıdır …

13 randomness  pr.probability  algebra  polynomials 

Bir randomize (BPP) algoritması sahip varsayalım AAA kullanılarak rrr rastgelelik bit. İçin başarı onun olasılığını yükseltmek için Doğal yolları 1−δ1−δ1-\delta , herhangi seçilmiş için δ>0δ>0\delta>0 vardır Bağımsız çalışır + çoğunluk oyu: işletilen AAA bağımsız bir şekilde, T=Θ(log(1/δ)T=Θ(log⁡(1/δ)T=\Theta(\log(1/\delta) . Kez ve çıkışların çoğunluğu oylama Bu gerektirir rT=Θ(rlog(1/δ))rT=Θ(rlog⁡(1/δ))rT =\Theta(r\log(1/\delta)) rasgelelik bitleri ve …

12 reference-request  randomness  pseudorandomness  expanders 

Ben eğer tanımında ne olur, merak (Polinom Hiyerarşi, örneğin bakınız buraya , rolü) N P yerini olacağını R P ?P'HPHPHN-PNPNPR PRPRP Aynı şekilde biz hala bir hiyerarşi inşa edebileceğini, görünüyor sadece kullanılarak inşa edilmiştir R P her yerde yerine N P ve c o R P yerine c o K …

12 cc.complexity-theory  randomized-algorithms  randomness 

PSPACE'e sınırlı hata rasgeleleştirmesi eklemenin güç eklemediği bilinmektedir. Yani, BPPSAPCE = PSPACE. P = BPP olup olmadığı bilinmemektedir, ancak olduğu bilinmektedir .B PP⊆ Σ2∩ Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 Böylece, P'ye olasılık eklemenin etkileyici güç katması mümkündür (yanlış olduğu varsayılırken). Benim sorum, P ve PSPACE arasındaki sınırı randomize etmenin artık güç eklemediği …

12 randomness  derandomization  polynomial-hierarchy 

CNF formüllerinin kabaca 2 geniş sınıfta bölümlenebileceği yaygın olarak bilinmektedir: rastgele ve yapılandırılmış. Yapılandırılmış CNF formülleri, rastgele CNF formüllerine karşıt olarak, tesadüfen gerçekleşmesi muhtemel olmayan kalıpları gösteren bir tür düzen sergiler. Bununla birlikte, bir dereceye kadar rastgelelik gösteren yapısal formüller bulunabilir (yani, belirli belirli cümle grupları diğerlerinden çok daha az …

12 cc.complexity-theory  sat  randomness  symmetry 

Rastgele K-SAT'ı tanımlarken sahip olabileceğimiz 4 farklı kısıtlama vardır. 1) Belirli bir yan tümcedeki toplam hazır bilgi sayısı tam olarak K veya AT'dir K 2) Belirli bir hazır bilgi, aynı yan tümcede (A veya A veya A) değiştirilerek veya kullanılmadan kullanılabilir 3) Belirli bir değişken veya ile kullanılabilir aynı fıkrada …

12 cc.complexity-theory  sat  randomness  phase-transition 

Bağımsız üstel rassal değişkenlerin toplamı üzerinde keskin bir konsantrasyon sonucu kanıtlayabilir miyiz, yani X1,…XrX1,…XrX_1, \ldots X_r bağımsız rasgele değişkenler olsun, öyle ki Pr(Xi&lt;x)=1−e−x/λiPr(Xi&lt;x)=1−e−x/λiPr(X_i < x) = 1 - e^{-x/\lambda_i} . Let Z=∑XiZ=∑XiZ = \sum X_i . P r ( | Z - μ Z | &gt; t ) &lt; e …

12 pr.probability  randomness  chernoff-bound 

Yinelenen rasgele algoritmaları (veya bir yığın kullanan daha genel olarak rasgele algoritmaları) hedefleyen yeni bir derandomizasyon tekniği geliştirdim. Ne yazık ki, tekniklerimi uygulamak için doğal rastgele algoritmalar bulamadım. Özyinelemeli Markov Zincirleri ve Stokastik gramerler aradığım şeye çok yakın. Yığının "temel" kullanımını sağlayan başka (daha doğal) rastgele algoritmalar var mı? Altı …

11 randomness  derandomization 

Omer Reingold'un yönlendirilmemiş st-bağlantı log-space algoritmasının tam zaman karmaşıklığı nedir ?

11 cc.complexity-theory  randomness