INTRODUCCIN

A lo largo de nuestras vidas nos hemos topado con diversos problemas que se nos presentan repentinamente y siempre estamos pensando cmo resolverlos, todas las personas, organizaciones, pases o en cualquier lado siempre estn planeando estrategias para resolver sus problemas aunque varan de los ms sencillos a los ms complejos y se piensa que muchos no tienen una solucin. En computacin o teora de la computacin existen mltiples problemas y se busca la manera de resolverlos lgicamente, lo complicado radica cuando el problema se expresa de una manera tan compleja que no se puede resolver o entra en un ciclo imparable. Existen clasificaciones para la resolucin de un problema y son; solubles insolubles o parcialmente solubles. No obstante existe en computacin otro tipo de clasificacin cuando el problema es un programa o un algoritmo y son los computables, no computables y los semicomputables que en si viene siendo casi igual que los anteriores solo que en otra perspectiva. Dentro de los incomputables existe la Reducibilidad la cual es nuestro tema a tratar, en la reducibilidad lo que se hace es tratar de analizar el problema para ver si se puede solucionar y a veces sucede que dentro del problema existe otro problema y hay que analizar si ese segundo problema se puede resolver, si esto sucede se resuelve tambin el primero.

REDUCIBILIDAD

Para poder hablar de reducibilidad hay que comprender el por qu de este concepto; En la Teora de la Computabilidad existe una clasificacin para la resolucin de los problemas que se presentan en esta misma y son los siguientes: Los Computables: en los cuales si existe un algoritmo que siempre los resuelven cuando hay una solucin y se pueden distinguir los casos que no tienen una solucin. Los Semicomputables: En los cuales hay un algoritmo que determina cuando la solucin no existe. Los incomputables: Que son aquellos para los cuales no hay ningn algoritmo que los pueda resolver, y no importa si estos tienen solucin o no. Existe una versin ms general de los problemas que existen en la Teora de la Computabilidad y a esta se le conoce como Reducibilad, en donde los problemas incomputables se subdividen en problemas ms difciles a comparacin de otros problemas, en estos casos se utiliza la Reducibilidad como la herramienta principal para poder lograr esta clasificacin. Para poder expresar la reducibilidad se expresa de la siguiente manera:  Si un problema A se reduce al problema B, y si suponemos que se sabe resolver el problema B es posible resolver el problema A; entonces esto se denota por A t B, y se significa que el problema A no es ms difcil que resolver que el problema B. En resumen de lo anterior: la Reducibilidad no es ms que utilizar dos problemas unindolos para as poder optimizar en conjunto el rendimiento de los dos problemas.

Tanto en la Teoria de la Computabilidad como en cualquier tema, o hasta en nuestra vida cotidiana existen problemas, todos estos problemas necesitan ser resueltos, pero muchos problemas no tienen solucin y se dice que son insolubles. En teora de la Computabilidad se dice que un Problema es Insoluble cuando nuestro autmata no lo puede resolver, pero no solo existen este tipo de problemas. Existen los Problemas de Decisin de los cuales sale la clasificacin de insolubles. Los Problemas de Decisin son aquellos formados por una pregunta que requiere una respuesta del tipo si/no Los Problemas de Decisin se clasifican de la siguiente manera: Soluble: Son cuando existe un algoritmo total para determinar si la propiedad es verdadera. Parcialmente Soluble: Es cuando existe un algoritmo parcial para determinar si la propiedad es verdadera. Insoluble: Es cuando no existe un procedimiento efectivo para determinar si la propiedad es verdadera. Se dice que muchos problemas insolubles son paradjicos en su naturaleza. Existe un ejemplo llamado la paradoja de Russel, y es la siguiente:  Un Peluquero afeita a todas las personas que no se afeitan as mismas. El peluquero: Se afeita as mismo? Este enunciado un problema insoluble. No obstante en computacin existe un Mtodo llamado Tiempo Polinomico, y se utiliza cuando el tiempo de ejecucin de un algoritmo es menor que un cierto valor calculado a partir del nmero de variables implicadas, usando una formula polinomica. Entonces se dice que dicho problema se puede resolver en un tiempo polinomico.

Dentro de los tiempos polinomicos se pueden distinguir los logartmicos, los lineales, los cuadrticos y los cbicos.

Las funciones computables son el objeto bsico de estudio de la teora de la computabilidad y consisten en las funciones que pueden ser calculadas por una mquina de Turing. Segn la Tesis de 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 con un orculo por A o f. Tales funciones puede ser llamados A-computable o f-computable respectivamente. Antes la definicin precisa de una funcin computable los matemticos usaban el trmino informal efectivamente computable. Las funciones computables son usadas para discutir computabilidad sin referirse a ningn modelo de computacin concreto, como el de la mquina de Turing o el de la mquina de registros. Los axiomas de Blum pueden ser usados para definir una teora de complejidad computacional abstracta sobre el conjunto de funciones computables. La Tesis de Church-Turing dice lo siguiente:  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, una mquina 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. Existen dos tipos de funciones siguientes: Una funcin parcial para ver si estas son computables y son las

Se llama parcialmente computable si el grfico de f es un conjunto recursivamente enumerable. El conjunto de funciones parcialmente computables con un parmetro es normalmente escrito contexto. Una funcin total o si el nmero de parmetros puede deducirse del

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, es decir

Post propuso un camino para obtener un conjunto para la Reducibilidad de Turing, definiendo y estudiando y estudiando Reducibilidades inmediatas. En la Reducibilidad Inmediata se encuentran las reducciones por la tabla de variedad que no son adoptivas. Post tambin propuso un concepto llamado Hiper-Hipersimple y demostr que existen, en la esperanza de que no fueran completos con respecto a las reducciones de Turing. Una reduccin de Turin es una funcin computable para una Maquina Orculo, con un orculo para B reducciones de Turing se puede aplicar tanto a los problemas de decisin y problemas en la funcin. Una maquina orculo es una maquina de Turing conectada aun orculo. El orculo se considera como una entidad capaz de responder a algunas colecciones de preguntas. En otras palabras la maquina orculo puede realizar todas las operaciones que se presentan en una maquina de turing.

CONCLUSIN

Existen varias formas para la resolucin de un problema no importando la complejidad de este, la cuestin es cuando un problema no tiene solucin, es por eso que se ven diferentes mtodos o variantes para tratar de darle una solucin o al menos acercarse ala solucin esperada. Tanto la Reducibilida, Las maquinas orculo, el tiempo polinomio, son mtodos para la resolucin de un problema. Se dice que la reducibilidad esta dentro de los problemas incomputables, pero el concepto de incomputables dice que son problemas que no tiene un algoritmo para resolverlos, pero esto no significa que no tengan solucin porque tambin menciona que no importa si tienen solucin o no, lo nico que interesa es ver si se pueden resolver algortmicamente.

Los problemas siempre van a existir, la variante siempre va ser como resolverlos y que mtodo utilizar, hay ocasiones que un mtodo no lo puede resolver pero otro si.