Perguntas com a marcação «first-order-logic»

Para quaisquer dois gráficos não isomórficos

Eu quero ser muito específico. Alguém sabe de uma reprovação ou de uma prova da seguinte proposição: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in...

Estado da arte para a classe monádica?

A lógica monádica de primeira ordem, também conhecida como classe monádica do problema de decisão, é onde todos os predicados usam um argumento. Foi demonstrado ser decidível por Ackermann e está NEXPTIME-complete . No entanto, problemas como SAT e SMT têm algoritmos rápidos para resolvê-los,...