Pertanyaan yang diberi tag «reference-request»

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 kompleksitas, bukan kompleksitas komputasi dari masalah dan algoritma …

8 complexity-theory  reference-request 

Tata bahasa ini dibiarkan rekursif: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Jadi secara teori, keturunan rekursif tidak akan berhasil. Tetapi dengan …

8 reference-request  formal-grammars  recursion  parsers  left-recursion 

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 tertentu akan mengarah pada redundansi eksponensial. Saya pada dasarnya tidak …

8 formal-languages  reference-request  formal-grammars  programming-languages 

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 kompleksitas yang dapat diekspresikan automata? Jika jawabannya ya untuk pertanyaan itu, adakah …

8 complexity-theory  automata  reference-request  complexity-classes 

Apakah ada masalah decidability yang tidak diketahui tetapi diketahui pasti bahwa masalahnya kurang sulit daripada masalah penghentian.

8 computability  reference-request  undecidability 

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 saya dan saya sedang …

8 graph-theory  reference-request  optimization  combinatorics  applied-theory 

A TA turun hari ini untuk menanyakan beberapa hal tentang NP dan co-NP. Kami tiba di titik di mana saya bingung: seperti apa diagram Venn tentang P, NPI, NP, dan co-NP dengan asumsi mengasumsikan P ≠ NP (kasus lain membosankan)? Tampaknya ada empat opsi dasar. NP ∩ co-NP = P …

8 complexity-theory  reference-request  complexity-classes  np 

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 membutuhkan algoritma ini selama rekayasa sistem bersamaan, daripada …

8 reference-request  concurrency  mutual-exclusion 

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 saya cari adalah nama untuk kelas ini dan hubungan yang diketahui …

8 complexity-theory  reference-request  parallel-computing  complexity-classes 

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 yang baik bagi seseorang yang berada dalam posisi saya untuk belajar sendiri …

8 reference-request 

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 dalam grafik umum? Apakah kedua masalah ini setara dalam kompleksitasnya? …

8 algorithms  complexity-theory  graph-theory  reference-request  matching 

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 matematika. Bisakah Anda merekomendasikan buku yang menjelaskan pendahuluan matematika …

8 reference-request  game-theory  mathematical-analysis 

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 bertanya-tanya, apakah ada yang tahu makalah akademis atau buku …

8 formal-languages  reference-request  automata  pushdown-automata  nondeterminism 

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 kelas khusus one-counter automata. Hasil ini kemudian mengikuti untuk kelas semua automata …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

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 Mealy?

8 reference-request  automata  finite-automata