Estoy un poco confundido acerca de la relación entre problemas indecidibles y problemas difíciles NP. Si los problemas difíciles de NP son un subconjunto de problemas indecidibles, o son los mismos e
Quiero hacer una superclase de Num, llamado Lineal class Linear a where
add :: a -> a -> a
instance (Num a) => Linear a where
add = (+)
me sale el error: Illegal instance declaration for
En la teoría de cómputo, ¿los términos intercambiable demostrable y resoluble? ¿Significan lo mismo? Por ejemplo, a menudo se ve la pregunta de si algo se puede demostrar como un problema de decisión