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 mencari struktur data hemat-ruang yang menampung set (tanpa pengulangan) elemen wordsize dan mendukung penyisipan cepat (diamortisasi O (1)). Dengan "hemat-ruang" Maksud saya, idealnya, kata-kata untuk disimpannn+o(n)n+o(n)n + o(n)nnn elemen. Menjadi himpunan adalah bagian penting dari...
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 berikut dapat diputuskan: Diberi tata bahasa bebas konteks , apakah ?GGGL(G)=∅L(G)=∅L(G) = \varnothing Masalah berikut tidak dapat diputuskan: Diberi tata bahasa bebas konteks , apakah ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Apakah ada karakterisasi bahasa bebas konteks dengan kesetaraan...
Apa yang diketahui tentang transisi fase dalam masalah # P-Complete? Secara khusus, apakah ada transisi fase yang berbeda untuk # DNF-k-SAT dan # CNF-k-SAT? Pembaruan: Seperti yang kita ketahui, ada fase transisi dalam Random k-SAT di mana penyelesaian masalah berubah dari yang mudah ke sulit dan...
Bagaimana seseorang melihat suatu masalah dan alasan bahwa itu kemungkinan NP-Intermediate dibandingkan dengan NP-Complete? Seringkali cukup sederhana untuk melihat suatu masalah dan mengatakan apakah itu mungkin NP-Complete atau tidak, tetapi bagi saya tampaknya lebih sulit untuk mengatakan apakah...
Pertanyaan ini terkait dengan pertanyaan terbaru oleh Janoma . Latar Belakang Dalam pemrograman kendala, sebuah rutin global yang kendala ccc selama domain DDD adalah sepasang (s,M)(s,M)(s, M) dengan sss tupel variabel (lingkup) dan MMM DFA atas domain DDD . Tugas θθ\theta to sss memuaskan ccc...
Saya kira itu akan disebut # P-Space tetapi saya hanya menemukan satu artikel yang samar-samar menyebutkannya. Bagaimana dengan versi penghitungan masalah EXP-TIME-Complete, NEXP-Complete serta EXP-SPACE-Complete? Apakah ada karya sebelumnya yang dapat dikutip sehubungan dengan ini atau jenis...
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...
Misalkan kita memiliki semigroup dengan elemen S = { s 1 , s 2 , ... , s n } . Tujuan kami adalah menghitung produk s i ∘ s i + 1 ∘ ⋯ ∘ s j .( S, ∘ )(S,∘)(S,\circ)S= { s1, s2, … , Sn}S={s1,s2,...,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracessaya∘ si + 1∘ ⋯ ∘ sjssaya∘ssaya+1∘⋯∘sjs_i\circ s_{i+1}\circ...
Dalam sistem kontrol versi terdistribusi (seperti Mercurial dan Git ) ada kebutuhan untuk secara efisien membandingkan grafik asiklik terarah (DAG). Saya adalah pengembang Mercurial, dan kami akan sangat tertarik untuk mendengar tentang karya teoretis yang membahas kompleksitas waktu dan jaringan...
Diberikan grafik tidak berarah tertimbang dengan tepi, saya ingin menghitung jarak perkiraan kurang dari 2 antara setiap pasangan simpul. Tentu saja, saya ingin menggunakan ruang subquadratic dan waktu permintaan sublinear.m=o(n2)m=o(n2)m = o(n^2) Saya mengetahui hasil Zwick yang menggunakan...
Apakah ada masalah yang kompleksitas kasus rata-ratanya sama dengan kompleksitas kasus terburuknya? Apa sifat dasar dari masalah ini yang membuat mengurangi kasus terburuk menjadi
Saya tertarik pada variasi SAT di mana rumus CNF adalah monoton (tidak ada variabel yang dinegasikan). Formula seperti itu jelas memuaskan. Tetapi katakanlah jumlah variabel benar adalah ukuran seberapa baik solusi kami. Jadi kami memiliki masalah berikut: MINIMUM TRUE MONOTONE 3SAT INSTAN:...
Pertanyaan ini mungkin tidak bersifat teknis. Sebagai pembicara non-asli dan TA untuk kelas algoritma, saya selalu bertanya-tanya apa arti gadget dalam 'gadget klausa' atau 'gadget variabel'. Kamus mengatakan gadget adalah mesin atau perangkat, tapi saya tidak yakin apa artinya bahasa sehari-hari...
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...
Algoritme pendekatan dapat memberikan output hingga beberapa faktor konstan. Ini sedikit kurang memuaskan daripada algoritma yang tepat. Namun, faktor konstan diabaikan dalam kompleksitas waktu. Jadi saya bertanya-tanya apakah trik berikut ini mungkin atau digunakan, untuk menyelesaikan beberapa...
Seperti yang saya mengerti, dalam ilmu komputer tipe data tidak didasarkan pada teori himpunan karena hal-hal seperti paradoks Russell, tetapi seperti dalam bahasa pemrograman dunia nyata kita tidak dapat mengekspresikan tipe data yang kompleks seperti "set yang tidak mengandung dirinya sendiri",...
Latihan berikut telah dibagikan kepada siswa yang saya awasi: Dengan titik di pesawat, buatlah algoritma yang menemukan sepasang titik yang jaraknya minimal di antara semua pasangan titik. Algoritme harus berjalan dalam waktu .o ( n 2 )nnno ( n2)o(n2)o(n^2) Ada algoritma membagi dan...