INSTITUTO TECNOLOGICO DE ZACATEPEC

ASIGNATURA:

TEORIA DE LA COMPUTACION
TRABAJO:

UNIDAD 6: REDUCIBILIDAD
PROFESORA:

VILLAVICENCIO BAHENA LAURA

INTEGRANTES DEL EQUIPO:

ACOSTA LEYVA BLANCA JUDITH TOLEDO MORENO JESSICA

INTRODUCCIN
Una reduccin es una forma de convertir un problema en otro problema de tal forma que la solucin que se le da al segundo problema pueda ser usada para resolver el primero. Por ejemplo suponiendo que quieres encontrar un camino para una nueva ciudad. T sabes que esto podra ser fcil si t tuvieras un mapa. As t puedes reducir el problema encontrando un camino para ir por la cuidad, al el problema de obtener un mapa para ir por la ciudad. La reducibilidad siempre envuelve dos problemas, a los cuales les podemos llamar A y B, si A se reduce a B, podemos usar la solucin de B para solucionar A. As en nuestro ejemplo A es el problema para encontrar un camino para cruzar la ciudad, y B es el problema de obtener el mapa. Note que la reducibilidad no dice nada acerca de resolver A y B de forma separada, pero si habla acerca de la solucin de A con respecto a obtener la solucin de B. Lo siguiente est ms alejado de los ejemplos de reducibilidad. En la reducibilidad tambin se producen problemas matemticos. Por ejemplo el problema de medicin el rea de un rectngulo se reduce al problema de medir alto por ancho. El problema es solucionado con un sistema lineal de ecuaciones y esto se reduce al problema de invertir una matriz. La reducibilidad juega un importante papel en la clasificacin de problemas por decidibilidad y despus en la complejidad as como en la teora. Cuando A es reducible a B, la solucin de A no puede ser tan difcil que la solucin de B, porque la solucin de B da la solucin de A. En trminos de teora de la computacin si A es reducible a B y B es decidible, A tambin es decidible. Equivalentemente si A es indecidible y reducible a B, B es indecidible.

INDICE
UNIDAD 6: REDUCIBILIDAD
REDUCIBILIDAD..4 6.1 PROBLEMAS INSOLUBLES TEORIA DE LA COMPUTACION6 6.2 UN PROBLEMA SIMPLE INSOLUBLE..7 6.3 FUNCIONES COMPUTABLES.8 6.4 REDUCIBILIDAD DE TURING.10

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. Ejemplo Ordenar se reduce a encontrar el menor Sabemos que existe Menor (i; j), que devuelve el elemento menor del segmento del arreglo A [i, j]. Ejemplo PROCEDIMIENTO Ordena(A; n) COMIENZA PARA i =1 A n HAZ j = Menor (i; n) Intercambia (i; j) FINPARA TERMINA

6.1 PROBLEMAS INSOLUBLES TEORIA DE LENGUAJES

Sea el problema P alguna el siguiente problema: Para demostrar que P alguna no es soluble, comenzaremos suponiendo que lo es, llegando de esta manera a un absurdo. Este absurdo tendr lugar debido a que la solubilidad de P alguna implica la solubilidad de P det. Expresado de otra manera, demostramos que P det se reduce a P alguna. Demostracin: Supongamos que Palguna es un problema de decisin soluble. Al ser un problema soluble, entonces existe un procedimiento efectivo (o mquina universal de Turing), Alguna, que resuelve Palguna. Alguna toma como datos de entrada la descripcin de una mquina de Turing T y determina en un tiempo finito si T se detiene sobre alguna cadena o no. Es decir Alguna recibe como entrada (T) y retorna un 1 si T se detiene para alguna cadena, mientras que devuelve la salida 0 si T no se detiene para ninguna cadena. Construyamos a partir de Alguna, un procedimiento efectivo (o mquina universal de Turing) Detencin: La mquina Detencin recibe como entrada un par (T, ), el problema Palguna solo tiene como entrada una mquina de Turing, por lo que necesitamos un proceso adicional que combine T y de manera que las respuestas de Alguna, respondan el problema de la detencin. Este proceso adicional se lleva a cabo en la mquina universal X que realiza lo siguiente: a. Recibe como dato de entrada la mquina de Turing T y la cadena . b. Construye una mquina de Turing T tal que: i. Para la cadena se comporta como la mquina de Turing T. j. Para toda cadena que no sea la nueva mquina T nunca se detiene o cicla indefinidamente. Combinando las mquinas universales Alguna y X, tenemos la mquina universal Detencin que tiene el siguiente comportamiento: 1. Detencin recibe como entrada el par (T, ).

