Resolver problemas difíciles

Un ingeniero de software desarrolla un nuevo sistema operativo. Cuando el sistema operativo ve que una aplicación tarda mucho tiempo en terminar de ejecutar una instrucción, tiene que tomar una decisión. ¿Debería el sistema operativo forzar que la aplicación termine, suponiendo que va a correr para siempre? ¿O puede el sistema operativo detectar que la aplicación va a terminar de procesar si le da un poco más tiempo?

El ingeniero investiga un poco y descubre que este es un problema indecidible.

¿Cuáles son las implicaciones de que el problema sea indecidible?

(Elección A)
El problema puede resolverse en algunos casos, pero no hay un algoritmo que resuelva el problema en todos los casos.
(Elección B)
El problema no puede resolverse en ningún caso.
(Elección C)
El problema puede resolverse, pero tomará un tiempo no razonable
(Elección D)
El problema puede resolverse mucho más rápidamente con el uso de una heurística que encuentre una solución aproximada.

Contenido relacionado

Artículo

Usar heurísticas

Artículo

Problemas indecidibles