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 em Análise Computável é consistente com o modelo clássico, mas a definição de complexidade computacional de reais não pode ser transplantada para o modelo clássico.
Como julgar a definição de complexidade computacional de reais é natural ou adequada?
E como transplantar a definição de complexidade computacional de reais para o modelo clássico?
cc.complexity-theory
reference-request
computability
computing-over-reals
computable-analysis
XL _At_Here_There
fonte
fonte
Respostas:
Não sei exatamente qual é a pergunta aqui, mas posso tentar dizer um pouco para limpar possíveis mal-entendidos.
Existem velhos teoremas (consulte a introdução deste artigo para referências) que explicam por que essas condições são as corretas. Esses teoremas também mostram que quaisquer duas representações de reais são computáveis isomórficas, ou seja, podemos traduzir entre elas com programas. Isso define alguns critérios de correção que descartam idéias defeituosas.
Por exemplo, ouço pessoas dizerem coisas como "números racionais podem ser representados por informações finitas, então vamos usá-los para números racionais, e os números irracionais terão que ser representados por informações infinitas". Esse tipo de coisa não funciona porque quebra a quarta condição acima (considere um limite de números irracionais - como você dirá que está convergindo para um racional?).
Outro exemplo que as condições acima eliminam é o modelo de Blum-Shub-Smale, porque nele você não pode calcular limites de sequências. É melhor dizer que o modelo BSS funciona em um subcampo ordenado discreto de reais (gerado por quaisquer parâmetros que estejam presentes), não nos reais.
Entre as representações corretas dos reais, algumas são mais eficientes que outras, embora este seja um tópico um pouco difícil de discutir, porque números reais são objetos infinitos. Matthias Schröder apontou que, para uma teoria razoável da complexidade, é preciso prestar atenção às propriedades topológicas da representação.
Por fim, como devemos medir a complexidade de um mapa , assumindo que temos uma boa representação de ? Como é representado por uma função, ou um fluxo infinito de informações, ou algo assim, devemos usar uma das noções de complexidade do tipo superior . Qual deles provavelmente depende da representação que você está usando.R x ∈ Rf:R→R R x∈R
O modelo BSS também é um modelo razoável de complexidade de circuitos no qual contamos operações aritméticas. É bom lembrar que esse modelo não é sobre números reais, mas sobre outra coisa.
fonte
Outro modelo possível de explorar é o modelo de RAM viável. Este é um modelo de RAM real modificado para computação Real, RAM viável ou um modelo de RAM modificado que usa operações aritméticas discretas e com valores reais. Esse modelo permite operações reais e discretas, e o modelo de Turing é intercambiável com ele. O modelo de RAM viável possui precisão definida com incerteza, o que significa que permite comparações de números reais apenas até uma incerteza variável 1 / (k + 1). Isso permite cálculos aproximados. Além disso, como Vasco Brattkaa e Peter Hertlingb afirmam em Máquinas de acesso aleatório real viáveis - os modelos de Turing e de RAMs reais viáveis estão relacionados. Todas as funções computáveis em uma máquina de Turing no tempo O ( t ) O ( t ) O ( t ) O ( t 2 l o g ( t ) l o g ( l o g ( t ) ) )<k O(t) são computáveis em uma RAM no tempo e, no caso inverso, há alguma sobrecarga para a máquina de Turing que calcula a função (se a RAM real calcula a função em a TM calcula a função em . Como as considerações topológicas apontadas são úteis, não se sabe se existe algum contexto topológico desenvolvido para esse modelo de computação que permita computações reais - que tem incerteza em precisão.O(t) O(t) O(t2log(t)log(log(t)))
fonte