Estoy buscando la complejidad de la satisfacción de una fórmula o de una fórmula ∃ x 1 , ... , x m ∀ y 1 , ... , y n , ϕ donde ϕ es la fórmula de la forma: ϕ : = ϕ ∧ ϕ | ¬ ϕ | ϕψ : = t > t | t = t t : = t + t | x i | y yo | c Donde c son la constante en N , y el dominio de las variables x i , y i es también N .
De hecho, son 0 o 1 . ¿Eso simplifica la complejidad?
Todas las respuestas con referencias serán aceptadas con mucho gusto.
Gracias