Mesin Turing memiliki alfabet simbol formal , status dan deskripsi transisi-aturan berdasarkan bagaimana komputasi dilakukan. Actor Model kadang-kadang disebut sebagai model komputasi yang lebih kuat daripada mesin Turing (bukan pada apa yang dapat dikomputasi, tetapi dalam aspek lain). Apakah...
Saya mencari teks referensi tentang teori grafik terapan dan algoritma grafik. Apakah ada teks standar yang digunakan di sebagian besar program ilmu komputer? Jika tidak, teks apa yang paling dihormati di bidang ini? Saya memiliki Cormen et
Saya terutama tertarik pada solusi untuk masalah yang dirangkum pencarian tergantung pada urutan evaluasi. Menurut [1], pencarian terenkapsulasi dalam PAKCS tergantung pada urutan evaluasi, sementara di MCC, itu tidak, tetapi menggunakannya membutuhkan pengetahuan tentang implementasi kompiler dan...
Pertimbangkan masalah berikut: Membiarkan kkkmenjadi konstan. Kita diberi akkkarray -ary SEBUAHd1× ... ×dkSEBUAHd1×...×dkA_{d_1\times\ldots\times d_k} dari 000 dan 111ini MembiarkanN=∏ki = 1dsayaN=∏saya=1kdsayaN = \prod_{i=1}^k d_i. Kami ingin membuat struktur data dengan preprocessing...
Saya mencari aplikasi praktis dari Mesin Hingga Negara seperti DFA, NFA, Moore, mesin Mealy ... Akan sangat membantu jika seseorang menunjuk ke contoh dari Kernel Linux. Saya tahu bahwa DFA digunakan dalam pencocokan string seperti algoritma KMP. Apa pentingnya mesin NFA, Moore dan...
Pertimbangkan masalah alam semesta berikut ini . Masalah alam semesta. Diberikan himpunan terbatas untuk kelas bahasa, dan otomat yang menerima bahasa , putuskan apakah .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Dalam [1], dinyatakan dan dibuktikan bahwa masalah alam semesta tidak dapat diputuskan untuk...
Slide kuliah ini membuat sketsa bukti ituL={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} tidak dapat diterima oleh Deterministic Pushdown Automaton. Sayangnya, slide tidak memberikan referensi ke mana bukti itu berasal. Saya...
Saya seorang Ph.D. mahasiswa dalam ilmu komputer, dan saya mencoba untuk memahami beberapa makalah teori permainan klasik, seperti yang oleh Nash, Kalai dan Smorodinsky. Tetapi saya merasa sulit untuk memahami bagian matematika. Tampaknya makalah ini ditulis oleh ahli matematika, untuk ahli...
Baru-baru ini saya telah berurusan dengan masalah yang mengarahkan saya ke pertanyaan-pertanyaan berikut: Apakah ada algoritma yang baik untuk menghitung semua pencocokan maksimum / sempurna dalam grafik umum? Apakah ada algoritma yang baik untuk menemukan semua pencocokan maksimum / sempurna...
Saya seorang programmer otodidak dan telah mengkode selama 8 tahun. Karena pengalaman ini, saya sudah sangat akrab dengan prinsip-prinsip pemrograman (seperti if-pernyataan, kelas, polimorfisme, dll.). Namun, saya tidak pernah belajar "ilmu komputer," hanya pemrograman. Apa sajakah sumber daya...
Nick's Class (NC) adalah kelas masalah yang dapat diputuskan dalam waktu poly-log menggunakan sejumlah prosesor polinomial. Saya ingin tahu tentang analog eksponensial, yang akan mencakup masalah yang dapat diputuskan dalam waktu polinomial menggunakan jumlah prosesor yang eksponensial. Apa yang...
Sudah ada cukup banyak penelitian tentang algoritma pengecualian bersama - misalnya banyak yang disajikan dalam buku teks klasik seperti The Art of Multiprocessor Programming , di mana seluruh bab dikhususkan untuk mereka. Saya bertanya-tanya apa saja situasi praktis di mana seseorang mungkin...
Apakah ada aplikasi Steiner Tree Problem (STP) di dunia nyata? Saya mengerti bahwa desain chip VSLI adalah aplikasi yang baik dari STP. Apakah ada contoh lain dari masalah dunia nyata yang dapat disarankan orang yang dapat dirumuskan dalam istilah STP? Latar belakang: Saya memulai penelitian PhD...
Apakah ada masalah decidability yang tidak diketahui tetapi diketahui pasti bahwa masalahnya kurang sulit daripada masalah
Saya tidak dapat menemukan grafik yang menggambarkan atau teks yang menjawab pertanyaan berikut: Apakah ada hubungan langsung antara kompleksitas suatu algoritma (seperti kasus cepat / terbaik terbaik), dan kelas automata yang dapat mengimplementasikan algoritma. Misalnya apakah ada serangkaian...
Pertanyaan: Apakah ada teks pengantar dalam bahasa formal atau teori bahasa pemrograman yang membahas bagaimana menerapkannya pada studi notasi optimal? Secara khusus, saya tertarik untuk mempelajari apa bahasa stack, pohon parse, dan indeks, dan bagaimana memprediksi kapan suatu jenis notasi...
Tata bahasa ini dibiarkan rekursif: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term |...
Saya baru mengenal teori kompleksitas dan ingin tahu apa itu teori kompleksitas struktural? apa masalah yang coba diselesaikan oleh para ahli teori dalam bidang ini dan apa masa depannya? Dari wikipedia: Teori kompleksitas struktural atau hanya kompleksitas struktural adalah studi tentang kelas...