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...
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...
Saya pernah memiliki seorang veteran dalam kursus saya yang menciptakan algoritma yang akan menyarankan resep memasak. Pada awalnya, semua jenis resep gila akan keluar. Kemudian, dia akan melatih algoritma memasak dengan resep sungguhan dan akhirnya akan menyarankan yang sangat bagus. Saya percaya...
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...
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...
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...
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...
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...
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...
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...
Ketika kita membandingkan kompleksitas dari dua algoritma, biasanya kasusnya adalah atau g ( n ) = O ( f ( n ) ) (mungkin keduanya), di mana f dan gf(n)=O(g(n))f(n)=O(g(n))f(n) = O(g(n))g(n)=O(f(n))g(n)=O(f(n))g(n) = O(f(n))fffggg adalah waktu berjalan (misalnya) dari kedua algoritma. Apakah ini...
Algoritma minimisasi DFA Brzozowski membangun DFA minimal untuk DFA GGG dengan: membalikkan semua tepi dalam GGG , menjadikan status awal sebagai kondisi terima, dan status terima sebagai awal, untuk mendapatkan NFA N′N′N' untuk bahasa terbalik, menggunakan konstruksi powerset untuk mendapatkan...
Saya sedang mengerjakan kompiler untuk bahasa concatenative dan ingin menambahkan dukungan jenis inferensi. Saya mengerti Hindley-Milner, tetapi saya telah mempelajari teori jenis ketika saya pergi, jadi saya tidak yakin bagaimana mengadaptasinya. Apakah sistem berikut ini masuk akal dan dapat...
Saya menggunakan komputer digital untuk menulis pesan ini. Mesin semacam itu memiliki properti yang, jika Anda pikirkan, sebenarnya sangat luar biasa: Ini adalah mesin yang, jika diprogram dengan tepat, dapat melakukan perhitungan yang memungkinkan . Tentu saja, mesin hitung dari satu jenis atau...
Saya adalah asisten bukti belajar mandiri dan memutuskan untuk memulai pada beberapa bukti dasar dan terus maju. Karena bukti didasarkan pada bukti lain dan karenanya membentuk hierarki, adakah repositori dari hierarki bukti? Saya tahu saya dapat memilih asisten bukti dan menganalisis...
Mengingat satu set set, saya ingin menemukan satu set M sehingga setiap set S di S mengandung setidaknya satu unsur M . Saya juga ingin M mengandung elemen sesedikit mungkin sambil tetap memenuhi kriteria ini, meskipun mungkin ada lebih dari satu M terkecil dengan properti ini (solusinya belum...
Misalkan A direduksi ke B, yaitu, . Oleh karena itu, mesin Turing menerima A memiliki akses ke oracle untuk B . Biarkan Turing mesin menerima A menjadi M A dan oracle untuk B menjadi O B . Jenis pengurangan:A≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} Turing pengurangan: dapat membuat beberapa...
Dalam sebuah ceramah seorang profesor menyebutkan bahwa komputer modern tidak memiliki kekuatan komputasi sebanyak mesin Turing karena mereka tidak memiliki memori tak terbatas, dan karena tidak ada komputer yang dapat memiliki memori tak terbatas, mesin Turing karenanya tidak dapat dicapai dan...
Saya mencoba untuk mendapatkan makalah klasik dalam judul hanya dengan cara dasar (tidak ada fungsi menghasilkan, tidak ada analisis kompleks, tidak ada analisis Fourier) walaupun dengan presisi jauh lebih sedikit. Singkatnya, saya "hanya" ingin membuktikan bahwa tinggi rata-rata hnhnh_n dari...
Saya telah membaca Pengantar Algoritma oleh Cormen et al. dan saya membaca pernyataan teorema Tuan mulai dari halaman 73 . Dalam kasus 3 ada juga kondisi keteraturan yang perlu dipenuhi untuk menggunakan teorema: ... 3. Jika f(n)=Ω(nlogba+ε)f(n)=Ω(nlogba+ε)\qquad \displaystyle f(n) =...