¿Qué significa la clase de complejidad ? Sé que ⊕ P es la clase de complejidad que contiene los lenguajes A para los cuales existe una máquina de Turing no determinista de tiempo polinomial M tal que x ∈ A si el número de estados de aceptación de la máquina M en la entrada x es impar.
Pero, ¿qué significa ? Simplemente no puedo seguir lo que realmente hace :)
¿Cuáles son las consecuencias prácticas de tal clase de complejidad y cómo es posible demostrar que ?