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

De acordo com Immerman , a classe de complexidade associada às consultas SQL é exatamente a classe de consultas seguras em (consultas de primeira ordem e operador de contagem): o SQL captura consultas seguras. (Em outras palavras, todas as consultas SQL têm uma complexidade em \ mathsf {Q (FO (COUNT))} …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

Suponha que desejemos unir duas relações em um predicado. Isso está no NC? Percebo que uma prova de que não está na NC equivaleria a uma prova de que , então aceitaria a evidência de que é um problema em aberto como resposta.P≠NCP≠NCP\not=NC Estou interessado no caso geral e também …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

Considere um idioma regular LLL. Seja um DFA mínimo para e seja um NFA mínimo para (mínimo no sentido do menor número possível de estados para um autômato que reconheça o idioma especificado). Escrevapara o tamanho (número de estados) do autómato . Em geral,pode ser muito menor que(até , pois …

7 formal-languages  automata  finite-automata  descriptive-complexity