Saya mengerti bahwa tata bahasa bebas konteks dapat digunakan untuk mewakili bahasa bebas konteks. Mungkin ada ambiguitas. Kami juga memiliki bentuk normal seperti bentuk normal Chomsky dan Greibach . Saya tidak bisa mengerti kebutuhan itu. Mengapa mereka penting dalam teori bahasa? Semua buku...
Saya memiliki "bukti" yang sangat sederhana ini untuk NP = CoNP dan saya pikir saya melakukan sesuatu yang salah di suatu tempat, tetapi saya tidak dapat menemukan apa yang salah. Adakah yang bisa membantu saya? Biarkan A menjadi beberapa masalah dalam NP, dan biarkan M menjadi penentu untuk A....
Apakah kesulitan masalah NP-hard atau NP-complete (seperti misalnya didefinisikan di sini ) berubah ketika inputnya unary bukan binary encoded? Apa bedanya jika input dari masalah NP-hard sangat tidak terenkripsi? Maksud saya, jika saya mengambil contoh masalah Knapsack NP-complete yang lemah, itu...
Saya memiliki pohon tidak berarah yang simpulnya ingin saya beri label. Node daun harus diberi label satu. Lalu, anggap daunnya sudah dibuang. Di pohon yang tersisa, daunnya harus diberi label dua. Proses ini berlanjut dengan cara yang jelas sampai semua simpul memiliki label. Alasan saya melakukan...
Saya punya pertanyaan berikut, tetapi tidak punya jawaban untuk ini. Saya akan sangat menghargai jika metode saya benar: Q. Saat mencari nilai kunci 60 dalam pohon pencarian biner, node yang berisi nilai kunci 10, 20, 40, 50, 70, 80, 90 dilintasi, tidak harus dalam urutan yang diberikan. Berapa...
Mengapa transformasi laplace tidak populer untuk konvolusi pemrosesan gambar? Sebagian besar buku teks hanya mengonversi transformasi
Saya mencoba menyelesaikan masalah ini dan saya benar-benar berjuang. Sebuah monoton rumus boolean adalah formula dalam logika proposisional mana semua literal positif. Sebagai contoh, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor...
Jika tidak, lalu apa artinya bila untuk beberapa negara dan beberapa simbol a , δ ( q , a ) tidak ada?qqqaaaδ(q,a)δ(q,a)\delta(q,
Saya tidak tahu apakah itu lelucon, tetapi begitu saya membaca apa yang disebut sebagai definisi formal dari file dalam sistem versi seperti git, hg atau svn. Itu sesuatu seperti objek matematika seperti homeomorfisme. Apakah itu lelucon atau benar-benar ada teori ilmu komputer tentang sistem versi...
Mari kita perhatikan permainan berikut ini: ada beberapa pemain dan komputer. Setiap pemain memasukkan satu bilangan bulat positif dan namanya (pemain tidak tahu angka orang lain, hanya nomornya sendiri). Ketika semua pemain melakukan gerakan, komputer mengeluarkan nama pemenang - yang mengirimkan...
Kita diberi array dengan semua a [ i ] > 0 .a [ 1 ... n ]a[1…n]a[1 \ldots n]a [ i ] > 0a[i]>0a[i]>0 Sekarang kita perlu menemukan berapa banyak jumlah yang berbeda dapat dibentuk dari subarrays nya (di mana subarray adalah berbagai bersebelahan dari array, yaitu, untuk beberapa j , k ,...
Saya bertanya-tanya, apa kerumitan waktu menentukan kekosongan untuk DFA 2 arah? Yaitu, automata terbatas yang dapat bergerak mundur pada tape input read-only. Menurut Wikipedia, mereka setara dengan DFA, meskipun DFA yang setara mungkin secara eksponensial lebih besar. Saya telah menemukan...
Baru-baru ini saya menyadari bahwa ada semacam hubungan antara teori tipe Russell dan sistem tipe, seperti yang ditemukan misalnya dalam Haskell. Sebenarnya, beberapa notasi untuk tipe di Haskell tampaknya memiliki prekursor dalam tipe teori. Tapi, IMHO, motivasi Russell pada tahun 1908 adalah...
Saya menggunakan jaringan saraf untuk memprediksi deret waktu. Pertanyaan yang saya hadapi sekarang adalah bagaimana saya menyandikan tanggal / waktu / nomor seri. dari setiap input ditetapkan sebagai input ke jaringan saraf? Haruskah saya menggunakan 1 dari pengkodean C (digunakan untuk kategori...
Apakah kelengkapan CoNP menyiratkan kekerasan NP? Secara khusus, saya memiliki masalah yang saya tunjukkan sebagai coNP-complete. Dapatkah saya mengklaim bahwa ini NP-hard? Saya menyadari bahwa saya dapat mengklaim kekerasan TNN, tetapi saya tidak yakin apakah terminologi itu standar. Saya merasa...
Diberikan poligon ortogonal (poligon yang sisi-sisinya sejajar dengan sumbu), saya ingin menemukan set terkecil dari kotak-kotak yang terpisah-pisah, yang persatuannya sama dengan poligon. Saya menemukan beberapa referensi untuk masalah yang sedikit berbeda, seperti: Menutupi poligon ortogonal...
Saya mencoba memecahkan 25k klausa 5k variabel masalah SAT. Karena sudah berjalan selama satu jam (precosat) dan saya ingin menyelesaikan yang lebih besar setelah itu, saya mencari SAT-Solver multi-core. Karena sepertinya ada banyak SAT-Solver, saya sangat tersesat. Adakah yang bisa menunjukkan...
Sebuah komentar di tex.SE membuatku bertanya-tanya. Pernyataan itu pada dasarnya: Jika saya dapat menulis kompiler untuk bahasa X dalam bahasa X, maka X adalah Turing-complete. Dalam istilah komputasi dan bahasa formal, ini adalah: Jika memutuskan dan , maka .L ⊆ L T M ⟨ M ⟩ ∈ L F L = R...
Inilah masalahnya: Buktikan bahwa Mesin Turing single-tape yang tidak dapat menulis pada bagian dari rekaman yang berisi string input hanya mengenali bahasa biasa. Gagasan saya adalah untuk membuktikan bahwa TM khusus ini setara dengan DFA. Menggunakan TM ini untuk mensimulasikan DFA sangat...
Koleksi sampah harus mengunjungi semua benda yang hidup, sehingga dapat menemukan memori yang dapat direklamasi. (Memiliki banyak generasi hanya menunda ini sedikit) Semua hal yang sama, jelas lebih baik untuk pertama mengunjungi objek yang sudah di-paging ke RAM, sebelum paging blok lain dan...