Perguntas com a marcação «encoding»

Estou procurando uma referência para o seguinte resultado: Adicionar dois números inteiros na representação fatorada é tão difícil quanto fatorar dois números inteiros na representação binária usual. (Tenho certeza de que está lá fora, porque isso é algo que eu já tinha pensado em algum momento e fiquei emocionado quando …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

O popular algoritmo DEFLATE usa a codificação Huffman em cima do Lempel-Ziv. Em geral, se tivermos uma fonte aleatória de dados (= entropia de 1 bit / bit), nenhuma codificação, incluindo Huffman, provavelmente a compactará em média. Se Lempel-Ziv fosse "perfeito" (que se aproxima da maioria das classes de fontes, …

13 ds.algorithms  it.information-theory  coding-theory  encoding 

É fácil ver que para qualquer existe um mapeamento 1-1 F de {0,1} n a {0,1} n + O ( log n ), de modo que, para qualquer x, o vetor F ( x ) é " equilibrado ", ou seja, possui número igual de 1s e 0s. É possível …

10 ds.algorithms  ds.data-structures  encoding 

Vamos ser um alfabeto, ou seja, um não-vazio finito set. Uma string é qualquer sequência finita de elementos (caracteres) de Σ . Como exemplo, { 0 , 1 } é o alfabeto binário e 0110 é uma sequência para esse alfabeto.ΣΣ\SigmaΣΣ\Sigma{0,1}{0,1} \{0, 1\}011001100110 Normalmente, contanto que contenha mais de 1 …

9 big-list  encoding  examples 

No artigo Discriminando termos lambda codificados - Henk Barendregt, um codificador de um termo lambda M é um termo tal que M (e suas partes) podem ser reconstruídas a partir dele de maneira definível por lambda. Essencialmente, precisamos ser capazes de escrever um auto-intérprete \ mathsf E :┌M┐⌜M⌝\ulcorner M \urcornerMMMMMMEE\mathsf …

8 lambda-calculus  encoding