Este programa de 579 bits no Cálculo lambda binário possui um status de parada
Este programa de 579 bits no Cálculo lambda binário possui um status de parada
Estudei algo sobre a Complexidade Kolmogorov , li alguns artigos e livros de Vitanyi e Li e usei o conceito de Distância de compressão normalizada para verificar a estilometria dos autores (identifique como cada autor escreve alguns textos e agrupa documentos por sua semelhança). Nesse caso, os...
Existem muitas maneiras de definir a Complexidade Kolmogorov e , geralmente, todas essas definições são equivalentes a uma constante aditiva. Isto é, se e são Kolmogorov funções de complexidade (definida através de diferentes línguas ou modelos), então existe uma constante tal que, para cada corda...
De acordo com a Wikipedia : Informalmente, do ponto de vista da teoria algorítmica da informação, o conteúdo da informação de uma string é equivalente ao comprimento da menor representação possível possível dessa string. Qual é a definição rigorosa informal análoga de "informação útil"? Por...
Eu estava lendo a entrada da Wikipedia sobre Complexidade Kolmogorov ( graças a esta pergunta ), que afirma: Pode-se mostrar que a complexidade Kolmogorov de qualquer string não pode ser mais do que alguns bytes maior que o comprimento da própria string. Por que você precisaria de algo além da...
Estou ciente de que alguns ints têm maior ou menor complexidade de Kolmogorov. Por exemplo, o número 5.41126806512tem uma complexidade muito baixa, como pode ser expresso por 17/pi. Também estou ciente de que, embora o KC varie dependendo da linguagem da expressão, é sempre o mesmo até uma...
Diz-se que o Método da Incompressibilidade simplifica a análise de algoritmos para o caso médio. Pelo que entendi, isso ocorre porque não há necessidade de calcular todas as combinações possíveis de entrada para esse algoritmo e derivar uma complexidade média. Em vez disso, uma única string...
Na aula, nosso professor nos mostrou três métodos para provar a não regularidade: Teorema de Myhill – Nerode Lemma de bombeamento para idiomas regulares Prova de não regularidade, com base na complexidade de Kolmogorov Agora, os dois primeiros, teorema de Myhill-Nerode e lema de Pumping, eu...
E se K( S )K(s)K(s)é a complexidade Kolmogorov da cadeias ∈ { 0 , 1}∗s∈{0,1}∗s \in \{0,1\}^*, Podemos provar (ou refutar) a seguinte declaração: "Toda stringsssé um prefixo de uma string incompressível; ou seja, para cada cordasss existe uma string rrr de tal modo que K( s r ) ≥ | s r...
FUNDO: Recentemente, tentei resolver um problema difícil que obtém como entrada uma matriz de números. Para , a única solução que encontrei foi ter um tratamento diferente para cada uma das ordenações dos 3 números. Ou seja, existe uma solução para o caso , outra solução para , etc. (o caso pode...