Ilmu Komputer

Pernyataan Masalah Informal: Diberikan string, mis. ACCABBABSEBUAHCCSEBUAHBBSEBUAHBACCABBAB , kami ingin mewarnai beberapa huruf merah dan beberapa huruf biru (dan beberapa tidak sama sekali), sehingga hanya membaca huruf merah dari kiri ke kanan menghasilkan hasil yang sama seperti membaca hanya huruf biru. Dalam contoh kita bisa mewarnai mereka seperti ini: ACCABBABSEBUAHCCSEBUAHBBSEBUAHBA\color{blue}{C}\color{red}{CAB}B\color{blue}{AB} …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

Saya telah menemukan beberapa alat pemrograman visual open source seperti Blockly dan teman-teman, dan proyek lain yang dihosting di Github, tetapi tidak dapat menemukan yang bekerja langsung dengan pohon sintaksis abstrak. Mengapa demikian? Saya bertanya karena begitu saya menemukan bahwa setiap kompiler di luar sana memiliki fase dalam proses kompilasi …

25 programming-languages  language-design  syntax-trees 

Apakah ada struktur data untuk mempertahankan daftar yang diurutkan yang mendukung operasi berikut dalam waktu diamortisasi?O(1)O(1)O(1) GetElement (k) : Mengembalikan elemen ke- dari daftar.kkk InsertAfter (x, y) : Masukkan elemen baru y ke dalam daftar segera setelah x. Hapus (x) : Hapus x dari daftar. Untuk dua operasi terakhir, Anda …

25 data-structures  time-complexity  asymptotics  amortized-analysis 

Cukup sederhana untuk memahami mengapa masalah penghentian tidak dapat diputuskan untuk program tidak murni (yaitu, yang memiliki I / O dan / atau negara bagian bergantung pada negara mesin-global); tetapi secara intuitif, tampaknya program murni berhenti pada komputer yang ideal akan dapat ditentukan melalui misalnya analisis statis. Apakah ini yang …

25 halting-problem  static-analysis 

Saya mengalami kesulitan memahami bukti tentang keraguan atas Masalah yang Menghambat. Jika kembali apakah program yang perhentian pada input b , mengapa kita harus melewati kode P untuk kedua a dan b ?H(a,b)H(a,b)H(a,b)aaabbbPPPaaabbb Mengapa kita tidak bisa memberi makan dengan P dan beberapa input sewenang-wenang, katakanlah, x ?H()H()H()PPPxxx

25 computability  turing-machines 

Saya membaca buku "Singularitas sudah dekat" yang ditulis oleh Kurzweil dan dia menyebutkan gerbang yang dapat dibalik seperti misalnya gerbang Fredkin . Keuntungan menggunakan gerbang seperti itu adalah kita bisa membuang limbah termal yang terkait dengan perhitungan di mana bit hilang menjadi panas, dan perhitungan tidak membutuhkan input energi. Asumsi …

25 computer-architecture 

Jika masalah kedua jenderal itu tidak terpecahkan, bagaimana mungkin kita manusia sepakat tentang berbagai hal? Maksud saya, kita berkomunikasi setiap hari dan memiliki keterbatasan yang sama dengan masalah komunikasi yang ditangani oleh ilmu komputer. Mengapa itu tidak memengaruhi kita?

25 computer-networks  communication-protocols 

Sebuah Bloom Filter memungkinkan untuk efisien melacak apakah berbagai nilai telah ditemui selama pengolahan. Ketika ada banyak item data maka filter Bloom dapat menghasilkan penghematan memori yang signifikan di atas tabel hash. Fitur utama dari filter Bloom, yang dibagikan dengan tabel hash, adalah selalu mengatakan "bukan baru" jika suatu item …

25 reference-request  data-structures  hash  bloom-filters  dictionaries 

Saya tertarik pada pertanyaan tentang cara terbaik untuk mengajarkan kelengkapan NP ke jurusan ilmu komputer. Secara khusus, haruskah kita mengajarkannya menggunakan pengurangan Karp atau menggunakan pengurangan Turing? Saya merasa bahwa konsep pelengkapan dan pengurangan NP adalah sesuatu yang harus dipelajari oleh setiap ilmu komputer. Namun, ketika mengajarkan kelengkapan NP, saya …

25 complexity-theory  np-complete  reductions  education  didactics 

WP memiliki diskusi yang memadai tentang paging , yang saya pikir saya mengerti .. Namun saya bingung dengan artikel yang berulang kali menggunakan istilah Page Frame . Saya pikir bingkai dan halaman adalah hal yang berbeda. Bisakah seseorang tolong menjelaskan perbedaannya.

25 memory-management 

Saya telah mencari-cari jawaban untuk pertanyaan ini dan kelihatannya semua orang secara implisit tahu jawabannya kecuali saya. Agaknya ini karena satu-satunya orang yang peduli adalah mereka yang pernah memiliki pendidikan tinggi tentang hal itu. Saya, di sisi lain, telah dilemparkan ke dalam untuk tugas sekolah menengah. Pertanyaan saya adalah, bagaimana …

25 formal-languages  programming-languages  regular-expressions 

Apakah ada referensi yang jelas, dengan pseudo-code, tentang bagaimana cara mengimplementasikan juru bahasa Prolog dalam bahasa yang murni fungsional? Apa yang saya temukan sejauh ini tampaknya hanya berurusan dengan bahasa imperatif, hanyalah sebuah demonstrasi dari Prolog yang dilaksanakan dengan sendirinya, atau tidak menawarkan algoritma konkret untuk digunakan untuk interpretasi. Saya …

25 functional-programming  prolog  logic-programming 

Saya menggunakan pemecah SAT untuk menyandikan masalah, dan sebagai bagian dari contoh SAT, saya memiliki variabel boolean x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n mana dimaksudkan bahwa salah satu dari ini harus benar dan sisanya harus salah. (Saya terkadang melihat ini digambarkan sebagai pengkodean "satu-panas".) Saya ingin menyandikan batasan "tepat satu dari x1,…,xnx1,…,xnx_1,\dots,x_n harus benar" di …

25 satisfiability  sat-solvers  applied-theory 

Ini pertanyaan dari ujian sebelumnya yang saya coba selesaikan: Untuk grafik tidak terarah dengan bobot positif w ( e ) ≥ 0 , saya mencoba mencari potongan minimum. Saya tidak tahu cara lain untuk melakukan itu selain menggunakan teorema min-cut max-flow. Tetapi grafik tidak diarahkan, jadi bagaimana saya harus mengarahkannya? …

25 algorithms  graph-theory 

Saya sedang mencari algoritma untuk mendistribusikan nilai dari daftar sehingga daftar yang dihasilkan sebagai "seimbang" atau "didistribusikan secara merata" sebanyak mungkin (dalam tanda kutip karena saya tidak yakin ini adalah cara terbaik untuk menggambarkannya ... nanti saya akan memberikan cara untuk mengukur apakah hasilnya lebih baik dari yang lain). Jadi, …

25 algorithms  optimization  sorting  approximation