Saya membaca tentang algoritma pengetikan Hindley-Milner saat menulis implementasi, dan melihat bahwa, selama setiap variabel terikat, Anda akan selalu mendapatkan tipe atau tipe atom di mana argumen akan menentukan tipe final, seperti t1 -> t1atau (t1 -> t2) -> (t1 -> t2)di mana t1dan...
Misalkan saya punya kapal permukaan otonom bertenaga surya di suatu tempat di fjord Norwegia, dilengkapi dengan set peta yang cukup baru, penerima GPS, dan tidak ada cara untuk men-downlink perintah rinci dari saya. Kapal ini harus mencapai, katakanlah, pulau Hainan secepat mungkin. Apa algoritma...
Diberi alfabet Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , berapa banyak bahasa reguler yang berbeda yang dapat diterima oleh otomat terbatas non-deterministik nnn -negara? Sebagai contoh, mari kita pertimbangkan n=3n=3n=3 . Kami kemudian memiliki 2182182^{18} konfigurasi transisi yang berbeda dan 23232^3...
Saya bertanya-tanya tentang hubungan antara kompleksitas komputasi dan hierarki Chomsky, secara umum. Secara khusus, jika saya tahu bahwa beberapa masalah adalah NP-complete, apakah itu mengikuti bahwa bahasa masalah itu tidak bebas konteks? Misalnya, masalah klik adalah NP-lengkap. Apakah itu...
Saya mengambil kelas algoritma di Coursera. Profesor dalam video tentang tabel hash mengatakan itu Apa yang benar adalah bahwa untuk data non-patologis, Anda akan mendapatkan operasi waktu konstan dalam tabel hash yang diterapkan dengan benar. Apa yang dimaksud dengan "data non-patologis"?...
Saya membaca buku HoTT dan saya punya (mungkin sangat naif) pertanyaan tentang hal-hal di bab satu. Bab ini memperkenalkan tipe fungsi f:A→Bf:A→B f:A\to B dan kemudian menyamaratakannya dengan membuat BBB bergantung pada x:Ax:Ax:A B:A→U,g:∏x:AB(x)B:A→U,g:∏x:AB(x)B:A\to\mathcal{U},\qquad...
Misalkan kita diberi dua angka dan dan kita ingin menemukan untuk l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Algoritma naif hanya memeriksa semua pasangan yang mungkin; misalnya dalam ruby, kita akan memiliki: def max_xor(l, r) max = 0...
Seorang siswa baru-baru ini meminta saya untuk memeriksa bukti kekerasan NP untuk mereka. Mereka melakukan pengurangan sepanjang garis: Saya mengurangi masalah ini P′P′P' yang dikenal sebagai NP-lengkap untuk masalah saya PPP (dengan banyak-satu pengurangan poli-waktu), jadi PPP adalah...
Misalkan saya ingin membangun sistem operasi berdasarkan kernel rendah asli asli yang sangat kecil yang bertindak sebagai penerjemah / runtime kode terkelola dan kernel atas yang lebih besar yang dikompilasi ke bahasa mesin yang bukan asli (Java bytecode, CIL, dll.). Contoh sistem operasi yang...
Sebuah microkernel mengimplementasikan semua driver sebagai program ruang pengguna, dan mengimplementasikan fitur-fitur inti seperti IPC di dalam kernel itu sendiri. Kernel monolitik, bagaimanapun, mengimplementasikan driver sebagai bagian dari kernel (misalnya berjalan dalam mode kernel). Saya...
Bahasa seperti adalah bawah banyak-satu reduksi. Sangat sepele untuk melihat bahwa memiliki masalah. S. Schmitz [1] mempertimbangkan beberapa kelas antara dan . Mereka menghadirkan masalah lengkap untuk kelas-kelas ini di bawah pengurangan yang dibuat
misal ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) Ekspresi berasal dari aljabar sekolah menengah biasa, tetapi terbatas pada penambahan dan perkalian aritmatika (misalnya ), tanpa inversi, pengurangan atau pembagian. Surat adalah variabel.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Jika ini membantu,...
Saya bertanya-tanya, apa algoritma yang paling terkenal, dalam hal notasi Big- , untuk menyelesaikan Integer Linear Programming?OOO Saya tahu bahwa masalah adalah -Lengkap, jadi aku tidak mengharapkan apa-apa polinomial. Dan saya tahu ada banyak heuristik dan yang digunakan dalam aplikasi praktis...
Saya mencoba memahami bukti teorema Karp-Lipton sebagaimana dinyatakan dalam buku "Kompleksitas Komputasi: Suatu pendekatan modern" (2009). Secara khusus, buku ini menyatakan sebagai berikut: Teorema Karp-Lipton Jika NP , maka PH .P ∖ p o l y⊆⊆\subseteq P∖ p o l yP∖halHailyP_{\backslash...
Untuk mengukur kompleksitas suatu algoritma, apakah itu kompleksitas waktu, atau kompleksitas komputasi? Apa perbedaan di antara mereka? Saya biasa menghitung jumlah maksimum (terburuk) operasi dasar (paling mahal) dalam
Saya yakin seseorang telah memikirkan hal ini sebelum atau segera menolaknya, tetapi mengapa teori dikotomi Schaefer bersama dengan teorema Mahaney tentang set jarang tidak menyiratkan P = NP? Inilah alasan saya: Buat bahasa yang sama dengan SAT berpotongan dengan set jarang decidable terbatas....
Di sini saya baca itu: Haskell jelas tidak memiliki sistem tipe yang paling canggih (bahkan tidak menutup jika Anda menghitung bahasa penelitian) tetapi dari semua bahasa yang sebenarnya digunakan dalam produksi, Haskell mungkin ada di puncak. Jadi saya bertanya dua hal: bahasa riset mana...
Jadi biasanya Sudoku adalah , tetapi pertanyaan ini meluas hingga teka-teki dengan juga. Ada banyak aturan pengurangan waktu polinomial yang dapat membuat kemajuan dalam menemukan solusi untuk teka-teki Sudoku. Namun terkadang nilai dugaan dan rantai kesimpulan berikut mungkin diperlukan untuk...
Saya tahu ini adalah pertanyaan yang sangat umum. Tetapi saya memiliki sudut pandang yang berbeda dalam pikiran saya. Saya hanya akan mencoba mengartikulasikannya di sini. Dari apa yang saya tahu, setiap instruksi yang dieksekusi CPU, dalam bahasa mesin dan semua CPU dapat lakukan adalah melakukan...
Saya tahu bahwa gerbang NAND dapat digunakan untuk membuat sirkuit yang menerapkan setiap tabel kebenaran, dan komputer modern dibangun dari gerbang NAND. Apa hubungan teoritis antara gerbang NAND dan kelengkapan Turing? Sepertinya saya bahwa sirkuit gerbang NAND lebih dekat ke automata terbatas...