Ilmu Komputer Teoritis

T&J untuk ilmuwan dan peneliti komputer teoretis di bidang terkait

2
Decidability of equality of CFL's
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 decidable ?MMML(G)=ML(G)=ML(G) = M
1
Batas bawah pada periode dalam faktorisasi bilangan bulat?
NNNrrrf(x)=axmodNf(x)=axmodNf(x)=a^x\;\bmod\;Nf(x+r)=f(x)f(x+r)=f(x)f(x+r)=f(x)a&lt;Na&lt;Na<Nrrrrrr Pertanyaan saya sekarang adalah: Apakah ada batas bawah yang diketahui pada untuk acak ? Apakah ada batasan pada diberikan dipilih seperti di RSA? Jelas, harus karena jika tidak, orang hanya bisa mengevaluasi pada poin berturut-turut untuk mencari klasik. Apakah cukup untuk memecah RSA jika ada algoritma anjak piutang klasik …
2
Game Nonlokal dan Komunikasi Kuantum
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 QKD. Yang ingin saya ketahui adalah, beberapa makalah besar apa yang berkaitan dengan game …
2
Atur struktur data untuk penyisipan berulang yang efisien
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 pertanyaan: jika setiap elemen ditambahkan kali ruang yang digunakan tidak dapatn log nlognlog⁡n\log nnlognnlog⁡nn\log …
1
Kompleksitas st-Konektivitas Unik
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 apakah ada - --path dan jika …
1
Masalah kombinatorial sederhana (?) Yang lucu!
Mari kita perbaiki 0&lt;E&lt;10&lt;E&lt;100 . untuk setiap nnn dan untuk setiap vektor c¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n sehingga ∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)A_{\bar{c}} :=|\{ S \subseteq [n] : \sum_{i \in S}~ c_i \geq E \times t \}| \geq \binom{ E \times n}{ t } Saya tidak tahu …
1
Diberikan PDA M sehingga L (M) dalam DCFL membangun DPDA N sedemikian rupa sehingga L (N) = L (M)
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 secara tepat bahasa yang diterima oleh M ?M.MML ( …
1
Kesetaraan Dua Definisi Kelengkapan & Kesehatan dalam Sistem Bukti Interaktif
Kelengkapan dan kesehatan dalam sistem bukti interaktif secara informal didefinisikan sebagai: Kelengkapan: Jika pernyataan itu benar, maka orang yang jujur dapat meyakinkan orang yang jujur akan kebenaran fakta ini . Keakuratan: Jika suatu pernyataan salah, pemalsu selingkuh tidak dapat meyakinkan verifier jujur (validitas pernyataan palsu) whp Istilah "whp" dapat ditafsirkan …
2
Pameran untuk Museum Komputer
Semua museum dan pameran yang terkait dengan komputer yang saya sadari tampaknya hanya mencakup sejarah mesin komputasi, tetapi tidak membahas topik-topik ilmu komputer. Anda terlibat dalam pembuatan Museum Komputasi baru, disewa untuk mendidik, menghibur, dan menginspirasi masyarakat umum dalam beragam topik komputasi / ilmu komputer / komunikasi / matematika. Meskipun …
4
Apakah diagonalisasi menangkap esensi dari pemisahan kelas?
Saya tidak ingat pernah melihat pemisahan kelas yang tidak didasarkan pada hasil diagonalisasi dan relatisasi. Diagonisasi masih dapat digunakan untuk memisahkan kelas yang diketahui yang tersisa, karena argumen non-relativiasi mungkin masih digunakan dalam kesimpulan diagonalisasi, atau dalam konstruksi mesin Turing yang didiagonalisasi. Berikut beberapa pertanyaan terkait: Apakah ada bukti pemisahan …
3
Grafik dan Isomorfisme Biasa
Saya ingin bertanya apakah ada hasil yang sudah dipublikasikan tentang itu: Kami mengambil semua kemungkinan jalur yang berbeda antara setiap pasangan node dari dua grafik reguler yang terhubung (dengan derajat katakanlah, dan jumlah node n ) dan tulis panjangnya. Tentu saja jumlah jalur yang berbeda ini eksponensial. Pertanyaan saya adalah, …
2
Referensi ke bahasa pemrograman berdasarkan pada logika kondisional
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\; \square\!\!\!\!\to BSEBUAHAAA | BA|BA|BSEBUAHAABBB Biasanya logika ini …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.