Vous êtes sur la page 1sur 2

Algoritmica Introduccin

La teora algortmica de la informacin, principalmente estudios de las medidas de complejidad en las cadenas (o estructuras de datos). Como la mayora de los objetos matemticos pueden ser descritos en trminos de cadenas, o como el lmite de una secuencia de cadenas, puede ser usado para estudiar una amplia variedad de objetos matemticos, incluyendo nmeros enteros y nmeros reales. Algunos de los resultados de la teora algortmica de la informacin, como el teorema de incompletitud de Chaitin, parecen desafiar intuiciones matemticas y filosficas. El ms notable de ellos es la construccin de la constante de Chaitin , un nmero real que expresa la probabilidad de que una de mquina universal de Turing de auto-delimitacin puede detenerse con datos de entrada generadas por lanzamientos de moneda.

Ejemplo
Segn la definicin clsica, de acuerdo con Claude Shannon, el contenido de la informacin de las siguientes secuencias binarias es la misma (slo aplica la entropa de primer orden):
1100100001100001110111101110110011111010010000100101011110010110 1111111111111111111111111111111100000000000000000000000000000000

La primera secuencia ha sido producida por un muestreo aleatorio, en la segunda secuencia, sin embargo, se utiliza la instruccin "32x1 a continuacin, y entonces 32X0". A los efectos de la teora algortmica de la informacin, la primera secuencia por tanto, tiene ms informacin algortmica , ya que es mucho ms compleja o no se puede comprimir. Es decir, la informacin algortmica es tanto mayor, cuanto menos puede ser comprimida una cadena de caracteres (entre otros, por compresin de datos). Las secuencias aleatorias y ruido blanco en general no contienen ningn patrn predecible y por tanto no son compresibles - el contenido de la informacin algortmica es por tanto mayor.

Antecedentes Matemticos
El enfoque de Andrei Kolmogorov se puede aplicar tambin a los algoritmos de programas arbitrarios de una mquina de Turing. Gregory Chaitin aplicando la complejidad de Kolmogorov en la teora de las funciones recursivas (ver tambin -recursion clculo lambda y el trabajo relacionado de Kurt Gdel), limita las aplicaciones posibles a las que se pueden ejecutar en una variante especial de la mquina universal de Turing (UTM), llamada mquina universal de Turing con autodelimitacin.

Tras la demostracin de Chaitin, en principio, no se puede determinar si una cadena se puede reducir an ms algoritmicamente. Por ejemplo, se han encontrado nuevos y ms eficientes algoritmos de compresin, pero una secuencia aparentemente aleatoria de nmeros puede venir de un generador pseudo-aleatorio. Debido al problema de parada (Halting Problem) no todas las mquinas de Turing pueden ser utilizadas un tiempo finito.