Pertanyaan yang diberi tag «probability-theory»

Ada keluarga grafik acak dengan n node ( karena Gilbert ). Setiap tepi yang mungkin dimasukkan secara independen ke dalam G ( n , p ) dengan probabilitas p . Mari X k adalah jumlah geng ukuran k di G ( n , p ) .G(n,p)G(n,p)G(n, p)nnnG(n,p)G(n,p)G(n, p)pppXkXkX_kkkkG(n,p)G(n,p)G(n, p) Saya …

11 graph-theory  combinatorics  probability-theory  random-graphs 

Saya menulis kode Python ini, dan bertanya-tanya apakah kadang-kadang tidak berakhir (dengan asumsi kami memiliki memori / waktu tak terbatas dan tidak ada batas kedalaman rekursi). Secara intuitif Anda akan berpikir itu berakhir, karena pada titik tertentu Anda harus beruntung , dan jika tidak berakhir, Anda memiliki waktu tak terbatas …

10 trees  probability-theory  termination 

Penafian: Saya seorang ahli biologi, sangat menyesal untuk (mungkin) pertanyaan dasar yang diutarakan dalam istilah yang kasar. Saya tidak yakin apakah saya harus mengajukan pertanyaan ini di sini atau di DS / SC, tetapi CS adalah yang terbesar dari tiga, jadi begini. (Setelah saya memposting, terpikir oleh saya bahwa Cross-Validated …

9 machine-learning  probability-theory 

Saat ini saya membaca beberapa makalah tentang penggumpalan rantai Markov dan saya gagal melihat perbedaan antara rantai Markov dan grafik tertimbang sederhana yang diarahkan. Sebagai contoh dalam artikel Optimal penggumpalan ruang-negara di rantai Markov, mereka memberikan definisi CTMC (rantai Markov waktu kontinu) sebagai berikut: Kami menganggap CTMC terbatas dengan ruang …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains 

Pertanyaan ini adalah tentang persimpangan teori probabilitas dan kompleksitas komputasi. Satu pengamatan utama adalah bahwa beberapa distribusi lebih mudah dihasilkan daripada yang lain. Misalnya masalah Dengan diberi nomor nnn , kembalikan nomor terdistribusi secara seragam dengan .0 ≤ i &lt; niii0≤i&lt;n0≤i&lt;n0 \leq i < n mudah dipecahkan. Di sisi lain, …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

COQ adalah prover teorema interaktif yang menggunakan kalkulus konstruksi induktif, yaitu sangat bergantung pada tipe induktif. Dengan menggunakan itu, struktur diskrit seperti bilangan asli, bilangan rasional, grafik, tata bahasa, semantik, dll terwakili dengan sangat ringkas. Namun, karena saya mulai menyukai asisten bukti, saya bertanya-tanya apakah ada perpustakaan untuk struktur tak …

8 probability-theory  coq  real-numbers  uncountability