A complexidade descritiva classifica problemas com base em quão difícil é expressar o problema em algum formalismo lógico.
O teorema de Immerman-Vardi afirma que PTIME (ou P) é precisamente a classe de idiomas que pode ser descrita por uma frase da Lógica de Primeira Ordem, juntamente com um operador de ponto fixo, sobre a classe de estruturas ordenadas. O operador de ponto fixo pode ser o ponto menos fixo (como...
O título diz mais ou menos tudo, mas acho que poderia adicionar um pouco de fundo e alguns exemplos específicos nos quais estou interessado. Teóricos da complexidade descritiva, como Immerman e Fagin, caracterizaram muitas das classes de complexidade mais conhecidas usando a lógica. Por exemplo, o...
Parece sabido que, para encontrar uma resposta para uma consulta em um banco de dados relacional , é preciso tempo e não é possível se livrar do expoente.QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Como pode ser muito grande, nos perguntamos por que os bancos de dados funcionam na prática.DDD É apenas...
O problema de manutenção de pedidos (ou "manutenção de pedidos em uma lista") é dar suporte às operações: singleton: cria uma lista com um item, retorna um ponteiro para ele insertAfter: dado um ponteiro para um item, insere um novo item depois dele, retornando um ponteiro para o novo...
O papel Lauri Hella e José María Turull-Torres, Consultas de computação com lógicas de ordem superior , TCS 355 197-214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propõe lógica VO, lógica de ordem variável. Isso permite a quantificação de pedidos sobre as variáveis. O VO é bastante poderoso e...
CMSOL é Counting Monadic Second Order Logic, ou seja, uma lógica de gráficos em que o domínio é o conjunto de vértices e arestas, existem predicados para adjacência vértice-vértice e incidência de aresta-vértice, quantificação sobre arestas, vértices, conjuntos de arestas e vértices conjuntos, e...
Em esta questão , foi mencionado que existem versões de complexidade descritivos do teorema de Rice. Encontrei uma prova do seguinte teorema: Dada uma classe de complexidade C , propriedades não triviais de idiomas em C não podem ser computadas em C Eu já havia postado a prova que encontrei,...
Seja uma permutação. Observe que enquanto atua em um domínio infinito, sua descrição pode ser finita. Por descrição , quero dizer um programa que descreve a funcionalidade do \ pi . (Como na complexidade de Kolmogorov.) Veja as explicações abaixo.π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^*...
Contexto: Consideramos apenas dígitos. Deixe CYCLE ser a linguagem dos gráficos com um ciclo; é um problema NL-completo. Seja HASEDGE o idioma dos gráficos com pelo menos uma aresta. Em seguida, trivialmente, não é mais NL, enquanto permanece assim.CICLO ∪ ¯ HASEDGECICLO ∪...
É bem conhecido que certas classes de NP -Problemas Tem dicotomia teoremas, que garantia de que todas as tarefas na classe ou é NP -completo ou está em P . O resultado mais conhecido é o teorema da dicotomia de Schaefer , juntamente com várias generalizações. Entendo que provar esses teoremas da...
No Zoológico da Complexidade, diz [ 1 ] que, na complexidade descritiva, pode ser definido por três tipos diferentes de fórmulas, que também é e também como .PPPFO(LFP)FO(LFP)FO(LFP)FO(nO(1))FO(nO(1))FO(n^{O(1)})SO(HORN)SO(HORN)SO(HORN) No entanto, existem algumas exceções, por exemplo, não pode...
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...
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...
Estou tentando entender o artigo Sobre sistemas de prova p-Optimal e lógica para PTIME . Existe uma noção chamada sistemas de prova no artigo e eu não entendo: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... Identificamos problemas com os subconjuntos de em .Σ ∗QQQΣ∗Σ∗\Sigma^* Penso que a intenção é...
Para entender melhor um artigo, estou tentando entender brevemente a lógica do ponto menos fixo. Existem alguns pontos em que estou preso. Se é um gráfico eG=(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 ) ) }Φ(P)={(uma,b)∣G⊨E(uma,b)∨P(uma,b)∨∃z(E(uma,z)∧P(z,b))}...
Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Theoretical Computer Science Stack Exchange. Fechado há 7 anos . Como podemos...
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...
É 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 teorema: iff ....