La prueba de la complejidad de Kolmogorov es indiscutible utilizando reducciones


9

Estoy buscando una prueba de que la complejidad de Kolmogorov es indiscutible utilizando una reducción de otro problema incontestable. La prueba común es una formalización de la paradoja de Berry en lugar de una reducción, pero debe haber una prueba reduciendo algo como el Problema de detención o el Problema de correspondencia de Post.

Respuestas:


11

Puede encontrar dos pruebas diferentes en:

Gregory J. Chaitin, Asat Arslanov, Cristian Calude: La complejidad del tamaño del programa calcula el problema de detención. Boletín de la EATCS 57 (1995)

En Li, Ming, Vitányi, Paul MB; Una introducción a la complejidad de Kolmogorov y sus aplicaciones se presenta como un ejercicio (con una pista sobre cómo resolverla que W. Gasarch acredita a P. Gács en una comunicación personal el 13 de febrero de 1992).

** Decidí publicar una versión extendida en mi blog .


1
Además, la prueba de Chaitin (en ese enlace) muestra que las consultas del oráculo se pueden hacer en paralelo.

¿Son estas pruebas realmente reducciones de giro (uno a uno (o) uno a muchos)? Estoy confundido !! por favor ayúdame
Krishna Chikkala

@ KrishnaChikkala: la primera es seguramente una reducción de Turing . No lo encontré tan claro, así que decidí publicar una versión extendida en mi blog . Si quieres echarle un vistazo (y dime por correo electrónico si crees que se puede mejorar). También tenga en cuenta que las reducciones de Turing son diferentes de las reducciones de muchos (que son reducciones "más fuertes"); de hecho, la respuesta de Joe Bebel prueba que tal reducción no puede existir.
Marzio De Biasi

7

Esta fue una pregunta divertida para pensar. Como se describe en la otra respuesta y en los comentarios a continuación, hay una reducción de Turing del problema de Detención a la computación de la complejidad de Kolmogorov, pero en particular no existe tal reducción de muchos, al menos para una definición de 'computación de la complejidad de Kolmogorov'.

Definamos formalmente de qué estamos hablando. Deje que denote el lenguaje estándar de TM que se detiene cuando se le da una descripción de sí mismos como entrada. Deje K O denotan { x , k | x  tiene la complejidad de Kolmogorov exactamente  k } .HALTKO{x,kx has Kolmogorov complexity exactly k}

Suponga que por alguna reducción de muchos. Sea f : { 0 , 1 } { 0 , 1 } denota la función que calcula esta reducción. Considere la imagen de H A L T debajo de f , que denotaré f ( H A L T ) .HALTKOf:{0,1}{0,1}HALTff(HALT)

Nota consiste en cadenas de la forma x , k donde x tiene complejidad Kolmogorov exactamente k . Afirmo que las k que ocurren en f ( H A L T ) son ilimitadas, ya que solo hay un número finito de cadenas con la complejidad de Kolmogorov exactamente k , yf ( H A L T ) es infinito.f(HALT)x,kxkkf(HALT)kf(HALT)

Como es recursivamente enumerable (también conocido como Turing-reconocible en algunos libros), se deduce que f ( H A L T ) es recursivamente enumerable. Combinado con el hecho de que los k 's son sin límites, podemos enumerar f ( H A L T ) hasta que encontremos alguna x , k con k tan grande como queremos; es decir, existe un TM M que en la entrada k da salida a algún elemento x , k HALTf(HALT)kf(HALT)x,kkMk .x,kf(HALT)

Escriba una nueva TM que haga lo siguiente: primero, calcule | M | usando el teorema de recursión de Kleene. Consulta M con entrada | M | + 1 para obtener x , | M | + 1 f ( H A L T ) . Salida x .M|M|M|M|+1x,|M|+1f(HALT)x

Claramente, la salida de M ' es una cadena con complejidad de Kolmogorov como máximo | M | pero x , | M | + 1 f ( H A L T ) que es una contradicción.xM|M|x,|M|+1f(HALT)

Creo que también puede sustituir en el problema "Complejidad de Kolmogorov exactamente " con "Complejidad de Kolmogorov al menos k " con cambios menores.kk


1
¿Pero qué pasa con una reducción de Turing?
Sasho Nikolov

RSx,kKOHALTRKOx,kKOSkRx,k

R

3
Algunos lugares afirman que la complejidad de Kolmogorov es equivalente al problema de Turing, por ejemplo, las notas de Miltersen daimi.au.dk/~bromille/DC05/Kolmogorov.pdf . Si eso es cierto, debe haber una reducción de Turing. Por cierto, una reducción de Turing de la complejidad de Kolmogorov al problema de detención es fácil y proporciona una prueba diferente de que la detención es indecidible.
Sasho Nikolov

HALTTKOHALTTKO
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.