Preguntas etiquetadas con computing-over-reals

40
¿Cuáles son las razones por las que los investigadores en geometría computacional prefieren el modelo BSS / RAM real?

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...

18
¿Es posible probar si un número computable es racional o entero?

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...

13
NP completitud sobre reales

Estoy estudiando el modelo de computación BSS recientemente (véase, por ejemplo, Complejidad y Computación Real; Blum, Cucker, Shub, Smale). Para los reales , se muestra que, dado un sistema de polinomios , la existencia de ceros es NP_R -completa. Sin embargo, me pregunto si esas f son polinomios...