REDUCIBILIDAD Introduccin: en el tema anterior estudiamos la decibilidad ahora nos adentraremos en la investigacin sobre la reducibilidad que a su vez cobra

importancia en la teora de la computacin, pero antes necesitamos una definicin para poder adentrarnos de lleno en el tema Reducibilidad: Se dice que un problema L1 se reduce en tiempo polinomial determinstico a otro problema L2, si asumiendo que existe un algoritmo A2 en P que resuelve L2 es posible construir un algoritmo A1 en P que resuelva L1. Escribiremos L1 W L2 para significar que L1 se reduce a L2. Intuitiva: Una problema P1 se reduce polinomialmente a otro problema P2, si existe un algoritmo que transforme una instancia del problema P1 en una instancia del problema P2 en tiempo polinomial determinstico. Como podemos apreciar la reducibilidad no es ms que utilizar dos problemas unindolos para as poder optimizar polinomialmente el rendimiento de los mismos Desarrollo: ya teniendo una idea ms clara a lo que se refiere la reducibilidad podemos adentrarnos en lo que son los problemas insolubles ya que al tener un problema insoluble podremos aplicar la reducibilidad para convertirlo en soluble. Problemas insolubles como ser lgico para algunos al decir que un problema es insoluble se infiere que es un problema que nuestro autmata no puede resolver, veamos unos ejemplos para que esta idea se concrete

Ejemplo 1: De las siguiente imgenes, cual es la ms llamativa?

Nuestro autmata no puede saber cul es la imagen ms llamativa ya que para cada usuario la respuesta puede variar convirtiendo en este problema insoluble. Ejemplo 2: Un peluquero afeita a todas las personas que no se afeitan a s mismas. El peluquero: se afeita as mismo? (insoluble). Funciones computables: Las funciones computables son una formalizacin de la nocin intuitiva de algoritmo y segn la tesis Church-Turing son exactamente las funciones que pueden ser calculadas con una mquina de clculo. La nocin de la computabilidad de una funcin puede ser relativizada a un conjunto arbitrario de nmeros naturales A, o equivalentemente a una funcin arbitraria f de los naturales a los naturales, por medio de mquinas de Turing extendidas por un Oracle por A o f. Tales funciones pueden ser llamados A-computable o f-computable respectivamente. Antes la definicin preciso de una funcin computable los matemticos usaban el trmino informal efectivamente computable. Reducibilidad de Turing: Post propuso un camino para obtener un conjunto no completo para la reductibidad de Turing, definiendo y estudiando reducibilidades intermedias. As, las diferencias importantes entre la reduccin M y la de Turing son obviamente el poder efectuar ms de una pregunta, y en segundo lugar el poder hacer lo contrario de lo que indica la respuesta; pero la propiedad realmente relevante resulta ser un poder que cada pregunta dependa esencialmente de las respuestas obtenidas a preguntas anteriores

(adaptabilidad de la reduccin). Es posible definir reducibilidades intermedias, entre ellas las reducciones por la tabla de variedad, que no son adaptativas. Y, en efecto, una versin reforzada de los conjuntos simples, los hipersimples, proporciona conjuntos que no son completos respecto de la reductibilidad por tablas de verdad. Post demostr este hecho, y construyo un conjunto hipersimple; nosotros lo tenemos fcil por que, de hecho, ya lo tenemos: el propio conjunto SK no solo es simple si no hipersimple. Asimismo, propuso un concepto de hper-hipersimple, y demostr que existen, en la esperanza de que no fueran completos respecto reducciones de Turing. La solucin finalmente requiri un concepto tcnico nuevo, las construcciones por mtodos de prioridad, que extendieron otra de las varias contribuciones de Post. Merece la pena comentar que actualmente existen varias demostraciones diferentes, algunas de las cuales pueden considerarse la culminacin del programa estructural de Post; pese a lo cual, los mtodos de prioridad han de verse como el camino apropiado de solucin.

EJEMPLO

Sabemos por hiptesis que el problema de la detencin es un problema insoluble, por lo tanto la solucin encontrada mediante la mquina universal Y no puede existir. Lo que implica que alguna de sus componentes no puede existir, es decir o bien X, o bien X no existe. Como por construccin X existe, luego X no. Podemos entonces concluir que Pacept es un problema no-soluble.