Ilmu Komputer

ini adalah bagian dari kode Majelis section .text global _start ;must be declared for using gcc _start: ;tell linker entry point mov edx, len ;message length mov ecx, msg ;message to write mov ebx, 1 ;file descriptor (stdout) mov eax, 4 ;system call number (sys_write) int 0x80 ;call kernel...

Mari kita asumsikan bahwa . adalah kelas masalah di yang tidak ada di atau di -hard. Anda dapat menemukan daftar masalah yang diduga sebagai sini .N P I N P P N P N P IP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}N P INPI\mathsf{NPI}N PNP\mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP}NPINPI\mathsf{NPI} Teorema...

Apakah ada bahasa "alami" yang tidak dapat diputuskan? oleh "alami" Maksudku bahasa yang didefinisikan secara langsung oleh properti string, dan bukan melalui mesin dan setara mereka. Dengan kata lain, jika bahasanya mirip mana adalah TM, DFA (atau regular-exp), PDA (atau tata bahasa), dll.,...

Sudah ada banyak hype tentang kompiler JIT untuk bahasa seperti Java, Ruby, dan Python. Bagaimana kompiler JIT berbeda dari kompiler C / C ++, dan mengapa kompiler ditulis untuk Java, Ruby atau Python disebut kompiler JIT, sedangkan kompiler C / C ++ hanya disebut

Dalam pertanyaan sebelumnya , ada definisi pohon seimbang berat dan pertanyaan tentang pohon merah-hitam. Pertanyaan ini untuk menanyakan pertanyaan yang sama, tetapi untuk pohon AVL . Pertanyaannya adalah, mengingat definisi pohon seimbang seperti dalam pertanyaan lain,μμ\mu Apakah ada...

Saya memahami teori di balik jaringan Bayesian, dan saya bertanya-tanya apa yang diperlukan untuk membangun satu dalam praktik. Katakanlah untuk contoh ini, bahwa saya memiliki jaringan Bayesian (diarahkan) dengan 100 variabel acak diskrit; setiap variabel dapat mengambil satu hingga 10...

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya mencari teori matematika yang berhubungan dengan menggambarkan bahasa formal (serangkaian string)

Biarkan menjadi beberapa grafik lengkap, tertimbang, tidak terarah. Kami membuat grafik kedua dengan menambahkan tepi satu per satu dari ke . Kami menambahkan tepi ke secara total.G ′ = ( V , E ′ ) E E ′ Θ ( | V | ) G ′G = ( V, E)G=(V,E)G=(V,E)G′= ( V, E′)G′=(V,E′)G'=(V, E')EEEE′E′E'Θ ( | V|...

Diberi tata bahasa bebas konteks G, ada N Nondeterministic Pushdown Automaton yang menerima persis bahasa yang diterima G. (dan sebaliknya) Ada mungkin juga ada sebuah deterministik Pushdown Automaton D yang menerima persis bahasa G menerima juga. Itu tergantung pada tata bahasanya. Dengan...

Algoritma pemilahan generik umumnya mengambil satu set data untuk disortir dan fungsi komparator yang dapat membandingkan dua elemen individual. Jika komparator adalah relasi urutan¹, maka output dari algoritma adalah daftar / array yang diurutkan. Saya bertanya-tanya meskipun algoritma semacam...

Mesin Turing yang kembali ke keadaan sebelumnya dengan kepala baca / tulis pada sel yang sama dari rekaman yang sama akan ditangkap dalam satu lingkaran. Mesin seperti itu tidak berhenti. Bisakah seseorang memberi contoh mesin yang tidak pernah berhenti yang tidak

Saya telah mempelajari sesuatu tentang Kompleksitas Kolmogorov , membaca beberapa artikel dan buku dari Vitanyi dan Li dan menggunakan konsep Normalized Compression Distance untuk memverifikasi stilometri penulis (mengidentifikasi bagaimana setiap penulis menulis beberapa teks dan dokumen kelompok...

Dalam membaca jawaban Uday Reddy untuk Apa hubungan antara functors dalam teori SML dan Kategori? Negara bagian Uday Teori kategori belum tahu bagaimana menangani fungsi tingkat tinggi. Suatu hari, itu akan terjadi. Karena saya pikir teori Kategori dapat berfungsi sebagai dasar untuk...

Pemrograman fungsional menggunakan struktur data yang persisten dan objek yang tidak dapat diubah. Pertanyaan saya adalah mengapa sangat penting untuk memiliki struktur data di sini? Saya ingin memahami pada level rendah apa yang akan terjadi jika struktur data tidak persisten? Apakah program akan...

Menurut halaman ini , algoritma Dijkstra hanyalah BFS dengan antrian prioritas. Apakah sesederhana itu? Saya pikir

Menentukan bahasa formal dengan memberikan tata bahasa formal adalah tugas yang sering: kita membutuhkan tata bahasa tidak hanya untuk menggambarkan bahasa, tetapi juga untuk menguraikannya, atau bahkan melakukan sains yang tepat . Dalam semua kasus, penting bahwa tata bahasa yang ada sudah benar ,...

Apa yang ingin saya lakukan adalah mengubah masalah matematika yang saya miliki menjadi masalah kepuasan boolean (SAT) dan kemudian menyelesaikannya menggunakan SAT Solver. Saya ingin tahu apakah seseorang mengetahui manual, panduan, atau apa pun yang akan membantu saya mengubah masalah saya...

Ketika datang ke desain algoritma, orang sering menggunakan teknik berikut: Pemrograman Dinamis Strategi Serakah Membagi dan menaklukkan Sementara untuk dua metode pertama, ada dasar-dasar teoretis yang terkenal, yaitu Prinsip Optimalitas Bellman dan teori matroid (resp. Greedoid), saya tidak...

Pertanyaan ini dimigrasikan dari Stack Overflow karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 5 tahun yang lalu . Saya masih belajar pemrograman fungsional (dengan f #) dan saya baru-baru ini mulai membaca tentang ekspresi komputasi. Saya masih belum...

Saya ingin memulai pertanyaan dengan mengatakan saya seorang programmer, dan saya tidak memiliki banyak latar belakang dalam teori kompleksitas. Satu hal yang saya perhatikan adalah bahwa sementara banyak masalah adalah NP-lengkap, ketika diperluas ke masalah optimasi, beberapa jauh lebih sulit...