![](//upload.wikimedia.org/wikipedia/commons/thumb/d/dd/Commons-emblem-question_book_yellow.svg/40px-Commons-emblem-question_book_yellow.svg.png) |
Las referencias de este artículo no tienen un formato correcto. Puedes colaborar editándolas como se indica en esta página. También puedes avisar en su página de discusión a quien las añadió pegando lo siguiente: {{subst:Aviso formato de referencias|Espectro de una sentencia}} ~~~~ Este aviso fue puesto el 29 de julio de 2020. |
En lógica matemática, el espectro de una oración es el conjunto de números naturales que ocurren como el tamaño de un modelo finito en el que una sentencia dada es verdadera.
Definición
Sea ψ una oración en la lógica de primer orden . El espectro de ψ es el conjunto de números naturales n tal que existe un modelo finito para ψ con n elementos.
Si el vocabulario para ψ consiste solo en símbolos relacionales, entonces ψ puede considerarse como una oración en la lógica existencial de segundo orden (ESOL) cuantificada sobre las relaciones, sobre el vocabulario vacío. Un espectro generalizado es el conjunto de modelos de una oración general de ESOL.
Ejemplos
- El espectro de la fórmula de primer orden.
![{\displaystyle a+z=a=z+a~\land ~a\cdot z=z=z\cdot a~\land ~a+d=z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3594e719de90aa0033906c79eff4eb0ac9b992e8)
![{\displaystyle \land ~a+b=b+a~\land ~a\cdot (b+c)=a\cdot b+a\cdot c~\land ~(a+b)+c=a+(b+c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44e2a771d1c260523d92b22f1c9eb9606a3b29de)
![{\displaystyle \land ~a\cdot o=a=o\cdot a~\land ~a\cdot e=o~\land ~(a\cdot b)\cdot c=a\cdot (b\cdot c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c2b7539981af6fa7d71855118ba86a72b42f841)
es
, el conjunto de potencias de un número primo. De hecho, con
para
y
para
, esta sentencia describe el conjunto de campos; La cardinalidad de un campo finito es la potencia de un número primo.
- El espectro de la fórmula lógica monádica de segundo orden
es el conjunto de números pares. En efecto,
es una biyección entre
y
y
y
Son una partición del universo. Por lo tanto, la cardinalidad del universo es par.
- El conjunto de conjuntos finitos y co-finitos es el conjunto de espectros de lógica de primer orden con la relación sucesora.
- El conjunto de conjuntos periódicos en última instancia es el conjunto de espectros de lógica monádica de segundo orden con una función unaria. También es el conjunto de espectros de lógica monádica de segundo orden con la función sucesora.
Propiedades
El Teorema de Fagin es un resultado en una teoría de la complejidad descriptiva que establece que el conjunto de todas las propiedades expresables en la lógica existencial de segundo orden es precisamente la clase de complejidad NP. Esto es notable porque que es una caracterización de la clase NP que no invoca un modelo de cálculo como una máquina de Turing. El teorema fue probado por Ronald Fagin en 1973 en su tesis doctoral.
Equivalencia a las máquinas de Turing
Como corolario, Jones y Selman mostraron que un conjunto es un espectro si y solo si está en la clase de complejidad NEXP.[1]
Una dirección de la prueba es mostrar que, para cada fórmula de primer orden
, el problema de determinar si existe un modelo de la fórmula de cardinalidad n es equivalente al problema de satisfacer una fórmula de polinomio de tamaño en n, que está en NP (n) y, por lo tanto, en NEXP de la entrada al problema (el número n en forma binaria, que es una cadena de tamaño log ( n )).
Esto se hace reemplazando cada cuantificador existencial en
con disyunción sobre todos los elementos en el modelo y reemplazando cada cuantificador universal con conjunción sobre todos los elementos en el modelo. Ahora cada predicado está en los elementos del modelo, y finalmente cada aparición de un predicado en elementos específicos se reemplaza por una nueva variable proposicional. La igualdad se reemplaza por sus valores de verdad de acuerdo con sus asignaciones.
Por ejemplo:
Para un modelo de cardinalidad 2 (es decir, n = 2) se reemplaza por
Que luego se reemplaza por
dónde
es verdad,
es falsedad y
,
son variables proposicionales En este caso particular, la última fórmula es equivalente a
, que es satisfactoria.
La otra dirección de la prueba es mostrar que, para cada conjunto de cadenas binarias aceptadas por una máquina de Turing no determinista que se ejecuta en tiempo exponencial (
para una entrada de longitud x), hay una fórmula de primer orden
tal que el conjunto de números representados por estas cadenas binarias son el espectro de
.
Jones y Selman mencionan que el espectro de fórmulas de primer orden sin igualdad es solo el conjunto de todos los números naturales no más pequeños que una mínima cardinalidad.
Otras propiedades
El conjunto de espectros de una teoría se cierra bajo unión, intersección, suma y multiplicación. En general, no se sabe si el conjunto de espectros de una teoría se cierra por complementación; Este es el llamado Problema de Asser.
Referencias
- Fagin, Ronald (1974). «Generalized First-Order Spectra and Polynomial-Time Recognizable Sets». En Karp, Richard M., ed. Complexity of Computation. Proc. Syp. App. Math. SIAM-AMS Proceedings 7. pp. 27-41.
- Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott (2007). Finite model theory and its applications. Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer-Verlag. ISBN 978-3-540-00428-8. doi:10.1007/3-540-68804-8. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott (2007). Finite model theory and its applications. Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer-Verlag. ISBN 978-3-540-00428-8. doi:10.1007/3-540-68804-8. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott (2007). Finite model theory and its applications. Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer-Verlag. ISBN 978-3-540-00428-8. doi:10.1007/3-540-68804-8.
- Immerman, Neil (1999). Descriptive Complexity. Graduate Texts in Computer Science. New York: Springer-Verlag. pp. 113–119. ISBN 0-387-98600-6. Immerman, Neil (1999). Descriptive Complexity. Graduate Texts in Computer Science. New York: Springer-Verlag. pp. 113–119. ISBN 0-387-98600-6. Immerman, Neil (1999). Descriptive Complexity. Graduate Texts in Computer Science. New York: Springer-Verlag. pp. 113–119. ISBN 0-387-98600-6.
- Durand, Arnaud; Jones, Neil; Markowsky, Johann; More, Malika (2012). «Fifty Years of the Spectrum Problem: Survey and New Results». Bulletin of Symbolic Logic 18 (4): 505-553. Bibcode:2009arXiv0907.5495D. arXiv:0907.5495. doi:10.2178/bsl.1804020.
- ↑ Jones, Neil D.; Selman, Alan L. (1974). «Turing machines and the spectra of first-order formulas». J. Symb. Log. 39 (1): 139-150. doi:10.2307/2272354.