Lihat akhir tulisan ini untuk beberapa klarifikasi tentang definisi min-heap automata. Orang dapat membayangkan menggunakan berbagai struktur data untuk menyimpan informasi untuk digunakan oleh mesin negara. Misalnya, push-down automata menyimpan informasi dalam tumpukan, dan mesin Turing...
O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| +
Ketika melihat pemrograman konkuren, dua istilah yang umum digunakan yaitu konkuren dan paralel. Dan beberapa bahasa pemrograman secara khusus mengklaim dukungan untuk pemrograman paralel, seperti Java . Apakah ini berarti pemrograman paralel dan konkuren sebenarnya
Ada algoritma standar ini untuk menemukan jalur terpanjang di pohon-pohon yang tidak diarahkan menggunakan dua pencarian kedalaman-pertama: Mulai DFS dari simpul acak dan temukan simpul terjauh darinya; katakan itu .v ′vvvv′v′v' Sekarang mulai DFS dari untuk menemukan titik terjauh dari itu....
Saya belajar Pembuktian Teorema Otomatis / SMT solver / Asisten Bukti sendiri dan memposting serangkaian pertanyaan tentang proses, mulai di sini. Perhatikan bahwa topik ini tidak mudah dicerna tanpa latar belakang logika (matematika). Jika Anda memiliki masalah dengan istilah dasar, silakan baca...
Anggaplah saya seorang programmer dan saya punya masalah NP-complete yang saya butuhkan untuk menyelesaikannya. Metode apa yang tersedia untuk menangani masalah NPC? Apakah ada survei atau yang serupa dengan topik
Saya telah melihatnya menyebutkan bahwa sistem tipe dependen tidak dapat disimpulkan, tetapi dapat diperiksa. Saya bertanya-tanya apakah ada penjelasan sederhana mengapa demikian, dan apakah ada atau tidak ada batas "ketergantungan" di mana jenis dapat diindeks oleh nilai-nilai, di bawah ini jenis...
Dalam kuliah sistem komputer kami, kami diperkenalkan dengan prosesor MIPS. Itu (kembali) dikembangkan selama jangka waktu dan sebenarnya cukup mudah dimengerti. Ini menggunakan desain RISC , yaitu perintah-perintah dasar yang secara teratur dikodekan dan hanya ada beberapa dari mereka untuk...
Saya menemukan masalah aneh ketika menulis seorang juru bahasa yang (harus) menghubungkan ke program / fungsi eksternal: Fungsi dalam 'C' dan 'C ++' tidak dapat mengaitkan fungsi variadik , misalnya saya tidak dapat membuat fungsi yang memanggil 'printf' dengan argumen yang sama persis yang...
Saya telah melihat seluruh stack Overflow, misalnya di sini , di sini , di sini , di sini , di sini dan beberapa yang lain saya tidak peduli untuk menyebutkan, bahwa "program apa pun yang menggunakan rekursi dapat dikonversi ke program yang hanya menggunakan iterasi". Bahkan ada utas yang sangat...
Mari kita asumsikan definisi pohon merah-hitam berikut: Ini adalah pohon pencarian biner. Setiap node berwarna merah atau hitam. Akar hitam. Dua node yang dihubungkan oleh sebuah edge tidak bisa berwarna merah pada saat bersamaan. Ini seharusnya definisi yang bagus untuk daun NIL, seperti pada...
Dalam jawaban ini disebutkan Bahasa reguler dapat dikenali oleh otomat terbatas. Bahasa bebas konteks memerlukan tumpukan, dan bahasa sensitif konteks membutuhkan dua tumpukan (yang setara dengan mengatakan itu memerlukan mesin Turing penuh) . Saya ingin tahu tentang kebenaran bagian yang...
Saya mencoba memahami algoritma oleh Peterson dan Dekker yang sangat mirip dan menampilkan banyak simetri. Saya mencoba merumuskan algoritma dalam bahasa informal seperti berikut: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and...
Saya mencoba menulis pemeriksa ejaan yang harusnya berfungsi dengan kamus yang cukup besar. Saya benar-benar ingin cara yang efisien untuk mengindeks data kamus saya untuk digunakan menggunakan jarak Damerau-Levenshtein untuk menentukan kata mana yang paling dekat dengan kata yang salah eja. Saya...
Saya mencoba menjelaskan kepada seseorang bahwa C adalah Turing-lengkap, dan menyadari bahwa saya tidak benar-benar tahu apakah itu Turing-lengkap secara teknis. (C seperti dalam semantik abstrak, bukan seperti dalam implementasi aktual.) Jawaban "jelas" (kira-kira: ia dapat mengatasi jumlah...
Dalam algoritma dan kompleksitas, kami fokus pada kompleksitas algoritma asimptotik, yaitu jumlah sumber daya yang digunakan algoritma ketika ukuran input mencapai tak terhingga. Dalam praktiknya, yang dibutuhkan adalah algoritma yang akan bekerja cepat pada sejumlah kasus yang terbatas (walaupun...
Saya telah menjadi kutu buku komputer selama bertahun-tahun. Saya dapat memprogram dalam beberapa bahasa, dan saya bahkan dapat membuatnya. Saya duduk dengan seorang teman di suatu hari dan bertanya bagaimana sebuah komputer benar-benar mengambil listrik dan melakukan sesuatu dengan itu, dan kami...
Dalam teori komputasi dan kompleksitas (dan mungkin bidang lainnya), reduksi ada di mana-mana. Ada banyak jenis, tetapi prinsipnya tetap sama: menunjukkan bahwa satu masalah setidaknya sekeras beberapa masalah lainnya dengan memetakan contoh dari ke yang setara dengan solusi di . Pada dasarnya,...
Saya akan terlibat dengan semacam 'hari terbuka' di universitas saya dalam beberapa minggu. Sebagai bagian dari waktu ini, saya (bersama seorang rekan kerja) diberikan sejumlah besar siswa tingkat sekolah menengah selama dua jam, serta lab komputer yang cukup besar untuk menampung semuanya, dan...
Tampaknya di situs ini, orang akan sering mengoreksi orang lain karena membingungkan "algoritma" dan "masalah." Apa perbedaannya? Bagaimana saya tahu kapan saya harus mempertimbangkan algoritma dan mempertimbangkan masalah? Dan bagaimana ini berhubungan dengan konsep bahasa dalam teori bahasa...