2. La mquina universal Detencin utiliza X, la cual a partir de T y construye la nueva mquina de Turing T. 3. La mquina de Turing T obtenida en el paso anterior es ingresada a la mquina universal Alguna. 4. Si la respuesta de Alguna es 1 entonces T se detiene para alguna cadena. De la manera en la que construimos T esa cadena necesariamente es la cadena (ya que para el resto sabemos que la mquina siempre cicla) como el comportamiento de T frente a la cadena es el mismo que tiene la mquina T entonces podemos afirmar que T se detiene sobre y que por lo tanto Detencin emite un 15. Si la respuesta de Alguna es 0 entonces T no se detiene para ninguna cadena. De la manera en la que construimos T la nica cadena sobre la que T poda detenerse era y que el comportamiento frente a esta cadena era el mismo que el de la mquina T. Podemos entonces afirmar, que la mquina de Turing T tampoco se detiene frente a la cadena y que por lo tanto la respuesta que emite Detencin es igual a 0. Conclusin: La mquina universal Detencin retorna 1 (T se detiene sobre ) si Alguna retorna 1 (T se detiene sobre alguna cadena). La mquina universal Detencin retorna 0 (T no se detiene sobre ) si alguna retorna 0 (T se detiene sobre ninguna cadena). Hemos mostrado como construir la mquina universal Detencin que resuelve el problema de la detencin a partir de la mquina universal Alguna que resuelve un problema que supusimos soluble. Sabemos por hiptesis que el problema de la detencin es un problema insoluble, por lo tanto la solucin encontrada mediante la mquina universal Detencin no puede existir. Lo que implica que alguna de sus componentes no puede existir, es decir o bien Alguna, o bien X no existe. Como por construccin X existe, luego Alguna no.

6.2 UN PROPBLEMA SIMPLE INSOLUBLE

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. Ejemplo: Ordenar se reduce a encontrar el menor Sabemos que existe Menor (i; j), que devuelve el elemento menor del segmento del arreglo A [i, j]. Ejemplo: PROCEDIMIENTO Ordena(A; n) COMIENZA PARA i =1 A n HAZ j = Menor (i; n) Intercambia (i; j) FINPARA TERMINA

6.3 FUNCIONES COMPUTABLES

Las funciones computables son usadas para discutir computabilidad sin referirse a ningn modelo de computacin concreto, como mquina de Turing o mquina de registros. Los axiomas de Blum pueden ser usados para definir una teora de complejidad computacional abstracta sobre el conjunto de funciones computables. Segn la tesis Church-Turing, la clase de funciones computables es equivalente a la clase de funciones definidas por funciones recursivas, clculo lambda, o algoritmos de Markov. Alternativamente se pueden definir como los algoritmos que pueden ser calculados por una mquina de Turing, un sistema de Post, o una mquina de registros. En teora de la complejidad computacional, el problema de determinar la complejidad de una funcin computable esta conocido como un problema de funciones. Una funcin parcial: se llama computable si el grfico de f es un conjunto recursivamente numerable. El conjunto de funciones parcialmente computables con un parmetro es normalmente escrito o si el nmero de parmetros es claro del contexto. Una funcin total: se llama computable si el grfico de f es un conjunto recursivo. El conjunto de funciones totalmente computables con un parmetro normalmente se escribe o. Una funcin computable f se llama predicado computable si es una funcin con valor booleano, o sea Definicin: La recursin primitiva se define sobre los nmeros naturales o sobre tuplas de nmeros naturales. La aridad de una funcin es el nmero de sus argumentos. El conjunto de las funciones primitivas recursivas se define en base a las siguientes reglas: 1. La constante 0 es primitiva recursiva. 2. La funcin sucesor S, de aridad 1, que produce el siguiente entero segn los axiomas de Peano, es primitiva recursiva. 3. Las funciones de proyeccin Pin, de aridad n que producen como resultado su argumento de la posicin i son primitivas recursivas.

4. Composicin: Dado f, una funcin primitiva recursiva de aridad k y k funciones primitivas recursivas de aridad l g0,..., gk-1, la composicin de f con g0,..., gk-1, es decir, la funcin h(x0,..., xl-1) = f (g0(x0,..., xl-1),..., gk1(x0,..., xl-1)), es primitiva recursiva. 5. Recursin primitiva: Dado f una funcin primitiva recursiva de aridad k y g una funcin primitiva recursiva de aridad k+2, la funcin de aridad k+1 definida como la funcin h donde h(0,x0,...,xk-1) = f(x0,...,xk-1) y h(S(n),x0,...,xk-1) = g(h(n,x0,...,xk-1),n,x0,...,xk-1), es primitiva recursiva. Se puede notar que las funciones de proyeccin permiten contrarrestar la rigidez impuesta por la paridad de las funciones en la definicin anterior, dado que en la composicin se puede pasar cualquier subconjunto de los argumentos. Una funcin es primitiva recursiva si es la funcin constante cero, la funcin sucesor, una proyeccin o si se define a partir de funciones primitivas recursivas utilizando nicamente composicin y recursin primitiva.

6.4 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 mas 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 ao tenemos: el propio conjunto SK no solo es simple si no hipersimple. Asimismo, propuso un concepto de hiper-hipersimple, y demostr que existen, en la esperanza de que no fueran completos respecto reducciones de Turing. La idea era procurar que los complementarios fueran lo mas delgados posible en cierto sentido intuitivo: en un inmune no cabe un recursivamente numerable y en un hiperinmune (complementario de un hipersimple) el siguiente elemento esta siempre demasiado lejos para lo que puede lograr enumerar una funcin recursiva. Sin embargo mas adelante se estableci que existen hiper-hipersimples que son T-completos e incluso que existen recursivamente numerables maxi males respecto a la inclusin, y por tanto con complementario lo mas delgado posible en este sentido intuitivo, y que son T-completos. 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.

10