Preguntas etiquetadas con computable-analysis

Fondo El cálculo sobre números reales es más complicado que el cálculo sobre números naturales, ya que los números reales son objetos infinitos y hay innumerables números reales, por lo tanto, los números reales no pueden representarse fielmente por cadenas finitas sobre un alfabeto finito. A diferencia de la computabilidad …

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

Esta puede ser una pregunta básica, pero he estado leyendo y tratando de entender documentos sobre temas como el cálculo de equilibrio de Nash y las pruebas de degeneración lineal y no he estado seguro de cómo se especifican los números reales como entrada. Por ejemplo, cuando se afirma que …

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

Actualmente, el cálculo de los reales en los idiomas más populares todavía se realiza a través de operaciones de coma flotante. Por otro lado, teorías como la efectividad de tipo dos (TTE) y la teoría de dominios han prometido durante mucho tiempo el cálculo exacto de los reales. Claramente, el …

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

¿Cuál es la complejidad (en la RAM entera estándar) de calcular la transformada discreta estándar de Fourier de un vector de enteros?nnn El algoritmo clásico para transformaciones rápidas de Fourier , atribuidas inapropiadamente [1] a Cooley y Tukey, generalmente se describe como funcionando en tiempo . Pero la mayoría de …

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

Solo quiero conocer algunos ejemplos de las funciones que pueden calcularse con el cálculo lambda sin tipo pero no con los cálculos lambda con tipo. Como soy un principiante, agradecería cierta reiteración de la información de fondo. Gracias. Editar: por cálculos lambda mecanografiados, tenía la intención de saber sobre el …

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

Como sabemos, la definición de la complejidad computacional del algoritmo es casi sin controversia, pero la definición de la complejidad computacional de los reales o los modelos de cálculo sobre los reales no es en tal caso. Conocemos el modelo y modelo de Blum y Smales en el libro Análisis …

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

Tengo una pregunta, cuya respuesta es probablemente conocida, pero parece que no puedo encontrar nada significativo después de un poco de búsqueda, por lo que agradecería un poco de ayuda. Mi pregunta es si se sabe que decidir si un número es trascendental es indecidible. Posiblemente, uno asume como entrada, …

9 computability  computable-analysis