Ilmu Komputer

Apakah ada properti yang tidak dapat ditentukan dari automata terbatas linier (menghindari trik bahasa set kosong)? Bagaimana dengan robot terbatas deterministik? (kesampingkan keras kepala). Saya ingin mendapatkan contoh (jika mungkin) dari masalah yang tidak dapat ditentukan yang didefinisikan tanpa menggunakan mesin Turing secara eksplisit. Apakah Turing kelengkapan model diperlukan untuk …

15 computability  automata  undecidability 

Saya mencoba untuk menemukan terikat untuk persamaan perulangan berikut:ΘΘ\Theta T(n)=2T(n/2)+T(n/3)+2n2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Saya pikir Teorema Master tidak tepat karena jumlah subproblem dan divisi yang berbeda. Pohon rekursi juga tidak berfungsi karena tidak ada atau lebih tepatnya .T ( 0 )T(1)T(1)T(1)T(0)T(0)T(0)

15 asymptotics  recurrence-relation  master-theorem 

Ketika saya masih mahasiswa, saya melihat masalah dalam buku digital sistem / desain logika, tentang tentara N berdiri berturut-turut, dan ingin menembak pada saat yang sama. Versi yang lebih sulit dari masalah ini adalah bahwa tentara berdiri di jaringan umum alih-alih berbaris. Saya yakin ini adalah masalah klasik, tetapi saya …

15 algorithms  distributed-systems  clocks 

Saya punya pohon (dalam arti teori grafik), seperti contoh berikut: Ini adalah pohon terarah dengan satu simpul mulai (root) dan banyak simpul akhir (daun). Masing-masing ujung memiliki panjang yang ditetapkan untuk itu. Pertanyaan saya adalah, bagaimana cara menemukan jalan terpanjang mulai dari akar dan berakhir di salah satu daun? Pendekatan …

15 algorithms  graphs 

Dengan mengacu pada fitur-fitur dalam bahasa seperti ruby ​​(dan javascript), yang memungkinkan seorang programmer untuk memperluas / menimpa kelas setiap saat setelah mendefinisikannya (termasuk kelas-kelas seperti String), apakah secara teori layak untuk merancang bahasa yang dapat memungkinkan program untuk kemudian memperluas semantiknya. mis: Ruby tidak mengizinkan multiple inheritance, namun dapatkah …

15 programming-languages  semantics 

Sayangnya saya masih belum begitu kuat dalam memahami Algoritma Sweep Line . Semua makalah dan buku pelajaran tentang topik sudah dibaca, namun pemahaman masih jauh. Untuk membuatnya lebih jelas, saya mencoba menyelesaikan sebanyak mungkin latihan. Tapi, tugas yang sangat menarik dan penting masih menjadi tantangan bagi saya. Latihan berikut ini …

15 algorithms  computational-geometry 

Saya mengajukan pertanyaan ini di stackoverflow generik dan saya diarahkan di sini. Akan sangat bagus jika seseorang dapat menjelaskan cara mendekati masalah grafik parsial atau dinamis penuh secara umum. Sebagai contoh: Temukan Jalur Terpendek antara dua simpul dalam grafik tertimbang yang tidak diarahkan untuk n instance, ketika sebuah tepi dihapus …

15 algorithms  data-structures  graphs 

Gerbang logika adalah perangkat abstrak yang dapat diimplementasikan dengan relay elektromagnetik, tabung vakum, atau transistor. Penerapan ini telah berhasil dalam komputasi sebagian karena berbagai sifat rantai, daya tahan, dan ukuran di luar stabilitas biner dasar mereka. Mereka juga bekerja dengan baik karena listrik adalah sumber energi yang agak mudah dikirim. …

15 computer-architecture  didactics 

Ini adalah pertanyaan lanjutan dari pertanyaan ini . Dalam pertanyaan sebelumnya tentang mesin negara eksotis , Alex ten Brink dan Raphael membahas kemampuan komputasi dari jenis mesin negara yang aneh: min-heap automata. Mereka mampu menunjukkan bahwa himpunan bahasa yang diterima oleh mesin tersebut ( ) bukan merupakan himpunan bagian atau …

15 formal-languages  automata  nondeterminism 

Adakah bukti yang menunjukkan bahwa waktu yang dihabiskan untuk menulis, atau memikirkan persyaratan akan berpengaruh pada waktu pengembangan? Studi yang dilakukan oleh Standish (1995) menunjukkan bahwa persyaratan yang tidak lengkap sebagian (13,1%) berkontribusi pada kegagalan proyek. Adakah penelitian yang dilakukan yang menunjukkan bahwa waktu yang dihabiskan untuk analisis kebutuhan akan …

15 software-engineering 

Apakah ada karakterisasi aljabar dari jumlah kata dengan panjang tertentu dalam bahasa biasa? Wikipedia menyatakan hasil yang agak tidak tepat: Untuk bahasa biasa ada konstanta λ 1 ,LLL dan polinomial p 1 ( x ) ,λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_k sedemikian rupa sehingga untuk setiap n angka s L ( n ) dari kata-kata …

15 formal-languages  regular-languages  word-combinatorics 

Saat menempatkan objek geometris dalam quadtree (atau octree), Anda dapat menempatkan objek yang lebih besar dari satu simpul dalam beberapa cara: Menempatkan referensi objek di setiap daun yang dikandungnya Menempatkan referensi objek di node terdalam yang sepenuhnya terkandung Keduanya # 1 dan # 2 Sebagai contoh: Pada gambar ini, Anda …

15 graphics  data-structures  computational-geometry 

Suatu himpunan dapat dihitung jika ia memiliki bilangan bijih dengan bilangan asli, dan dapat dihitung (ce) jika ada algoritma yang menyebutkan anggotanya. Setiap himpunan enumerable komputabel yang tidak terbatas harus dihitung karena kita dapat membangun suatu penghitungan dari enumerasi. Adakah contoh himpunan yang dapat dihitung yang tidak dapat dihitung secara …

15 computability  semi-decidability 

Saya mencoba untuk membungkus kepala saya di sekitar bukti NP-kelengkapan yang tampaknya berputar di sekitar SAT / 3CNF-SAT. Mungkin ini sudah larut tetapi saya khawatir saya tidak dapat memikirkan formula 3CNF yang tidak dapat dipenuhi (saya mungkin kehilangan sesuatu yang jelas). Bisakah Anda memberi saya contoh untuk formula seperti itu?

15 logic  satisfiability  3-sat 

Dari apa yang telah saya pelajari ikatan ketat asimptot artinya terikat dari atas dan bawah seperti pada notasi theta. Tapi apa arti batas atas yang asimptotik ketat untuk notasi Big-O?

15 asymptotics