Preguntas etiquetadas con descriptive-complexity

Mi pregunta es acerca de la teoría del modelo finito / complejidad descriptiva, por lo que significará "primer orden sobre palabras binarias finitas, usando predicados Rs y un predicado unario P verdadero en la posición del 1 en la palabra".FO(R)FO(R)FO(R) Me gustaría saber, ¿hay alguna caracterización de con R algún …

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

No se cree que lo siguiente sea cierto: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 ¿Puedes ayudarme a ver dónde se rompe la discusión? El problema de accesibilidad dirigida está completo para . Sostengo que está en -uniform .L N C 1LL\mathsf{L}LL\mathsf{L}NC1NC1\mathsf{NC^1} El problema de accesibilidad dirigida sobre los gráficos …

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

Del teorema de Rice se deduce que no se puede determinar si dos máquinas de Turing deciden o no el mismo idioma. Mi pregunta es: ¿Esto también se aplica en configuraciones de complejidad descriptiva, particularmente cuando se trata de probar un par de consultas SO-Horn para ver si describen el …

9 computability  descriptive-complexity 

Es bien sabido en la teoría de modelos finitos que sin un orden en la entrada, la expresividad es muy limitada. Por ejemplo, se sabe que es igual a PSPACE , y F O ( PFP ) (sin ningún orden en la entrada) es solo PSPACE -relacional, una noción definida …

8 cc.complexity-theory  descriptive-complexity  finite-model-theory