Perguntas com a marcação «computable-analysis»

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 contrário da computabilidade clássica sobre cadeias …

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

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 …

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

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 …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

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 . Mas a maioria …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis 

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 Sistema F e o cálculo lambda …

12 pl.programming-languages  type-theory  lambda-calculus  computable-analysis 

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, aparentemente, o modelo …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

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 como entrada, digamos, um programa que retorne …

9 computability  computable-analysis