«sample-complexity» etiketlenmiş sorular

Biz bir 3-SAT formül örnek istiyorum: aşağıdaki hesaplama görevi göz önünde değişkenleri, (a varyantı: değişkenleri maddeleri) karşılanabilir olduğu formül koşuluyla, tek tip olasılık dağılımı ile ilgili olarak:nnnmnnnmmm S1: Klasik bir bilgisayarla verimli bir şekilde başarılabilir mi (rastgele bitlerle)? S2: Bu kuantum bir bilgisayar tarafından verimli bir şekilde başarılabilir mi? Aşağıdaki …

23 cc.complexity-theory  quantum-computing  sample-complexity 

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 …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

PAC öğrenimi için, hesaplamaya bağlı olmayan bir öğrenicinin bilgi teorik öğrenmesi için gereken örnek karmaşıklığı ile bir polinomun ihtiyaç duyduğu örnek karmaşıklığı arasında polinom boşlukları bulunan doğal konsept sınıflarının (örneğin karar listelerinin alt kümeleri) olduğu bilinmektedir. zaman öğrenen. (bkz. örneğin http://portal.acm.org/citation.cfm?id=267489&dl=GUIDE veya http://portal.acm.org/citation.cfm?id=301437 ) Bununla birlikte, bu sonuçlar belirli örneklerde …

12 machine-learning  lg.learning  sample-complexity 

İşte cuntaları öğrenmeye benzer bir lezzet ile ilgili bir sorun: Girdi: Bir üyelik kâhin, yani verilen bir kâhin , döndüren bir işlevidir .f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\}xxxf(x)f(x)f(x) Hedef: Bir subcube bulun ait hacmi ile öyle ki . Böyle bir alt küpün var olduğunu varsayıyoruz.SSS{0,1}n{0,1}n\{0,1\}^n|S|=2n−k|S|=2n−k|S|=2^{n-k}|Ex∈Sf(x)|≥0.1|Ex∈Sf(x)|≥0.1\left|\mathbb{E}_{x \in S} f(x) \right| \ge 0.1 zamanında …

11 machine-learning  lg.learning  boolean-functions  sample-complexity 

Yanıt verilmediğinden, bu sorunun bir topluluk wiki'sine dönüştürülmesini isteyen bir bayrak ayarlandı. Aaron Sterling, Sasho Nikolov ve Vor'un yorumları, topluluk wiki tartışmasına açık olan aşağıdaki çözüme sentezlendi: Çözümlendi: Sayı , örnek veya simülasyon yörüngeleri çıkaran klasik algoritmalarla ilgili olarak, katı matematiksel mantık, aşağıdaki önermelerin dördünün de kabul edilmesini veya hiçbirinin …

9 quantum-computing  program-verification  sample-complexity