The Immerman-Vardi teorema menyatakan bahwa PTIME (atau P) justru kelas bahasa yang dapat dijelaskan oleh hukuman Pertama-Order Logic bersama-sama dengan operator fixed-point, lebih kelas struktur memerintahkan. Operator titik tetap dapat berupa titik tetap paling tidak (seperti yang...
Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan...
Dalam teori automata (automata terbatas, automata pushdown, ...) dan dalam kompleksitas, ada gagasan "ambiguitas". Otomat bersifat ambigu jika ada kata www dengan setidaknya dua proses penerimaan yang berbeda. Sebuah mesin kkk ambigu jika untuk setiap kata www diterima oleh mesin paling tidak ada...
Konteks: hubungan antara logika dan automata Teorema Büchi menyatakan bahwa logika Orde Kedua atas string (MSO) Monadic menangkap kelas bahasa biasa. Buktinya benar-benar menunjukkan bahwa MSO eksistensial ( exist atau EMSO ) lebih dari string sudah cukup untuk menangkap bahasa biasa. Ini mungkin...
Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete:...
Saya tahu bahwa pertanyaan "apakah formula orde pertama memiliki model" tidak dapat diputuskan secara umum.ϕϕ\phi Adakah yang bisa memberi saya tautan atau buku yang memberikan jawaban untuk model yang terbatas. Jika saya memiliki rumus urutan pertama , apakah dapat diputuskan apakah ϕ memiliki...
Tampaknya dalam bahasa kueri populer untuk basis data relasional, dimungkinkan untuk membuat kueri yang akan membutuhkan banyak sumber daya untuk menjawab. Dalam praktiknya, admin basis data mengelola ini dengan membatasi jumlah memori per kueri , dan memeriksa kueri yang telah berjalan lama jika...
Pertanyaan saya adalah tentang model teori / kompleksitas deskriptif yang terbatas, sehingga berarti "urutan pertama di atas kata-kata biner yang terbatas, menggunakan predikat Rs dan predikat P unary benar pada posisi 1 dalam kata".FO ( R )FO(R)FO(R) Saya ingin tahu, apakah ada caracterisation...
Untuk lebih memahami makalah saya mencoba untuk mendapatkan pemahaman singkat tentang logika titik paling tidak tetap. Ada beberapa poin di mana saya terjebak. Jika adalah grafik danG = ( V, E)G=(V,E)G = (V,E) Φ ( P) = { ( a , b ) ∣ G ⊨ E( a , b ) ∨ P( a , b ) ∨ ∃ z( E( a , z) ∧ P( z, b ) )...
Berikut ini tidak diyakini benar: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Bisakah Anda membantu saya melihat di mana argumennya rusak? Masalah reachability yang diarahkan selesai untuk . Saya berpendapat bahwa ini adalah dalam L- seragam N C...