Ciência da Computação

Eu tenho uma pequena questão histórica, a saber, como o título diz, estou procurando usos iniciais de árvores (como estrutura de dados, árvore de pesquisa, o que for) na ciência da computação.

18 data-structures  reference-request  trees  history 

Estou surpreso que as pessoas continuem adicionando novos tipos nas teorias de tipos, mas ninguém parece mencionar uma teoria mínima (ou não a consigo encontrar). Eu pensei que os matemáticos amam coisas mínimas, não amam? Se bem entendi, em uma teoria de tipos com impredicative Prop, a abstração λ e …

18 type-theory  dependent-types 

A questão subjacente: O que o cálculo lambda faz por nós que não podemos fazer com as propriedades básicas da função e notação geralmente aprendidas na álgebra do ensino médio? Antes de tudo, o que significa abstrato no contexto do cálculo lambda? Minha compreensão da palavra abstrato é algo que …

18 lambda-calculus  programming-paradigms 

A memória é usada para muitas coisas, como eu entendo. Ele serve como cache de disco e contém as instruções dos programas e sua pilha e pilha. Aqui está um experimento mental. Se alguém não se importa com a velocidade ou o tempo que leva para um computador fazer a …

18 computability  memory-management  memory-hardware 

O conjunto de Mandelbrot é uma bela criatura em matemática. Existem muitas imagens bonitas desse conjunto criadas com alta precisão, portanto, obviamente, esse conjunto é "computável" em algum sentido. No entanto, o que me preocupa é o fato de que nem sequer é recursivamente enumerável - simplesmente porque o conjunto …

18 computability 

Dizem que 'Eugene Goostman', um programa de computador desenvolvido para simular um garoto de 13 anos, conseguiu convencer 33% dos juízes de que era humano e, assim, passou no Teste de Turing. O programa de computador, também conhecido como chatbot, estava fingindo ser um garoto ucraniano de 13 anos para …

18 reference-request  artificial-intelligence  history  turing-test 

A Classificação Rápida Aleatória é uma extensão da Classificação Rápida, na qual o elemento dinâmico é escolhido aleatoriamente. Qual pode ser a pior complexidade de tempo desse caso? De acordo com mim, deve ser , como o pior caso ocorre quando o pivô escolhido aleatoriamente é selecionado na ordem classificada …

18 algorithm-analysis  runtime-analysis  sorting  quicksort 

Considere o seguinte programa de computador muito simples: for i = 1 to n: y[i] = x[p[i]] Aqui e y são n matrizes -element de bytes, e p é um n matriz -element de palavras. Aqui n é grande, por exemplo, n = 2 31 (para que apenas uma fração …

18 parallel-computing  cpu-cache  memory-hardware 

Ao pensar em um problema, percebi que precisava criar um algoritmo eficiente para resolver a seguinte tarefa: O problema: recebemos uma caixa quadrada bidimensional do lado nnn cujos lados são paralelos aos eixos. Podemos examiná-lo através do topo. No entanto, também existem mmm segmentos horizontais. Cada segmento tem um inteiro …

18 algorithms  data-structures  time-complexity  computational-geometry 

Problemas de corte são problemas em que um determinado objeto grande deve ser cortado em vários objetos pequenos. Por exemplo, imagine que você tem uma fábrica que trabalha com grandes folhas de vidro em bruto, de largura e comprimento . Existem vários compradores, cada um dos quais deseja um número …

18 reference-request  computational-geometry  lower-bounds  packing 

Se eu tiver um problema difícil, uma abordagem padrão é expressá-la como uma instância SAT e tentar executar um solucionador SAT nela. Outra abordagem padrão é expressá-lo como um problema de satisfação de restrições e tentar usar um solucionador de CSP. Os dois se sentem de alguma forma vagamente semelhantes …

18 heuristics  sat-solvers  constraint-programming 

Existe um algoritmo / procedimento sistemático para testar se uma linguagem é livre de contexto? Em outras palavras, dado um idioma especificado em forma algébrica (pense em algo como ), teste se o idioma é livre de contexto ou não . Imagine que estamos escrevendo um serviço da Web para …

18 algorithms  formal-languages  context-free  decision-problem 

Dado um dado tendencioso do lado , como um número aleatório no intervalo ser gerado uniformemente? A distribuição de probabilidade das faces do dado não é conhecida, tudo o que se sabe é que cada face tem uma probabilidade diferente de zero e que a distribuição de probabilidade é a …

18 probability-theory  randomized-algorithms  random-number-generator 

A definição primária de máquina de Turing (TM), pelo menos no meu próprio livro de referência (Hopcroft + Ullman 1979) é determinística. Portanto, meu próprio entendimento do problema da parada é principalmente para a MT determinística, embora eu saiba que pode ser considerado para outros tipos de autômatos. Também notei …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Estou interessado em uma pequena variante do ladrilho, o quebra-cabeça 'quebra-cabeças': cada borda de um ladrilho (quadrado) é rotulada com um símbolo de , e dois blocos podem ser colocados adjacentes um ao outro se o símbolo na aresta de um bloco for e o símbolo na aresta de outro …

18 complexity-theory  np-complete  tiling