Saya ingin tahu apakah ada masalah lengkap di kelas kompleksitas Arthur-Merlin. Grafik Non-Isomorfisme (GNI) tampaknya menjadi contoh kanonik dari suatu masalah di AM, tapi itu mungkin bukan yang lengkap. Saya kira saya juga bertanya-tanya apakah masalah "lengkap" didefinisikan dengan baik untuk...
Saya merancang objek database dalam-memori untuk kasus penggunaan yang sangat spesifik. Ini adalah penulis tunggal, tetapi harus mendukung pembacaan berbarengan yang efisien. Bacaan harus diisolasi. Tidak ada bahasa permintaan, database hanya mendukung: dapatkan objek / -s dengan atribut / set...
Jarak edit Levenshtein-Distance antara daftar adalah masalah yang dipelajari dengan baik. Tetapi saya tidak dapat menemukan banyak perbaikan yang mungkin jika diketahui bahwa tidak ada elemen yang muncul lebih dari satu kali di setiap daftar . Mari kita asumsikan juga bahwa elemen-elemennya...
Saya baru mengenal automata, dan saya telah diberikan pengantar singkat untuk ekspresi reguler hanya kemarin. Saya telah membaca berbagai aturan untuk mendefinisikan ekspresi reguler. Tetapi saya tidak dapat membedakan antara ekspresi reguler dan tata bahasa (saya belum diajarkan tata bahasa untuk...
Saya baru saja membaca beberapa halaman dalam buku Sipser. Pengantar Teori Komputasi tentang Masalah Pasca Korespondensi, dan saya berpikir bahwa PCP sebenarnya dalam NP. adalah: untuk konfigurasi masukan tumpukan menyatukan sebagai string dan merangkai sebagai string , lalu bandingkan dan untuk...
Saya sadar bahwa ini tampaknya pertanyaan yang sangat bodoh (atau terlalu jelas untuk dinyatakan). Namun, saya bingung di beberapa titik. Kami dapat menunjukkan bahwa P NP=== jika dan hanya jika kami dapat merancang algoritma yang memecahkan setiap contoh masalah dalam NP dalam waktu...
Saat ini saya membaca pengantar algoritma dan datang dengan algoritma Johnson yang tergantung pada memastikan bahwa semua jalur positif. algo tergantung pada menemukan fungsi bobot baru (w ') yang positif untuk semua tepi dan menjaga kebenaran hubungan jalur terpendek. Ia melakukannya dengan...
Saya pikir semua bahasa reguler dapat diekspresikan dengan ekspresi reguler (jika suatu bahasa biasa, dapat diekspresikan dengan regex), tetapi saya telah diberitahu bahwa Anda memerlukan ketiga operasi reguler (penggabungan, penyatuan, dan bintang) untuk itu untuk menahan. Sebagai contoh, saya...
Saya mengalami kesulitan membungkus kepala saya di sekitar masalah PRIME, KOMPOSIT, FAKTOR dan bagaimana mereka terkait dalam hal kompleksitas. Saya mengerti bahwa PRIME telah terbukti berada di oleh tes primality AKS, dan saya percaya ini juga berfungsi untuk COMPOSITE.PPP Adapun...
Sepertinya orang bosan dengan manajemen memori manual, jadi mereka menemukan pengumpulan sampah, dan hidup itu cukup baik. Tetapi bagaimana dengan setiap jenis sumber daya lainnya? Deskriptor file, soket, atau bahkan data yang dibuat pengguna seperti koneksi basis data? Ini terasa seperti...
Salah satu pertanyaan paling populer dari struktur data dan algoritma, sebagian besar ditanyakan pada wawancara
Saya telah melihat beberapa pertanyaan di situs ini tentang Deep Dream, namun tidak satupun dari mereka yang benar-benar berbicara tentang apa yang dilakukan DeepDream, khususnya. Sejauh yang saya kumpulkan, mereka tampaknya telah mengubah fungsi tujuan, dan juga mengubah backpropagation sehingga...
Alice, seorang siswa, memiliki banyak pekerjaan rumah selama beberapa minggu ke depan. Setiap item pekerjaan rumah membawanya tepat satu hari. Setiap item juga memiliki tenggat waktu, dan dampak negatif pada nilai-nilainya (anggap angka sebenarnya, poin bonus hanya dengan asumsi dapat...
Untuk mengetahui perbedaannya, saya baru saja menemukan pernyataan di bawah tentang logika temporal di Wikipedia : varian lain dari logika modal yang berbagi banyak fitur umum dengan logika dinamis, berbeda dari semua logika yang disebutkan di atas dengan menjadi apa yang telah ditandai oleh...
Jika kita memiliki program komputer sewenang-wenang yang dapat memodifikasi instruksinya, apakah mungkin untuk mensimulasikan program itu dengan program yang tidak dapat memodifikasi instruksinya? Edit: Saya baru mengenal stackexchange jadi tidak yakin apakah saya diperbolehkan mengajukan...
Kami memiliki banyak masalah, seperti faktorisasi, yang sangat dugaan, tetapi tidak terbukti, berada di luar P. Apakah ada pertanyaan dengan properti yang berlawanan, yaitu, bahwa mereka sangat dugaan tetapi tidak terbukti berada di dalam
Latar belakang: Saya orang awam yang lengkap dalam ilmu komputer. Saya membaca tentang angka-angka Sibuk Berang-berang di sini , dan saya menemukan bagian berikut: Kemanusiaan mungkin tidak pernah tahu nilai BB (6) untuk yang pasti, apalagi BB (7) atau angka yang lebih tinggi dalam urutan....
Saat ini saya harus belajar Coq dan tidak tahu bagaimana menghadapi or: Sebagai contoh, sesederhana itu, saya tidak melihat cara membuktikan: Theorem T0: x \/ ~x. Saya akan sangat menghargainya, jika seseorang dapat membantu saya. Untuk referensi saya menggunakan lembar contekan ini . Juga...
Masalah pemrograman linier: temukan algoritma waktu polinomial yang kuat yang untuk matriks A ∈ Rm × n dan b ∈ Rm menentukan apakah ada x ∈ Rn dengan Ax ≥ b. Saya tahu bahwa Steve Smale's daftar beberapa masalah yang belum terpecahkan dalam matematika. Tetapi masalah pemrograman linier seperti itu...
Dalam Yayasan Praktis untuk Bahasa Pemrograman , kata Robert Harper Jika proposisi itu benar berarti memiliki buktinya, apa artinya proposisi itu salah? Itu berarti bahwa kita memiliki penolakan terhadapnya, menunjukkan bahwa itu tidak dapat dibuktikan. Yaitu, proposisi salah jika kita dapat...