A complexidade do prefixo Kolmogorov (ou seja, é o tamanho do programa auto-delimitador mínimo que gera ) possui vários recursos interessantes:x
- Corresponde a uma intuição de fornecer a strings com padrões ou estrutura uma complexidade menor do que strings sem.
- Ela nos permite definir condicional complexidade , ou ainda melhor por algum oráculo .K ( x | O ) O
- É sub-aditivo .
No entanto, tem uma desvantagem terrível: retornar dado é indecidível.x
Eu me perguntei se existe uma variante da complexidade Kolmogorov usando um modelo restrito de computação (usando linguagens mais fracas que as TMs ou usando TM limitada com recursos) que preserva os recursos (1) e (2) (recurso ( 3) é um bônus, mas não uma obrigação) enquanto é computável com eficiência?
A motivação para esta pergunta é para uso em estudos de simulação de vários modelos de brinquedos da evolução. Portanto, é preferível uma resposta que tenha sido usada como uma "aproximação aproximada" da complexidade de Kolmogorov no trabalho numérico. No entanto, o objetivo não é ir completamente experimental, de modo relativamente simples linguagem de descrição / limpa / modelo-de-cálculo para é o preferido, para que ele possa ser possível provar alguns teoremas razoáveis sobre quão drasticamente difere de e sobre que tipo de strings.K ′ K
Relaciona perguntas
Complexidade de Kolmogorov com linguagens de descrição fracas
Existe uma noção sensata de um algoritmo de aproximação para um problema indecidível?