Pertanyaan yang diberi tag «descriptive-complexity»

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 dari dengan R setiap predikat pada N …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory 

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 1 .L.L\mathsf{L}L.L\mathsf{L}N C1NC1\mathsf{NC^1} Masalah reachability diarahkan lebih grafik konfigurasi deterministik log-ruang Turing …

9 cc.complexity-theory  graph-algorithms  complexity-classes  descriptive-complexity  finite-model-theory