Ini adalah pertanyaan tindak lanjut dari yang satu 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...
Perhatikan bahwa ini adalah pertanyaan yang terkait dengan belajar di kursus CS di universitas, BUKAN pekerjaan rumah dan dapat ditemukan di sini di bawah ujian Musim Gugur 20112. Inilah dua pertanyaan yang saya lihat dari ujian sebelumnya. Mereka tampaknya terkait, yang pertama: Membiarkan...
Saya mencoba untuk membuktikan bahwa tumpukan biner dengan nnn node memiliki tepat ⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceildaun, mengingat bahwa tumpukan dibangun dengan cara berikut: Setiap node baru dimasukkan melalui meresap sampai . Ini berarti bahwa setiap node baru harus diciptakan di...
Saya belajar Automated Teorema Membuktikan / SMT pemecah / Asisten Bukti sendiri dan posting serangkaian pertanyaan tentang proses, mulai di sini . Mengapa bahwa provers teorema otomatis, yaitu ACL2 , dan SMT pemecah tidak perlu bantuan manusia sementara bukti asisten, yaitu Isabelle dan Coq ,...
Menurut Wikipedia : Informal, dari sudut pandang teori informasi algoritma, isi informasi dari string setara dengan panjang mungkin representasi mandiri terpendek dari string. Apa analog definisi ketat informal "informasi yang berguna"? Mengapa "informasi yang berguna" tidak diambil sebagai...
Saya telah memperhatikan bahwa struktur data yang berbeda digunakan ketika kita menerapkan algoritma pencarian. Sebagai contoh, kami menggunakan antrian untuk melaksanakan luasnya pertama pencarian, tumpukan untuk melaksanakan pencarian mendalam-pertama dan min-tumpukan untuk menerapkan A *...
Dalam Teori Komputasi Michael Sipser di halaman 270 ia menulis: P = kelas bahasa yang keanggotaannya dapat diputuskan dengan cepat. NP = kelas bahasa yang keanggotaannya dapat diverifikasi dengan cepat. Apa perbedaan antara "memutuskan" dan
Batas bawah asimptotik seperti kekerasan eksponensial umumnya dianggap menyiratkan bahwa suatu masalah "secara inheren sulit". Enkripsi yang "secara inheren sulit" untuk dipecah dianggap aman. Namun, batas bawah asimptotik tidak mengesampingkan kemungkinan bahwa kelas instance masalah yang besar...
Mari kita mengatakan bahwa kita memiliki koleksi besar tugas τ1,τ2,...,τnτ1,τ2,...,τn\tau_1, \tau_2, ..., \tau_n dan koleksi identik (dalam hal kinerja) prosesor ρ1,ρ2,...,ρmρ1,ρ2,...,ρm\rho_1, \rho_2, ..., \rho_m yang beroperasi sepenuhnya secara paralel. Untuk skenario yang menarik, kita dapat...
Tahun lalu, saya membaca makalah yang fantastis tentang "Mekanika Kuantum untuk Taman Kanak-Kanak" . Itu bukan kertas mudah. Sekarang, saya ingin tahu bagaimana menjelaskan quicksort dengan kata-kata sesederhana mungkin. Bagaimana saya bisa membuktikan (atau paling tidak gelombang tangan) bahwa...
Saya benar-benar bergumul dengan properti ini: Biarkan X,YX,YX,Y menjadi ruang koherensi dan f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y) menjadi fungsi monoton. fff adalah kontinu jika dan hanya jika f(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x) , untuk...
Kita diberi satu set titik 2 dimensi dan bilangan bulat . Kita harus menemukan kumpulan lingkaran yang melingkupi semua poin sehingga jari-jari lingkaran terbesar sekecil mungkin. Dengan kata lain, kita harus menemukan himpunan dari titik pusat k sehingga fungsi biaya \ text {cost} (C) = \ max_i \...
Saya telah mengerjakan masalah berikut dari buku ini . Bahasa pemrosesan string tertentu menawarkan operasi primitif yang membagi string menjadi dua bagian. Karena operasi ini melibatkan menyalin string asli, dibutuhkan n unit waktu untuk string panjang n, terlepas dari lokasi pemotongan....
Beberapa frontmatter: Saya seorang ilmuwan komputer rekreasi dan insinyur perangkat lunak yang dipekerjakan. Jadi, maafkan jika prompt ini tampaknya agak keluar dari bidang kiri - saya secara rutin bermain dengan simulcra matematika dan membuka masalah ketika saya tidak punya yang lebih baik untuk...
Definisi : Sebuah poligon dalam bidang disebut monoton sehubungan dengan garis lurus , jika setiap garis ortogonal ke memotong paling banyak dua kaliPPPLLLLLLPPP Diberikan poligon , apakah mungkin untuk menentukan apakah ada garis sehingga poligon adalah monoton sehubungan dengan ? Jika ya,...
Saya mencoba untuk datang dengan sebuah sistem yang akan mengevaluasi peraturan bagi suatu organisasi untuk menentukan logika yang mendasari mereka. Saya pikir sistem predikat orde pertama akan berfungsi untuk mewakili aturan, yang dapat diterjemahkan dari teks melalui penandaan bagian-of-speech...
Dalam buku "Komputasi Geometri: Algoritma dan Aplikasi" oleh Mark de Berg et al., Ada algoritma brute force yang sangat sederhana untuk menghitung triangulasi Delaunay. Algoritme menggunakan gagasan tepi ilegal - tepi yang mungkin tidak muncul dalam triangulasi Delaunay yang valid dan harus diganti...
pengantar Langkah pertama Saya menulis jaringan saraf backpropegating standar, dan untuk mengujinya, saya memutuskan untuk memetakannya XOR. Ini adalah jaringan 2-2-1 (dengan fungsi aktivasi tanh) X1 M1 O1 X2 M2 B1 B2 Untuk tujuan pengujian, saya secara manual mengatur neuron tengah atas...
Jika saya memiliki Tata Bahasa Tipe 3, itu dapat direpresentasikan pada otomat pushdown (tanpa melakukan operasi apa pun pada stack) sehingga saya dapat mewakili ekspresi reguler dengan menggunakan bahasa bebas konteks. Tapi bisakah saya tahu jika tata bahasa tipe 3 adalah , L L ( 1 ) , S L R ( 1 )...
Biarkan menjadi fungsi tetap yang dapat dibangun-waktu.fff Hasil simulasi universal klasik untuk TMs (Hennie dan Stearns, 1966) menyatakan bahwa ada dua-tape TM sedemikian rupa sehingga diberikanUUU deskripsi dari TM , dan⟨M⟩⟨M⟩\langle M \rangle string input ,xxx dijalankan untuk langkah dan...