Ciência da Computação

Nas linguagens de programação, os fechamentos são um recurso popular e frequentemente desejado. A Wikipedia diz (ênfase minha): Na ciência da computação, um fechamento (...) é uma função juntamente com um ambiente de referência para as variáveis ​​não locais dessa função. Um fechamento permite que uma função acesse variáveis ​​fora …

18 programming-languages  semantics 

Das respostas para (Quando) a consulta de tabela de hash O (1)? , Concluí que as tabelas de hash têm pior comportamento, pelo menos amortizado, quando os dados satisfazem certas condições estatísticas e existem técnicas para ajudar a tornar essas condições amplas.O(1)O(1)O(1) No entanto, da perspectiva de um programador, não …

18 data-structures  runtime-analysis  hash-tables  dictionaries 

Vamos considerar um segmento de memória (cujo tamanho pode aumentar ou diminuir, como um arquivo, quando necessário) no qual você pode executar duas operações básicas de alocação de memória envolvendo blocos de tamanho fixo: alocação de um bloco liberando um bloco alocado anteriormente que não é mais usado. Além disso, …

18 time-complexity  memory-allocation  operating-systems 

O tipo de problemas com "presença na festa" pode ser solucionado no Prolog? Por exemplo: Burdock Muldoon e Carlotta Pinkstone disseram que viriam se Albus Dumbledore viesse. Albus Dumbledore e Daisy Dodderidge disseram que viriam se Carlotta Pinkstone viesse. Albus Dumbledore, Burdock Muldoon e Carlotta Pinkstone disseram que viriam se …

18 logic  constraint-programming  prolog  logic-programming 

Eu sei que os computadores quânticos são capazes de processar uma superposição de todos os estados possíveis com uma única passagem pela lógica. Parece ser o que as pessoas apontam como sendo o que torna os computadores quânticos especiais ou úteis. No entanto, após o processamento das entradas superposicionais, você …

18 computation-models  quantum-computing 

Especificamente: 1) Um cache mapeado diretamente com 4096 blocos / linhas em que cada bloco possui 8 palavras de 32 bits. Quantos bits são necessários para os campos de tag e índice, assumindo um endereço de 32 bits? 2) Mesma pergunta que 1) mas para cache totalmente associativo ? Corrija-me …

18 computer-architecture  cpu-cache 

Considere a recorrência T(n)=n−−√⋅T(n−−√)+cnT(n)=n⋅T(n)+cn\qquad\displaystyle T(n) = \sqrt{n} \cdot T\bigl(\sqrt{n}\bigr) + c\,n para n>2n>2n \gt 2 com alguma constante positiva ccc , e T(2)=1T(2)=1T(2) = 1 . Conheço o teorema do mestre para resolver recorrências, mas não tenho certeza de como poderíamos resolver essa relação usando-a. Como você aborda o parâmetro …

18 asymptotics  recurrence-relation  master-theorem 

Em muitas implementações da pesquisa de profundidade que eu vi (por exemplo: aqui ), o código distingue entre um vértice cinza (descoberto, mas nem todos os seus vizinhos foram visitados) e um vértice preto (descoberto e todos os seus vizinhos foram visitados) . Qual é o propósito dessa distinção? Parece …

18 algorithms  graphs  search-algorithms  graph-traversal 

Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 Texto original: Olhos misteriosos vistos perto do lago Codificado: 0000101100000110011100010101101101001111101011111100011001111110100100101 Por que não há necessidade de um separador na codificação Huffman?

17 coding-theory  encoding-scheme  huffman-coding 

Estou começando a ler um livro sobre Complexidade Computacional e Máquinas de Turing. Aqui está citação: Um algoritmo (ou seja, uma máquina) pode ser representado como uma sequência de bits, uma vez que decidimos alguma codificação canônica. Essa afirmação é fornecida como um fato simples, mas não consigo entender. Por …

17 algorithms  turing-machines  computability  computation-models 

Eu estava lendo sobre algoritmos de compactação de dados e o limite teórico para compactação de dados. Recentemente, encontrei um método de compressão chamado "Combinatorial Entropy Encoding", a idéia principal desse método é codificar o arquivo como os caracteres apresentados no arquivo, suas frequências e o índice de permutação de …

17 information-theory  data-compression 

A caixa preta de f(x)f(x)f(x) significa que posso avaliar o polinômio a qualquer momento.f(x)f(x)f(x) Entrada : Uma caixa preta do polinômio monônico de grau .df( x ) ∈ Z+[ x ]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Saída: Os coeficientes do polinômio .f ( x )dddf( X )f(x)f(x) Meu algoritmo: deixe f( x ) = …

17 algorithms  polynomials 

Como a ULA em um microprocessador diferenciaria um número assinado -7, indicado por 1111, e um número não assinado 15, também indicado por 1111?

17 arithmetic  binary 

Wikipedia: Na ciência teórica da computação, a correção de um algoritmo é afirmada quando se diz que o algoritmo está correto em relação a uma especificação. Mas o problema é que obter a especificação "apropriada" não é uma tarefa trivial, e não existe um método 100% correto (tanto quanto eu …

17 formal-methods  software-verification  program-correctness 

Por exemplo, quando consideramos um DFA que permite que as seqüências de caracteres não tenham sub-sequências 00ou 11eu possa produzir os dois DFAs a seguir:

17 automata  finite-automata