Perguntas com a marcação «kolmogorov-complexity»

Vamos fixar uma codificação sem prefixo de máquinas de Turing e uma máquina de Turing universal que na entrada (codificada como o código sem prefixo de seguido de ) produza o que produz na entrada (possivelmente ambos correndo para sempre). Defina a complexidade de Kolmogorov de , , como a …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

A complexidade do prefixo Kolmogorov (ou seja, é o tamanho do programa auto-delimitador mínimo que gera ) possui vários recursos interessantes:xK( X )K(x)K(x)xxx 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 …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

Considere o seguinte raciocínio: Seja denotado a complexidade de Kolmogorov da cadeia . O teorema da incompletude de Chaitin diz queK( X )K(x)K(x)xxx para qualquer sistema formal consistente e suficientemente forte , existe uma constante (dependendo apenas do sistema formal e sua linguagem) de tal forma que para quaisquer cordas …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

Digamos que temos um problema computacional, por exemplo, 3-SAT, que tem um conjunto de instâncias de problemas (possíveis entradas) . Normalmente, na análise de algoritmos ou teoria da complexidade computacional, temos alguns conjuntos de todas as entradas de comprimento e uma função que fornece o tempo de execução de algum …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

Muitos teoremas e "paradoxos" - diagonalização de Cantor, indecidibilidade de hatling, indeciabilidade da complexidade de Kolmogorov, incompletude de Gödel, incompletude de Chaitin, incompletude de Chaitin, paradoxo de Russell etc. - todos têm essencialmente a mesma prova de diagonalização (observe que isso é mais específico do que pode ser). tudo isso …

17 lo.logic  computability  ct.category-theory  kolmogorov-complexity 

Seja K(x)K(x)K(x) denotado a complexidade Kolmogorov de uma string . Existe uma cadeia de caracteres tal que . (Aqui é a concatenação de consigo). Uma pergunta semelhante, mas diferente, foi feita aqui , mas o contra-exemplo dado na resposta a essa pergunta não funciona para essa.xxxK(xx)&lt;K(x)K(xx)&lt;K(x)K(xx)<K(x)xxxxxxxxx

16 cc.complexity-theory  kolmogorov-complexity 

O teorema da incompletude de Chaitin diz que nenhuma teoria aritmética suficientemente forte pode provar onde é a complexidade Kolmogorov da corda e é uma constante suficientemente grande. é suficientemente grande se for maior que o tamanho em bits de uma máquina de verificação de provas (PCM). A PCM para …

14 lo.logic  kolmogorov-complexity 

Normalmente, a entropia de Shannon é usada para provar os resultados da codificação de canal. Mesmo para os resultados da separação do canal de origem, é usada a entropia de Shannon. Dada a equivalência entre as noções de informação de Shannon (global) e Kolmogorov (local), houve um estudo para utilizar …

12 it.information-theory  kolmogorov-complexity  shannon-entropy 

Podemos pensar na complexidade de Kolmogorov de uma string como o comprimento do programa mais curto P e inserir y de modo que x = P ( y ) . Normalmente, esses programas são extraídos de um conjunto completo de Turing (como P pode ser a descrição de uma máquina …

12 reference-request  computability  kolmogorov-complexity 

A motivação para esta pergunta é o fato de que a maioria das strings de n bits é incompressível. Intuitivamente, podemos propor, por analogia, que a maioria das provas de Tautologias seja incompressível para o tamanho polinomial. Basicamente, minha intuição é que algumas provas são inerentemente aleatórias e não podem …

11 lower-bounds  proof-complexity  kolmogorov-complexity 

Para responder "que problemas podem ser resolvidos pela computação", desenvolvemos a teoria da computabilidade. Para os problemas computáveis, existe uma teoria para responder à pergunta "o programa é o mais simples?"? Não acho que a complexidade computacional responda à pergunta. Eu acho que considera quanto tempo precisamos (embora medidos abstratamente). …

10 big-picture  kolmogorov-complexity 

Geradores invulneráveis ​​são definidos da seguinte maneira: Seja uma relação NP e seja uma máquina que aceite . Informalmente, um programa é um gerador invulnerável se, na entrada , produz pares de testemunhas de instância , com , de acordo com uma distribuição sob a qual qualquer adversário em tempo …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Estou procurando uma prova de que a complexidade de Kolmogorov é incontestável usando uma redução de outro problema incontestável. A prova comum é uma formalização do paradoxo de Berry, e não uma redução, mas deve haver uma prova reduzindo algo como o Problema da Parada ou o Problema da Correspondência …

9 computability  reductions  kolmogorov-complexity 

Vamos fixar uma codificação de máquinas de Turing e uma máquina de Turing universal, U, que na entrada (T, x) produz qualquer saída de T na entrada x (possivelmente ambas funcionando para sempre). Defina a complexidade de Kolmogorov de x, K (x), como a duração do programa mais curto, p, …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

A complexidade de Kolmogorov de uma string não é computável. No entanto, em um subconjunto aleatório do tamanho de cadeias binárias de comprimento , quantas são esperadas para ter complexidade menor que algum número inteiro menor que (como uma função de M , n e n_ {0} )?nMMMnnnn0n0n_{0}nnnMMMnnnn0n0n_{0}

9 cc.complexity-theory  kolmogorov-complexity