Ciência da Computação

Se algo é simples, deve ser completamente explicável com algumas palavras. Isso pode ser feito para o cálculo λ: O cálculo λ é uma gramática sintática (basicamente uma estrutura) com uma regra de redução (o que significa que um procedimento de busca / substituição é aplicado repetidamente a todas as …

32 functional-programming  type-theory 

Estou estudando CPUs e sei como ele lê um programa da memória e executa suas instruções. Também entendo que um sistema operacional separa programas em processos e depois alterna entre eles tão rapidamente que você pensa que eles estão sendo executados ao mesmo tempo, mas, na verdade, cada programa é …

32 operating-systems 

Este programa de 579 bits no Cálculo lambda binário possui um status de parada desconhecido: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Ou seja, não se sabe se este programa termina ou não. Para determiná-lo, você deve resolver a conjectura de Collatz - ou, pelo menos, para todos os …

32 algorithms  computability  kolmogorov-complexity 

Estou procurando ajuda para entender o algoritmo de detecção de ciclo de Floyd. Passei pela explicação na wikipedia ( http://en.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare ) Eu posso ver como o algoritmo detecta o ciclo em O (n) tempo. No entanto, não consigo visualizar o fato de que, uma vez que os ponteiros da tartaruga …

32 algorithms  linked-lists 

Existe algum cálculo lambda digitado completo de Turing? Se sim, quais são alguns exemplos?

31 computability  lambda-calculus  type-theory 

Digamos que e são duas cadeias do mesmo comprimento. Uma anagrama de duas strings é um mapeamento bijetivo modo que para cada .b 1 b 2 … b n p : [ 1 … n ] → [ 1 … n ] a i = b p ( i ) …

31 algorithms  strings  search-algorithms  natural-language-processing 

Acabei de concluir o primeiro capítulo da Introdução à Teoria da Computação, de Michael Sipser que explica o básico dos autômatos finitos. Ele define uma linguagem regular como qualquer coisa que possa ser descrita por um autômato finito. Mas não consegui encontrar onde ele explica por que um idioma comum …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Estou aprendendo sobre árvores de raiz (tentativas compactadas) e tentativas de Patricia, mas estou encontrando informações conflitantes sobre se elas são realmente iguais ou não. Uma árvore de raiz pode ser obtida de uma tentativa normal (não compactada) mesclando nós com seus pais quando os nós são o único filho. …

31 data-structures  trees 

Estou tendo problemas para entender intuitivamente por que geralmente se acredita que o PSPACE seja diferente de EXPTIME. Se PSPACE é o conjunto de problemas solucionáveis ​​no polinômio espacial no tamanho de entrada , então como pode haver uma classe de problemas que experimentam uma maior explosão de tempo exponencial …

31 complexity-theory  complexity-classes  intuition 

Digamos que preciso simular a seguinte distribuição discreta: P(X=k)={12N,1−12N,if k=1if k=0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} A maneira mais óbvia é desenhar NNN bits aleatórios e verificar se todos são iguais a …

31 algorithms  information-theory  randomness  pseudo-random-generators  entropy 

Por que os computadores usam o sistema de números binários (0,1)? Por que eles não usam o sistema numérico ternário (0,1,2) ou qualquer outro sistema numérico?

31 computer-architecture  binary-arithmetic 

Gostaria de saber se existe um bom exemplo para um problema NP-Hard fácil de entender que não é NP-Complete e não é indecidível? Por exemplo, o problema de parada é NP-Hard, não NP-Complete, mas é indecidível. Acredito que isso significa que é um problema que uma solução pode ser verificada, …

31 complexity-theory  computability  np-hard 

Qual seria a maneira mais rápida de fazer isso (de uma perspectiva algorítmica, bem como de uma questão prática)? Eu estava pensando algo ao longo das seguintes linhas. Eu poderia adicionar no final de uma matriz e, em seguida, usar o bubblesort, pois ele tem um melhor caso (array totalmente …

31 algorithms  efficiency  arrays  sorting 

Portanto, o problema de decisão do TSP (problema do vendedor ambulante) é NP completo . Mas não entendo como posso verificar se uma determinada solução para o TSP é de fato ideal no tempo polinomial, já que não há como encontrar a solução ideal no tempo polinomial (o que ocorre …

31 complexity-theory  np-complete  traveling-salesman 

Por exemplo, se o computador 10111100armazenou em um byte específico de RAM, como o computador sabe interpretar esse byte como um número inteiro, caractere ASCII ou algo mais? Os dados de tipo são armazenados em um byte adjacente? (Eu não acho que seria esse o caso, pois isso resultaria no …

31 memory-hardware  memory-access  type-checking