Asumsikan seseorang memiliki algoritma acak (BPP) AAA menggunakan rrr bit keacakan. Cara alami untuk memperbesar probabilitas keberhasilannya menjadi 1−δ1−δ1-\delta , untuk setiap δ>0δ>0\delta>0 , adalah Berjalan independen + suara terbanyak: jalankan AAA secara independen...
Saya terutama tertarik pada penggunaannya dalam aplikasi pengecekan model. Saya memiliki Jaringan Antrian Terbuka, Tertutup dan Campuran dengan Kelas Pelanggan yang Berbeda oleh Baskett et al. Ada saran lain untuk bahan bacaan? Terima
Sangat mudah untuk melihat di banyak buku teks bukti pengurangan subjek dan normalisasi yang kuat untuk Sistem F, juga, kadang-kadang ada definisi Sistem F dengan pasangan, di mana (t, r) adalah istilah, bukan hanya pengkodean. Pertanyaannya adalah, apa yang akan menjadi referensi untuk sistem...
Dalam grafik, himpunan bebas adalah himpunan bagian verteks yang tidak mengandung tepi sebagai subgraf yang diinduksi. Masalah menemukan set independen terbesar dalam grafik adalah pertanyaan algoritmik yang mendasar, dan yang sulit pada saat itu. Mari kita pertimbangkan pertanyaan yang lebih umum...
Sementara seorang mahasiswa S1 EE saya menghadiri beberapa kuliah yang menyajikan karakterisasi bagus sirkuit boolean dalam hal berapa banyak loop bersarang yang mereka miliki. Dalam kerumitannya, sirkuit boolean sering dianggap sebagai dag, tetapi dalam siklus perangkat keras yang sebenarnya...
Biarkan menjadi distribusi lebih dari bitstring / pasangan label dan biarkan menjadi kumpulan fungsi bernilai boolean . Untuk setiap fungsi , misalkan: dan biarkan: OPT (C, D) = \ min_ {f \ dalam C} \ err (f, D) Katakan bahwa suatu algoritma A secara agnostik mempelajari C atas distribusi apa...
Ini adalah kelanjutan dari pertanyaan saya sebelumnya tentang komunikasi batas bawah untuk fungsi boolean parsial . Dapatkah seseorang menyarankan referensi tentang batas bawah untuk komunikasi multi pihak non-deterministik? Saya telah mensurvei makalah di lapangan, tetapi semua orang tampaknya...
Pertanyaan ini dimotivasi oleh pertanyaan yang diajukan pada stackoverflow . Misalkan Anda diberi rooted tree (yaitu ada root dan node punya anak dll) pada n node (berlabel 1 , 2 , … , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Setiap simpul memiliki bobot bilangan bulat non-negatif yang terkait: w i...
Saya mencoba menemukan masalah yang kompleksitas ruang kasus rata-ratanya telah dianalisis. Lebih khusus, saya tertarik untuk mengetahui apakah ada masalah dengan kompleksitas ruang yang terbukti batas bawahnya yang super-linear, dan terutama jika ada dengan analisis kasus rata-rata (misalnya,...
Apakah ada pekerjaan untuk memulihkan kemiringan segmen garis dari digitalisasi? Seseorang tidak dapat melakukan ini dengan akurasi sempurna, tentu saja; apa yang diinginkan adalah metode untuk mendapatkan dari garis digital interval dari kemungkinan kemiringan. (Gagasan garis digital yang saya...
Saya memiliki masalah yang ada di NEXP dan juga dapat diselesaikan dengan TM bergantian menggunakan waktu eksponensial dan hanya satu pergantian (mulai dalam keadaan eksistensial).NPNP^{\text{NP}} Adakah yang diketahui tentang NEXP ? Apakah setara dengan NEXP atau kelas lain? Apakah ada masalah...
Logika bersyarat adalah logika yang menambah implikasi logis tradisional dengan operator modal yang sesuai dengan pengertian kondisi lainnya (misalnya, kondisional kausal Ke berbunyi " menyebabkan" B ", atau pengkondisian probabilistik " ", yang bertuliskan " given ").A A | B A BSEBUAH□→ BA◻→BA\;...
Saya tahu bahwa pertanyaan "apakah formula orde pertama memiliki model" tidak dapat diputuskan secara umum.ϕϕ\phi Adakah yang bisa memberi saya tautan atau buku yang memberikan jawaban untuk model yang terbatas. Jika saya memiliki rumus urutan pertama , apakah dapat diputuskan apakah ϕ memiliki...
Apakah mungkin untuk membangun suatu algoritma yang mengambil sebagai input suatu pushdown automaton bersama dengan janji bahwa bahasa yang diterima oleh automaton ini L ( M ) adalah bahasa bebas bebas konteks-deterministik dan menghasilkan sebuah otomatisasi pushdown deterministic N yang menerima...
Saat ini saya sedang mencari beberapa bahan referensi bagus yang menghubungkan permainan non-lokal dengan aspek-aspek bermanfaat dalam komunikasi kuantum. Sebagai contoh, saya menyadari bahwa game non-lokal bagus dalam kompleksitas komunikasi yang terbatas serta memastikan keamanan protokol...
Saya akan sangat tertarik pada referensi ke teori fungsi submodular (dari dasar ke lanjutan). Secara khusus, saya sedang mempelajari perkiraan untuk masalah optimasi keras dan saya ingin mengembangkan dasar saya dalam fungsi submodular karena mereka relevan dengan masalah optimasi yang telah saya...
Saya ingin tahu apakah masalah berikut dapat dipecahkan dalam (nondeterministic logspace):N LNL\mathsf{NL} Diberikan grafik terarah dengan dua simpul dibedakan dan , apakah ada jalur unik dari ke di ?s t s t GGGGssstttssstttGGG Saya merasa bahwa itu kemungkinan ada di karena kita dapat memutuskan...
Masalah galeri seni tradisional membuat suatu daerah dan penjaga dengan beberapa pandangan tentang visibilitas, dan meminta jumlah penjaga minimum yang perlu ditempatkan untuk melihat seluruh wilayah. Adakah yang pernah melihat varian galeri seni di mana wilayah visibilitas ditentukan oleh...
Mari menjadi urutan bilangan bulat di mana setiap satu j ∈ { 1 , 2 , ... , n } . Untuk i ∈ { 1 , 2 , … , n } , biarkan m i = | { j : a j = i } | . The k th saat frekuensi didefinisikan sebagaia1,a2,…,ama1,a2,…,ama_1, a_2,\dotsc, a_maj∈{1,2,…,n}aj∈{1,2,…,n}a_j \in...
EDIT (Oleh Tara B): Saya masih tertarik pada referensi ke bukti ini, karena saya harus membuktikannya sendiri untuk makalah saya sendiri. Saya mencari bukti Teorema 4 yang muncul di makalah ini: Hierarki Infinite dari titik-temu Bahasa Bebas Konteks oleh Liu dan Weiner. Teorema 4: Sebuah...