Misalkan menjadi n iid salinan variabel acak Gaussian X ∼ N ( 0 , σ 2 ) . Diketahui bahwa P ( | 1X1, ... , XnX1,…,XnX_1,\ldots, X_nnnnX∼ N( 0 , σ2)X∼N(0,σ2)X \sim N(0, \sigma^2) Dua hasil ini mengikuti dari ketimpangan konsentrasi variabel acak sub-Gaussian dan sub-eksponensial dan yang kedua...
Dalam https://en.wikipedia.org/wiki/Geometric_complexity_theory disebutkan bahwa ".. Ketan Mulmuley percaya bahwa program tersebut, jika layak, kemungkinan akan memakan waktu sekitar 100 tahun sebelum dapat menyelesaikan masalah P vs NP". Tampaknya mengindikasikan bahwa satu-satunya program yang...
Tentukan sebagai grafik berarah acak ( simpul; kami menempatkan tepi antara dua simpul dengan probabilitas ).n pG(n,p)G(n,p)G(n, p)nnnppp Apa hasil yang diketahui untuk masalah berikut: Perbaiki dua simpul dan . Berapa probabilitas bahwa setidaknya ada jalur (panjang paling banyak ) antara dan ?...
Bisakah perpotongan dua bahasa dalam NP yang tidak lengkap menjadi NP lengkap? Bisakah perpotongan dua bahasa dalam coNP yang bukan coNP selesai menjadi coNP lengkap? Dapatkah perpotongan dua bahasa satu dalam coNP tetapi tidak lengkap dan lainnya dalam NP tetapi tidak lengkap NP menjadi NP...
Dalam masalah para ahli, para ahli memberi Anda prediksi biner setiap hari, dan Anda harus memperkirakan apakah besok akan turun hujan.nnn Yaitu, pada hari , Anda tahu prediksi masa lalu dari para ahli, cuaca aktual untuk hari , dan prediksi untuk hari esok, dan harus memprediksi apakah akan turun...
Pemahaman saya tentang tesis Gereja-Turing adalah: Menempatkan batas pada apa yang dapat dihitung dengan setiap proses diskrit dan terbatas. Meskipun masih merupakan tesis, bukan teorema, jika itu akan dibantah, ini tidak berarti hanya pembaruan untuk model perhitungan kita saat ini. Ini akan...
Saya membaca koran Ahmed Younes, " Algoritma Waktu Polinomial Kuantum-Kesalahan Terbatasi untuk Dua Masalah Dua Grafik ", 2015. doi: 10.1007 / s11128-015-1069-y yang diterbitkan dalam jurnal Springer's Quantum Information Processing. Makalah ini tampaknya mengklaim bahwa ia menyediakan...
Seperti yang ditunjukkan dalam makalah "Sirkuit Monoton untuk Fungsi Mayoritas", adalah mungkin untuk membangun sirkuit boolean monoton untuk fungsi mayoritas pada variabel n dengan ukuran O (n ^ 3) dan kedalaman 5,3 log (n) + O (1).
Saya telah membaca bagian pengantar dari beberapa buku tentang semantik bahasa pemrograman (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt), dan sementara saya mengerti apa yang dimaksud dengan kategori sintaksis , atau domain sintaksis , saya tidak t menemukan definisi yang tegas...
Saya mungkin kehilangan sesuatu yang jelas tetapi saya tidak dapat menemukan referensi tentang kompleksitas penghitungan pencocokan (bukan pencocokan sempurna) dalam grafik bipartit. Inilah masalah formal: Input: grafik bipartit denganG=(U,V,E)G=(U,V,E)G = (U, V, E)E⊆U×VE⊆U×VE \subseteq U \times...
Saya mencoba memahami makalah ΠΣ: Jenis Ketergantungan tanpa Gula dengan menerapkan juru bahasa dan pemeriksa jenis bahasa. Dalam melakukannya, saya telah melihat bahwa unfold t as x -> usintaks untuk definisi rekursif (sintaks didefinisikan dalam Bagian 2.1) mengikat variabel, tetapi saya tidak...
Tampaknya menjadi terkenal bahwa bahasa pemrograman tidak dapat memiliki jumlah, produk, dan nonterminasi bersama. Q1 . Apakah ini benar? Di bawah ini (atau di tautan di atas saya berikan) adalah argumen parsial. Namun, pemrograman Generik Hinze dengan Adjunctions mengabaikan masalah ini, bahkan...
Saya sebelumnya menanyakan pertanyaan ini di Programmers.SE , tanpa hasil. Saya mencari sumber belajar tertulis tentang bagaimana merancang struktur data bersamaan. Saya lebih tertarik pada proses desain (misalnya, mengidentifikasi invarian yang tepat) daripada produk akhir (daftar kode...
Anda diberi array biner berukuran- .nnn Saya ingin menunjukkan bahwa tidak ada algoritma yang dapat melakukan hal berikut (atau terkejut dan mengetahui bahwa algoritma tersebut ada): 1) Pra-proses array input menggunakan waktu tidak terbatas, tetapi hanya menggunakan bit .O ( n )O(n)O(n) 2)...
Pertimbangkan masalah keputusan berikut. Biarkan dan biarkan (C_0 ^ n, C_1 ^ n, \ dots, C_ {q-1} ^ n) menjadi cocok enumerasi himpunan bagian dari \ {0,1, \ dots, n-1 \} yang memiliki paling banyak n / 4 elemen.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4}
Saya mencari contoh masalah yang mudah untuk mendapatkan algoritma yang berjalan dalam waktu , atau 2 O ( n c ) untuk beberapa c > 1 tetapi yang tidak diketahui apakah ada algoritma berjalan dalam waktu 2 O ( n ) .2O ( n logn )2O(nlogn)2^{O(n\log n)}2O ( nc)2O(nc)2^{O(n^c)}c > 1c>1c>12O (...
Singkatnya, pertanyaan saya adalah: apakah bukti asli Karp yang mengurangi SAT menjadi 3SAT tidak perlu diuraikan? Dengan rincian sebagai berikut. Dalam makalahnya pada 1972, Reducibilitas Diantara Masalah Combinatorial , Karp membuktikan bahwa SAT berkurang menjadi 3SAT dengan menyatakan:...
Banyak struktur pohon yang seimbang (pohon merah / hitam, pohon splay, dll.) Dan beberapa struktur kamus yang diurutkan lainnya (daftar centang) mendukung operasi gabungan yang menggunakan dua kamus di mana semua kunci dalam struktur pertama kurang dari semua kunci di yang kedua, kemudian...
Pathwidth dari grafik bipartit lengkap K3,nK3,nK_{3,n} dengan ukuran partite 333 dan nnn paling banyak 333 . Saya tertarik merencanakan grafik ini dengan proses berikut: Gambarlah di bidang sedemikian rupa sehingga tidak ada tepi yang mengandung simpul di bagian dalamnya, dan sedemikian rupa...
Apa yang diketahui tentang kompleksitas masalah NP-hard pada grafik Cayley? Misalkan grafik diberikan secara eksplisit sebagai tabel perkalian grup dan daftar generator. Jadi panjang input adalah ukuran grafik. Bisakah kita menyelesaikan masalah NP-complete pada grafik seperti itu (klik / max-cut...