Banyak cryptosystem kunci publik memiliki beberapa jenis keamanan yang dapat dibuktikan. Sebagai contoh, cryptosystem Rabin terbukti sekeras pemfaktoran. Saya bertanya-tanya apakah jenis keamanan yang terbukti seperti itu ada untuk cryptosystem kunci-rahasia, seperti AES. Jika tidak, apa bukti...
SACiSACiSAC^i adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit kedalaman dengan fanin tanpa-batas OR dan gerbang AND-fanin terikat. Negasi hanya diperbolehkan di level input. Diketahui bahwa untuk ditutup dengan komplemen dan tidak. Juga, dan karenanya memiliki karakterisasi...
Apa jenis dugaan dan masalah terbuka utama yang paling penting dalam teori permainan algoritmik (atau teori permainan secara umum yang berkaitan dengan CS)? Sebagai contoh, resolusi NASH sebagai PPAD-lengkap akan, saya pikir, telah menjadi yang terbesar hingga diselesaikan. (Ditambahkan:...
Pertimbangkan daftar yang hanya terhubung sendiri dalam pengaturan fungsional murni. Pujiannya telah dinyanyikan dari puncak gunung dan akan terus dinyanyikan. Di sini saya akan membahas satu di antara banyak kekuatannya dan pertanyaan tentang bagaimana ia dapat diperluas ke kelas yang lebih luas...
Bagaimana saya bisa meyakinkan Coq bahwa fungsi rekursif yang diberikan di bawah ini berakhir? Fungsi ini mengambil dua argumen induktif. Secara intuitif, rekursi berakhir karena salah satu argumen terurai. Secara khusus, fungsi mengambil dua pohon sebagai input. Inductive Tree := | Tip: Tree |...
Saya merevisi beberapa model kriptografi. Untuk menunjukkan kekurangannya, saya telah menyusun protokol yang dibuat berdasarkan isomorfisme grafik. Adalah "lumrah" (namun kontroversial!) Untuk mengasumsikan keberadaan algoritma BPP yang mampu menghasilkan "contoh sulit dari masalah Grafik...
Saya menulis implementasi dari algoritma Kuhn-Munkres untuk masalah pencocokan sempurna bipartit berat minimum berdasarkan catatan kuliah yang saya temukan di sana-sini di web. Ini bekerja dengan sangat baik, bahkan pada ribuan titik. Dan saya setuju bahwa teori di baliknya benar-benar indah. Namun...
Diberi dua CNF, jika mereka memiliki jumlah tugas yang sama untuk menjadikannya benar, jawab "Ya", jika tidak jawab "Tidak". Sangat mudah untuk melihatnya di , karena jika kita tahu jumlah pasti dari solusi untuk dua CNF ini, kita hanya campare mereka dan menjawab "Ya" atau
Kita tahu bahwa algoritma mincut Krier dapat digunakan untuk membuktikan (dengan cara yang tidak konstruktif) bahwa jumlah maksimum dari mincuts yang mungkin dimiliki oleh sebuah grafik adalah .(n2)(n2)n \choose 2 Saya bertanya-tanya apakah kita bisa membuktikan identitas ini dengan memberikan...
1) Apakah mungkin untuk memiliki pengurangan parsimoni dari masalah # P-complete #A ke masalah penghitungan #B ketika (versi keputusan) A adalah NP-complete dan B berada di P? Misalnya, dapatkah ada pengurangan pelit dari #SAT ke #B, ketika B ada di P? 2) Jika B ada di P, apa saja kemungkinan...
Apakah ada yang mengarahkan saya ke sebuah makalah yang merinci teorema cut-eliminasi untuk logika intuitionistic proposisional, termasuk tipe data induktif seperti bilangan alami (daftar atau pohon juga akan baik-baik saja)? Contoh dari jenis sistem yang saya minati adalah Godel's T, yang memiliki...
Algoritma Hungaria adalah algoritma optimisasi kombinatorial yang memecahkan masalah pencocokan bipartit berat maksimum dalam waktu polinomial dan mengantisipasi perkembangan selanjutnya dari metode primal-dual yang penting . Algoritma ini dikembangkan dan diterbitkan oleh Harold Kuhn pada tahun...
Katakanlah saya memiliki blok kode besar yang sudah saya lex dan parsing. Misalkan hanya satu karakter yang berubah; Saya ingin memperbarui penguraian saya, tetapi karena modifikasinya sangat kecil dibandingkan dengan semuanya, saya ingin tahu apakah mungkin untuk tidak menguraikan semuanya lagi,...
Itu adalah nama yang saya buat untuk masalah ini. Saya belum melihatnya dijelaskan di mana pun sebelumnya. Saya belum dapat menemukan bukti kelengkapan NP atau algoritma waktu polinomial untuk masalah ini. Ini bukan masalah pekerjaan rumah - ini terkait dengan masalah yang saya temui dalam...
Saya mengeksplorasi ide menulis DBMS dengan cara yang sepenuhnya fungsional. Struktur data tradisional yang digunakan untuk pengindeksan adalah B-Tree. Saya ingin mengetahui beberapa fungsi yang setara murni dari B-Tree yang akan dioptimalkan untuk meminimalkan akses disk. Terima
Pertimbangkan beberapa bahasa sedemikian rupa sehingga:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) dan jadi itu L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Dengan...
Seberapa baik masalah berikut telah diselidiki di TCS? (Saya minta maaf jika pernyataan masalah terdengar kabur!) Diberikan Model Komputasi MC (Mesin Turing, Cellular Automata, Mesin Kolmogorov-Uspenskii ... dll.) Dan Model Kebisingan yang dapat memengaruhi perhitungan MC, apakah ada cara untuk...
Misalkan menjadi rumus CNF dengan n variabel dan klausa m . Misalkan t ∈ { 0 , 1 } n mewakili penugasan variabel dan f φ ( t ) ∈ { 0 , ... , m } menghitung jumlah klausa yang dipenuhi oleh penugasan variabel ke φ . Kemudian definisikan Median-SAT sebagai masalah perhitungan nilai median f φ ( t )...
Pertimbangkan masalah # P-complete untuk menghitung jumlah penutup simpul dari grafik yang diberikan .G=(V,E)G=(V,E)G = (V, E) Saya ingin tahu apakah ada hasil yang menunjukkan bagaimana kekerasan masalah tersebut bervariasi dengan beberapa parameter (misalnya, ).GGGd=|E||V|d=|E||V|d =...
Pertimbangkan pertanyaan alami berikut: Dengan bahasa terbatas , apa yang menghasilkan tata bahasa L terkecil yang bebas konteks ?L.L.LL.L.L Kita bisa membuat pertanyaan yang lebih menarik dengan menentukan urutan bahasa , misalnya L n adalah himpunan semua permutasi dari { 1 , ... , n } :...