Misalkan kita memiliki generator acak yang mengeluarkan angka dalam kisaran [0..R−1][0..R−1][0..R-1] dengan distribusi seragam dan kita perlu menghasilkan angka acak dalam kisaran [0..N−1][0..N−1][0..N-1] dengan distribusi seragam. Misalkan N<RN<RN < R dan NNN tidak membagi secara merata...
Saya ingin tahu bagaimana seseorang dapat dengan sangat kompak mengompres domain dari nama host IDN yang sewenang-wenang (seperti yang didefinisikan oleh RFC5890 ) dan menduga ini bisa menjadi tantangan yang menarik. Host Unicode atau nama domain (U-label) terdiri dari serangkaian karakter Unicode,...
Saya mencari penjelasan tentang bagaimana seseorang dapat membuktikan bahwa dua model perhitungan adalah setara. Saya telah membaca buku-buku tentang masalah ini kecuali bahwa bukti kesetaraan dihilangkan. Saya punya ide dasar tentang apa artinya dua model perhitungan menjadi setara (tampilan...
Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup tahun lalu . Langsung ke...
Saya mengajar komputasi untuk anak berusia 18 tahun. Setelah notasi polesan terbalik dijelaskan kepada mereka, satu orang bertanya mengapa cukup signifikan untuk mengikuti ujian publik. Saya menjelaskan arti historis kalkulator 70-an tetapi ini gagal untuk benar-benar mengatasi masalah ini. Begitu...
Inilah masalahnya. Diberikan , di mana setiap . Apakah ada subset dengan ukuran paling banyak sehingga untuk semua ? Saya mencoba mengurangi masalah ini menjadi SAT. Gagasan saya tentang solusi adalah memiliki variabel untuk masing-masing 1 hingga . Untuk setiap , buat klausa jika . Kemudian dan...
Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya seorang mahasiswa, dan kami sedang mempelajari Lambda Calculus. Namun, saya masih kesulitan memahami...
Masalah subset-jumlah adalah masalah klasik NP-complete: Diberikan daftar angka dan target , adakah subset angka dari yang menjumlahkan ke ?k L kL.LLkkkL.LLkkk Seorang siswa bertanya kepada saya apakah varian masalah yang disebut masalah "subset produk" ini adalah NP-complete: Diberikan...
Apakah ada struktur data yang memelihara kumpulan himpunan (himpunan terbatas hingga) yang mendukung operasi berikut? Setiap waktu menjalankan sublinear akan dihargai? Init set kosong. Tambahkan elemen ke set. Diberi dua set, laporkan apakah mereka
Setelah mempelajari Haskell dan bahasa FP lain yang tidak murni, saya memutuskan untuk membaca tentang teori Kategori. Setelah mendapatkan pemahaman yang baik tentang teori Kategori saya mulai berpikir tentang bagaimana konsep teori kategori dapat digunakan untuk berpikir tentang merancang program...
Salah satu motivasi yang mungkin untuk mempelajari kelas kompleksitas komputasi adalah untuk memahami kekuatan berbagai jenis sumber daya komputasi (keacakan, non-determinisme, efek kuantum, dll.). Jika kita melihatnya dari perspektif ini, maka sepertinya kita dapat memperoleh satu aksioma yang...
Saya ingin tahu algoritma mana yang tercepat untuk perkalian dua angka n-digit? Kompleksitas ruang bisa santai di
Misalkan Anda diberi koin yang adil dan Anda ingin mensimulasikan distribusi probabilitas berulang kali membalik mati (enam sisi) yang adil. Ide awal saya adalah bahwa kita perlu memilih bilangan bulat yang sesuai , sehingga . Jadi setelah membalik koin kali, kami memetakan angka yang dikodekan...
Di beberapa tempat di dunia, orang biasanya tidak memiliki akses ke (dan karenanya sedikit pengetahuan tentang) komputer, dan bahkan jika mereka memilikinya, perangkat keras dan lunak sudah ketinggalan zaman dan penggunaannya terganggu oleh pemadaman listrik dan semacamnya. Akses ke buku-buku...
Dalam matematika, ada banyak bukti keberadaan yang tidak konstruktif, jadi kita tahu bahwa ada objek tertentu meskipun kita tidak tahu bagaimana menemukannya. Saya mencari hasil yang serupa dalam ilmu komputer. Secara khusus: apakah ada masalah yang dapat kita buktikan dapat diputuskan tanpa...
Ketika mempertimbangkan model mesin dari perhitungan, hierarki Chomsky biasanya ditandai oleh (dalam urutan), automata terbatas, automata push-down, automata terikat linier dan Mesin Turing. Untuk level pertama dan terakhir 1 (bahasa reguler dan bahasa yang berulang secara berulang), tidak ada...
Saya baru-baru ini mendengar analogi yang menarik yang menyatakan bahwa bukti Turing tentang ketidakpastian masalah penghentian sangat mirip dengan paradoks tukang cukur Russell. Jadi saya bertanya-tanya: matematikawan akhirnya berhasil membuat teori himpunan konsisten dengan beralih dari...
Bagaimana saya bisa mengekspresikan gerbang AND hanya menggunakan gerbang
Dari apa yang saya lihat tentang penggunaan sepasang kunci publik dan pribadi, kunci publik digunakan untuk mengenkripsi pesan, dan kunci pribadi digunakan untuk mendekripsi pesan terenkripsi. Jika sebuah pesan dienkripsi dengan kunci pribadi, dapatkah itu didekripsi oleh kunci publik yang sesuai?...
Saya baru saja menemukan hal berikut: Saya meletakkan beberapa salinan identik gambar png ke dalam folder dan kemudian mencoba untuk mengompresi folder itu dengan metode berikut: tar czf folder.tar.gz folder/ tar cf folder.tar folder/ && xz --stdout folder.tar > folder.tar.xz (yang ini...