REDUCIBILIDAD

¿Qué ES LA REDUCIBILIDAD?

Una reducción es una forma de convertir un problema en otro problema de que

se trata convertir un problema en otro de tal forma que la solución que se le da
al El segundo problema puede ser usado para resolver el primero.

EJEMPLO DE REDUCIBILIDAD:

Un matemático está en una habitación que contiene una mesa, un grifo y un recipiente vacío en el
suelo. Se le pide que ponga el recipiente lleno de agua en la mesa. Rápidamente coge el
recipiente, lo llena de agua y lo coloca en la mesa. Un rato más tarde está en la habitación
equipada como antes, con la diferencia de que ahora el recipiente está lleno en el suelo. Cuando
se le pide que resuelva la misma tarea, el matemático vacía el recipiente, lo deja en el suelo y
responde: "he reducido la tarea al primer problema". A menudo se utiliza la técnica de reducir un
problema a otro para comprobar si tiene o no solución efectiva.

Estrategia de demostración por reducibilidad

Para demostrar que un problema es insoluble:
1. Suponer que el problema es soluble.
2. Tomar un problema que ya se conozca, o pueda demostrarse, insoluble, para plantear la
reducción.
3. Es importante recordar que debe reducirse el problema elegido en el punto 2 al problema
que supusimos soluble (demostración por el absurdo)
4. Demostrar la reducción.

problemas insolubles para la teoría de

lenguajes
CLASIFICACION DE PROBLEMAS

Los problemas se clasifican por la existencia de una solución en solubles, no solubles e

indecidibles.
Un problema se dice soluble si se sabe de antemano que existe una solución para él.

A su vez, los problemas solubles se dividen en dos clases: los algorítmicos y los no algorítmicos.
Un problema se dice algorítmico si existe un algoritmo que permita darle solución.
Un problema se dice no algorítmico si no existe un algoritmo que permita encontrar su solución.

Un problema se dice insoluble si se sabe que no existe una solución para él.
Un problema se dice indecidible si no se sabe si existe o no existe solución para él.
EJEMPLOS:
¿Existe un algoritmo para determinar si una gramática es ambigua o no? No es insoluble.

Otros ejemplos de problemas de decisión:

• ¿Existe un algoritmo para decidir si dos autómatas finitos cualesquiera son equivalentes? Si es un
problema soluble.

¿Es posible hacer una misma cadena en un automata determinístico? Si es soluble

¿Como se puede obtener la raiz por medio de una calculadora? Escriba el algoritmo

Un robot puede apilar en ciertos lugares cajas e diferentes tamaños. La caja a apilar no puede ser
más grande que las que ya estén apiladas en dicho lugar. El robot puede solo tomar la caja de más
arriba de una pila. ¿Cómo puede el robot pasar las tres cajas apiladas en el lugar A al lugar C
usando si es necesario el lugar de apilar B?