Ilmu Komputer

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 daripada mesin Turing. Intuisi saya adalah saya dapat …

14 turing-machines  turing-completeness  digital-circuits 

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 menghilangkan nilai sel atau kombinasi nilai sel. Namun, setelah solusi …

14 complexity-theory  sudoku 

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. Maka L juga harus jarang. Karena L …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

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 yang memiliki sistem tipe yang lebih …

14 programming-languages  type-theory 

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 algoritma.

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

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 beberapa operasi aritmatika berkat ALU …

14 computer-architecture  cpu 

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 seperti CPLEX, tapi saya lebih tertarik pada formalitas, kompleksitas …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

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 poly} =Σp2=Σ2hal= \Sigma^p_2 Bukti: Dengan Teorema 5.4, untuk menunjukkan …

14 complexity-theory  complexity-classes 

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 khusus.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Apakah ada masalah lengkap untuk (alias ) relatif terhadap pengurangan yang lebih lemah? Pengurangan Turing …

14 computability  reductions  turing-completeness  recursion-theory 

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, kami dapat melarang ekspresi apa pun yang dapat diwakili dengan nilai numerik selain ; yaitu bukan atau atau :x 2 …

14 complexity-theory  time-complexity  decision-problem 

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 telah membaca beberapa klaim bahwa microkernels lebih lambat dari kernel monolithic, karena mereka perlu menangani …

14 operating-systems  performance  os-kernel 

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 (l..r).each do |i| (i..r).each do |j| …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

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 NP-keras. Jawaban saya pada dasarnya: Karena PPP memiliki instance dengan nilai-nilai dari …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

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 serupa adalah Singularity dan Cosmos . …

14 operating-systems  type-checking  interpreters  os-kernel 

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"? Bisakah Anda memberikan beberapa contoh?

14 hash-tables