Pertanyaan yang diberi tag «pr.probability»

Saya sudah memikirkan masalah ini sejak lama, tetapi tidak tahu. Algoritma pembangkitnya adalah sebagai berikut. Kami berasumsi ada nnn diskrit bernomor dari 000 hingga n−1n−1n - 1 . Kemudian untuk setiap iii di {1,…,n−1}{1,…,n−1}\{1, \dotsc, n - 1\} , kita menjadikan orang tua simpul ke- iii di pohon menjadi simpul …

19 pr.probability 

Satu hal yang dapat dilakukan oleh komputer kuantum (mungkin bahkan hanya dengan sirkuit kuantum log-depth BPP +) adalah untuk memperkirakan-sampel transformasi Fourier dari fungsi Boolean -nilai dalam P.±1±1\pm 1 Di sini dan di bawah ini ketika saya berbicara tentang pengambilan sampel transformasi Fourier yang saya maksud memilih x menurut . …

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

Sudah diketahui umum bahwa jika Anda melempar n bola ke dalam n bin, nampan yang paling banyak dimuat kemungkinan besar memiliki O ( logn )HAI(catatan⁡n)O(\log n) bola di dalamnya. Secara umum, orang dapat bertanya tentang m > nm>nm > n bola dalam nnn nampan. Sebuah makalah dari RANDOM 1998 oleh …

17 reference-request  pr.probability 

Pertimbangkan proses berikut: Ada nnn nampan yang disusun dari atas ke bawah. Awalnya, setiap nampan berisi satu bola. Di setiap langkah, kita pilih bola bbb secara acak dan seragam pindahkan semua bola dari tempat sampah yang berisi bbb ke nampan di bawahnya. Jika sudah menjadi nampan terendah, kami menghapus bola …

16 pr.probability  markov-chains  stochastic-process 

Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete: diberi pointer ke item, menghapusnya dari daftar minPointer: diberi dua petunjuk untuk item …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Ini bukan pekerjaan rumah, meskipun sepertinya. Setiap referensi diterima. :-) Skenario: Ada bola yang nnn berbeda dan nampan yang nnn berbeda (dilabeli dari 1 ke nnn , dari kiri ke kanan). Setiap bola dilemparkan secara independen dan seragam ke dalam tempat sampah. Biarkan f(i)f(i)f(i) menjadi jumlah bola di iii ~ …

14 reference-request  co.combinatorics  pr.probability 

Satu dapat berbicara satu treewidth dari rangkaian Boolean, mendefinisikan sebagai treewidth dari "moralized" grafik pada kabel (simpul) yang diperoleh sebagai berikut: connect kabel dan setiap kali adalah output dari gerbang memiliki sebagai masukan (atau dan sebaliknya); sambungkan kabel dan setiap kali digunakan sebagai input ke gerbang yang sama. Sunting: satu …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits 

Untuk fungsi Boolean f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\} , pengaruh variabel ke- didefinisikan sebagai mana x ^ {\ oplus i} adalah string yang diperoleh dengan membalik saya sedikit x . Pengaruh minimum f adalah \ operatorname {MinInf} [f] \ stackrel {\ rm def} {=} \ min_ {i \ in [n]} \ operatorname …

13 reference-request  pr.probability  boolean-functions 

Saya punya pertanyaan tentang polinomial derajat rendah dan probabilitas: Apa (perilaku asiptotik dari) probabilitas yang polinomial * acak, , lebih dari GF (2), dengan derajat dan n variabel memiliki .halhalp≤ d≤d\le db i a s ( p ) ≜ | Prx ∈ { 0 , 1 }n( p ( x …

13 randomness  pr.probability  algebra  polynomials 

Ketidaksamaan tipe Chernoff digunakan untuk menunjukkan bahwa probabilitas bahwa jumlah variabel acak independen menyimpang secara signifikan dari nilai yang diharapkan secara eksponensial kecil dalam nilai yang diharapkan dan deviasi. Apakah ada ketimpangan tipe Chernoff untuk jumlah variabel acak independen berpasangan ? Dengan kata lain, adakah hasil yang menunjukkan hal berikut: …

13 derandomization  pr.probability  chernoff-bound 

Dalam Lampiran B dari Meningkatkan dan Privasi Diferensial oleh Dwork et al., Penulis menyatakan hasil berikut tanpa bukti dan menyebutnya sebagai ketidaksetaraan Azuma: Biarkan C1,…,CkC1,…,CkC_1, \dots, C_k variabel acak akan bernilai real sehingga untuk setiap i∈[k]i∈[k]i \in [k] , Pr[|Ci|≤α]=1Pr[|Ci|≤α]=1\Pr[|C_i| \leq \alpha] = 1 untuk setiap , kami memiliki .(c1,…,ci−1)∈Supp(C1,…,Ci−1)(c1,…,ci−1)∈Supp(C1,…,Ci−1)(c_1, …

12 pr.probability 

Diberikan filter mekar ukuran N-bit dan fungsi hash K, di mana M-bit (di mana M <= N) dari filter diatur. Apakah mungkin untuk memperkirakan jumlah elemen yang dimasukkan ke filter bloom? Contoh sederhana Saya telah merenungkan contoh berikut, dengan asumsi BF 100-bit dan 5 fungsi hash di mana 10-bit diatur …

12 ds.data-structures  pr.probability 

Saya mencari referensi (bukan bukti, yang bisa saya lakukan) untuk perpanjangan Chernoff berikut. Misalkan menjadi variabel acak Boolean, tidak harus independen . Sebagai gantinya, dijamin bahwa untuk setiap dan setiap peristiwa yang hanya bergantung pada .X1,..,XnX1,..,XnX_1,..,X_nPr(Xi=1|C)<pPr(Xi=1|C)<pPr(X_i=1|C)(1+\lambda)np\right) Terima kasih sebelumnya!

12 reference-request  pr.probability  chernoff-bound 

Dengan (iid gaussians dengan rata-rata dan varians ), apakah mungkin (bagaimana?) Untuk mengambil sampel (untuk ) sehingga adalah gaussians berpasangan yang berpasangan dengan mean dan varians .X1,…,XkX1,…,XkX_1,\ldots,X_k1 m = k 2 Y 1 , … , Y m Y i 0 1000111m=k2m=k2m=k^2Y1,…,YmY1,…,YmY_1, \ldots, Y_mYiYiY_i000111

12 derandomization  pr.probability