Ciencias de la Computación

Preguntas y respuestas para estudiantes, investigadores y profesionales de la informática.



2
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 …



1
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 datos en la …



2
¿Son todos los lenguajes libres de contexto y regulares eficientemente decidibles?
Encontré esta figura que muestra que los lenguajes libres de contexto y regulares son subconjuntos (adecuados) de problemas eficientes (supuestamente ). Entiendo perfectamente que los problemas eficientes son un subconjunto de todos los problemas decidibles porque podemos resolverlos, pero podría llevar mucho tiempo.PP\mathrm{P} ¿Por qué todos los lenguajes libres de …


1
¿El teorema smn es el mismo concepto que curry?
Estoy estudiando el teorema smn y el concepto me recordó al curry. Del artículo de Wikipedia sobre el teorema smn : El teorema dice que para un lenguaje de programación dado y enteros positivos myn, existe un algoritmo particular que acepta como entrada el código fuente de un programa con …





Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.