Perguntas com a marcação «descriptive-complexity»

Minha pergunta é sobre teoria finita de modelos / complexidade descritiva, então significará "primeira ordem sobre palavras binárias finitas, usando os predicados Rs e um predicado unário P verdadeiro na posição do 1 na palavra".FO(R)FO(R)FO(R) Gostaria de saber, existe alguma caracterização de com R algum predicado em N r para …

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

Não se acredita que seja o seguinte: L ⊆ L - uniforme N C1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Você pode me ajudar a ver onde o argumento termina? O problema de acessibilidade direcionada está completo para . Argumento que está em -uniforme .L N C 1euL\mathsf{L}euL\mathsf{L}N C1NC1\mathsf{NC^1} O problema …

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

Segue-se do teorema de Rice que você não pode determinar se duas máquinas de Turing decidem ou não o mesmo idioma. Minha pergunta é: Isso também se aplica a configurações descritivas de complexidade, principalmente quando se trata de testar um par de consultas SO-Horn para ver se elas descrevem o …

9 computability  descriptive-complexity 

É bem conhecido na teoria dos modelos finitos que, sem uma ordem na entrada, a expressividade é muito limitada. Por exemplo, sabe-se que é igual a PSPACE , e (sem nenhuma ordem na entrada) é apenas relacional para PSPACE , uma noção definida por Abiteboul e Vianu quando provaram seu …

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