Ilmu Komputer Teoritis

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

1
Memukul set dengan subfamili
Mari menjadi keluarga subset -element dari alam semesta terbatas benda. Sebuah keluarga dari subset -element dari , dengan , adalah - Memukul-set dari jika untuk setiap terdapat setidaknya satu set seperti bahwa .FFFdddUUUHHHkkkUUU1≤k&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Mengingat koleksi seperti di atas, yang - …
1
Apakah linierabilitas setara dengan masalah konsensus?
Dalam pengantar makalah ini Akhirnya Objek Linearizable Bersama (PODC'10) , penulis telah menyajikan pernyataan berikut tanpa referensi: Akan tetapi, linierabilitas dapat dicapai jika dan hanya jika konsensus dapat diselesaikan. Di sini, kemampuan linierisasi adalah sifat konsistensi terkuat yang diketahui dari objek bersama, yang diusulkan dalam makalah Kemampuan linierisasi: Kondisi yang …
2
Apakah komputasi kuantum adiabatik sekuat model sirkuit?
Banyak literatur komputasi kuantum berfokus pada model rangkaian. Komputasi kuantum adiabatik tidak didasarkan pada penerapan urutan operator kesatuan, tetapi pada perubahan Hamiltonian yang bergantung waktu. Saya mencari wawasan tentang hal-hal berikut. Apakah komputasi kuantum adiabatik sekuat model rangkaian, atau apakah secara inheren kurang kuat? Apakah ada kelas kompleksitas yang secara …
2
String hashing hampir universal dalam
Berikut adalah dua keluarga dari fungsi hash pada string x⃗ = ⟨ X0x1x2... xm⟩x→=⟨x0x1x2...xm⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle : halhalpxsaya∈ Zhalxsaya∈Zhalx_i \in \mathbb{Z_p}h1Sebuah( x⃗ ) = ∑asayaxsayamod phSebuah1(x→)=∑Sebuahsayaxsayamodhalh^1_{a}(\vec{x}) = \sum a^i x_i \bmod pa ∈ ZhalSebuah∈Zhala \in \mathbb{Z}_p∀ x ≠y,Pa(h1a( x ) =h1Sebuah(y) ) ≤ m …
3
Temukan sisa polinomial tetap besar ketika dibagi dengan polinomial kecil yang tidak diketahui
Asumsikan kita beroperasi di bidang yang terbatas. Kami diberi p polinomial tetap besar (x) (dari, katakanlah, derajat 1000) di atas bidang ini. Polinomial ini diketahui sebelumnya dan kami diizinkan untuk melakukan perhitungan menggunakan banyak sumber daya dalam "tahap awal." Hasil ini dapat disimpan dalam tabel pencarian yang cukup kecil. Pada …
2
Rumus 3CNF Monoton terbatas: menghitung tugas yang memuaskan (baik modulo dan modulo )
Pertimbangkan formula Monotone 3CNF yang memiliki batasan tambahan berikut: Setiap variabel muncul tepat klausa.222 Dengan klausa, mereka membagikan paling banyak 1 variabel.222111 Saya ingin tahu betapa sulitnya menghitung tugas yang memuaskan dari formula seperti itu. Perbarui 06/04/2013 12:55 Saya juga ingin tahu seberapa sulit menentukan paritas dari jumlah tugas yang …
1
Memahami pembicaraan di Konferensi dan Lokakarya
Saya seorang mahasiswa pascasarjana dari India. Saya sangat tertarik menghadiri Lokakarya, konferensi, dan mengundang dosen yang diberikan oleh profesor terkemuka. Di akhir pembicaraan seperti biasa beberapa orang akan bertanya dan pembicara akan menjawabnya. Tetapi masalah saya adalah saya tidak mengerti sebagian besar pertanyaan dan jawaban. Bahkan jika saya mengajukan pertanyaan, …
1
Pada
Kita tahu bahwa . Dari Teorema Savitch, , dan, dari Space Hierarchy Teorem, . Jadi, karena kita tidak tahu apakah , kita tidak tahu apakah , atau kita tahu itu ? Adakah yang mencoba membuktikan bahwa \ mathcal L ^ 2 \ subseteq \ mathcal P ? Apa hasil terbaru, …
2
Apa manfaat notasi Krivine?
Saya melihat beberapa orang menggunakan notasi Krivine untuk aplikasi fungsi ketika menyajikan sintaks untuk -calculus. Sebagai contoh, -term (dengan konvensi normal yang berfungsi mengaitkan aplikasi ke kiri, sehingga sebenarnya berarti ) ditulis (dengan konvensi serupa yang sebenarnya berarti ). Saya tidak melihat gunanya memiliki sepasang kurung di sekitar bagian dalam …
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.