Ciencias de la Computación

12
Sobre el algoritmo de reducción de Codd

El algoritmo de Codd convierte una expresión en cálculo relacional de tuplas a álgebra relacional. ¿Existe una implementación estándar del algoritmo? ¿Se usa este algoritmo en alguna parte? (Parece que la industria solo necesita SQL y variantes, no estoy seguro acerca de los teóricos de bases de...

12
Un oráculo para separar NP de coNP

¿Cómo demostrar que ? Solo estoy buscando un oracle TM M y un lenguaje recursivo L ( M ) = L para el cual esto es válido.N PUN≠ c o N PUNNPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMETROMML ( M) = LL(M)=LL(M) = L Sé que la prueba donde se demuestra que existe un oráculo tal que P A ≠ N P A y un...