fundo A computação sobre números reais é mais complicada do que a computação sobre números naturais, já que números reais são objetos infinitos e existem incontáveis números reais; portanto, números reais não podem ser representados fielmente por seqüências finitas sobre um alfabeto finito. Ao...
Essa pode ser uma pergunta básica, mas eu tenho lido e tentado entender artigos sobre assuntos como computação de equilíbrio de Nash e teste de degeneração linear e não tenho certeza de como os números reais são especificados como entrada. Por exemplo, quando se afirma que o LDT possui certos...
Atualmente, o cálculo de reais nas línguas mais populares ainda é feito através de operações de ponto flutuante. Por outro lado, teorias como a efetividade do tipo dois (ETT) e a teoria do domínio há muito prometem o cálculo exato dos reais. Claramente, o problema da precisão do ponto flutuante não...
Qual é a complexidade (na RAM inteira padrão) de calcular a transformada discreta padrão de Fourier de um vetor de números inteiros?nnn O algoritmo clássico para transformações rápidas de Fourier , atribuídas inadequadamente [1] a Cooley e Tukey, é geralmente descrito como sendo executado em tempo...
Eu só quero conhecer alguns exemplos das funções que podem ser calculadas pelo cálculo lambda não digitado, mas não pelo cálculo lambda digitado. Como eu sou iniciante, alguma reiteração de informações básicas seria apreciada. Obrigado. Edit: pelo cálculo lambda digitado, eu pretendia conhecer o...
Como sabemos, a definição de complexidade computacional do algoritmo é quase sem controvérsia, mas a definição de complexidade computacional de reais ou os modelos de computação sobre reais não é nesse caso. Conhecemos o modelo e o modelo de Blum e Smales no livro Análise Computável. E,...
Tenho uma pergunta, cuja resposta provavelmente é bem conhecida, mas não consigo encontrar nada significativo depois de algumas pesquisas, por isso gostaria de receber alguma ajuda. Minha pergunta é se é sabido que decidir se um número é transcendental é indecidível. Possivelmente, assume-se...