La foto de la portada es una imagen de libre uso de Pixabay y editada por 
En primer lugar, si se entiende qué aspecto del problema es la causa de la dificultad, se puede modificar para que el problema sea más fácil de resolver.
En segundo lugar, es posible que pueda conformarse con una solución menos que perfecta del problema. En algunos casos, encontrar soluciones que sólo se aproximan a la perfecta es relativamente fácil.
Dependiendo de la aplicación, puede estar satisfecho con un procedimiento que ocasionalmente sea lento pero que normalmente se ejecute rápidamente.
Por último, puede considerar tipos alternativos de cálculo, como el cálculo aleatorio, que pueden acelerar ciertas tareas.
En la mayoría de los campos, un problema de cálculo fácil es preferible a uno difícil porque los fáciles son más baratos de resolver.
La criptografía es inusual porque requiere específicamente problemas computacionales que sean difíciles, en lugar de fáciles, porque los códigos secretos deben ser difíciles de romper sin la clave o contraseña secreta.
La teoría de la complejidad ha orientado a los criptógrafos hacia problemas computacionalmente difíciles en torno a los cuales han diseñado nuevos códigos revolucionarios.
Imagen de Pixabay y editada por
Un ejemplo de este fenómeno es el problema de determinar si un enunciado matemático es verdadero o falso.
Esta tarea es el pan de cada día de nosotros los matemáticos.
Pero ningún algoritmo informático puede realizar esta tarea.
Una de las consecuencias de este profundo resultado fue el desarrollo de ideas relativas a los modelos teóricos de los computadores que, con el tiempo, contribuirían a la construcción de computadores más reales.
En la teoría de la complejidad, el objetivo es clasificar los problemas en fáciles y difíciles, mientras que en la teoría de la computabilidad la clasificación de los problemas es por aquellos que son resolubles y los que no lo son.
La teoría de la computabilidad introduce varios de los conceptos utilizados en la teoría de la complejidad.
Estos modelos desempeñan un papel en varias áreas aplicadas de la informática.
Un modelo, llamado autómata finito, se utiliza en el procesamiento de textos, los compiladores y el diseño de hardware.
La teoría de autómatas es un lugar excelente para comenzar el estudio de la teoría de la computación.
Las teorías de la computabilidad y la complejidad requieren una definición precisa de lo que es un computador.
La teoría de autómatas permite practicar con definiciones formales de la computación, ya que introduce conceptos relevantes para otras áreas no teóricas de la informática.
Imagen de Pixabay y editada por
Espero que les haya gustado este interesante tema acerca de La Teoría de la Computación, no te pierdas las próximas publicaciones donde abordaré otros temas interesantes. Si deseas ampliar más te invito a leer las siguientes referencias:
