Na página da Wikipedia para Combinadores de ponto fixo, está escrito o texto bastante misterioso O combinador Y é um exemplo do que torna o cálculo Lambda inconsistente. Portanto, deve ser encarado com desconfiança. No entanto, é seguro considerar o combinador Y quando definido apenas na lógica...
O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| +
Existe esse algoritmo padrão para encontrar o caminho mais longo em árvores não direcionadas usando duas pesquisas profundas: Inicie o DFS a partir de um vértice aleatório e encontre o vértice mais distante dele; diga que é .v ′vvvv′v′v' Agora inicie um DFS a partir de para encontrar o vértice...
Ao analisar a programação simultânea, dois termos são comumente usados, ou seja, simultâneo e paralelo. E algumas linguagens de programação reivindicam especificamente suporte para programação paralela, como Java . Isso significa que a programação paralela e simultânea são realmente...
Suponha que eu sou um programador e tenho um problema NP-completo que preciso resolver. Quais métodos estão disponíveis para lidar com problemas de NPC? Existe uma pesquisa ou algo semelhante sobre este
Tenho visto em todo estouro de pilha, por exemplo, aqui , aqui , aqui , aqui , aqui e alguns outros eu não me importo de mencionar, que "qualquer programa que usa recursão pode ser convertido em um programa usando apenas iteração". Havia até mesmo um altamente upvoted fio com um altamente upvoted...
Em nossa palestra sobre sistemas de computadores, fomos apresentados ao processador MIPS. Foi (re) desenvolvido ao longo do prazo e, de fato, foi bastante fácil de entender. Ele usa um design RISC , ou seja, seus comandos elementares são codificados regularmente e existem apenas alguns deles para...
Me deparei com um problema estranho ao escrever um intérprete que (deveria) ser vinculado a programas / funções externas: As funções em 'C' e 'C ++' não podem vincular funções variadas , por exemplo, eu não posso criar uma função que chame 'printf' com exatamente os mesmos argumentos que obteve e,...
Eu já mencionei que os sistemas do tipo dependente não são inferíveis, mas são verificáveis. Fiquei me perguntando se existe uma explicação simples de por que isso é assim e se existe ou não um limite de "dependência" onde os tipos podem ser indexados por valores, abaixo de qual inferência de tipo...
Estou tentando entender os algoritmos de Peterson e Dekker que são muito semelhantes e exibem muitas simetrias. Tentei formular os algoritmos em linguagem informal da seguinte maneira: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and...
Estou tentando escrever um corretor ortográfico que deve funcionar com um dicionário bastante grande. Eu realmente quero que uma maneira eficiente de indexar os dados do meu dicionário seja usada usando uma distância Damerau-Levenshtein para determinar quais palavras estão mais próximas da palavra...
Em esta resposta é mencionado Uma linguagem regular pode ser reconhecida por um autômato finito. Uma linguagem livre de contexto requer uma pilha e uma linguagem sensível ao contexto requer duas pilhas (o que equivale a dizer que requer uma máquina de Turing completa) . Eu queria saber sobre a...
Vamos assumir a seguinte definição de uma árvore vermelho-preta: É uma árvore de pesquisa binária. Cada nó é colorido em vermelho ou preto. A raiz é preta. Dois nós conectados por uma borda não podem ser vermelhos ao mesmo tempo. Aqui deve ser uma boa definição de uma folha NIL, como no wiki. A...
Sou nerd de computador há muitos e muitos anos. Eu posso programar em várias línguas e até construí-las. Outro dia, sentei-me com um amigo e perguntei como um computador realmente leva eletricidade e faz alguma coisa com ele, e simplesmente não conseguimos descobrir, e o Google também não ajudou...
Em "Big O", notações comuns têm nomes comuns (em vez de dizer "Oh, de algum fator constante"): O (1) é "Constante" O (log n) é "logarítmico" O (n) é "Linear" O (n ^ 2) é "Quadrático" O (n * log n) é ??? É apenas "n log n" ou tem um nome especial como o
Parece que neste site, as pessoas geralmente corrigem outras por "algoritmos" e "problemas" confusos. Qual é a diferença entre estes? Como sei quando devo considerar algoritmos e problemas? E como eles se relacionam com o conceito de linguagem na teoria formal da
Na teoria da computabilidade e da complexidade (e talvez em outros campos), as reduções são onipresentes. Existem muitos tipos, mas o princípio permanece o mesmo: mostre que um problema é pelo menos tão difícil quanto outro problema mapeando instâncias de para instâncias a solução em ....
Em algoritmos e complexidade, focamos na complexidade assintótica de algoritmos, ou seja, a quantidade de recursos que um algoritmo usa à medida que o tamanho da entrada chega ao infinito. Na prática, o que é necessário é um algoritmo que funcione rapidamente em um número finito (embora...
Eu estava tentando explicar a alguém que C é Turing completo e percebi que na verdade não sei se é tecnicamente Turing completo. (C como na semântica abstrata, não como em uma implementação real.) A resposta "óbvia" (grosso modo: ela pode endereçar uma quantidade arbitrária de memória, para emular...
Vou me envolver com uma espécie de 'dia aberto' na minha universidade em algumas semanas. Como parte desse período, eu (junto com um colega de trabalho) recebi um monte de estudantes do ensino médio por duas horas, além de um laboratório de informática grande o suficiente para conter todos eles, e...