Вопросы с тегом «computable-analysis»

Задний план Вычисление по действительным числам более сложное, чем вычисление по натуральным числам, поскольку действительные числа являются бесконечными объектами и существует неисчислимо много реальных чисел, поэтому действительные числа не могут быть достоверно представлены конечными строками над конечным алфавитом. В отличие от классической вычислимости над конечными строками, где различные модели вычислений, …

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

Это может быть основной вопрос, но я читал и пытался понять статьи по таким темам, как вычисление равновесия по Нэшу и тестирование линейного вырождения, и не был уверен в том, как действительные числа указываются в качестве входных данных. Например, когда утверждается, что LDT имеет определенные полиномиальные нижние границы, как определяются …

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

В настоящее время вычисление действительных значений в большинстве популярных языков все еще выполняется с помощью операций с плавающей запятой. С другой стороны, теории, такие как эффективность второго типа (TTE) и теория предметной области, давно обещали точное вычисление действительных чисел. Очевидно, что проблема точности с плавающей запятой не уменьшилась в своей …

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

Какова сложность (в стандартном целочисленном ОЗУ) вычисления стандартного дискретного преобразования Фурье вектора из nNn целых чисел? Классический алгоритм для быстрых преобразований Фурье , неуместно [1] приписываемый Кули и Тьюки, обычно описывается как выполняющийся за O(nlogn)О(Nжурнал⁡N)O(n \log n) времени. Но большинство арифметических операций, выполняемых в этом алгоритме, начинаются с сложных nNn …

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

Я просто хочу знать некоторые примеры функций, которые могут быть вычислены нетипизированным лямбда-исчислением, но не типизированными лямбда-исчислениями. Поскольку я новичок, некоторые повторение справочной информации будет оценено. Благодарю. Редактировать: набрав лямбда-исчисление, я намеревался узнать о системе F и лямбда-исчислении простого типа. Под функцией я подразумеваю любую вычислимую по Тьюрингу функцию.

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

Как мы знаем, определение вычислительной сложности алгоритма практически не вызывает противоречий, но определение вычислительной сложности вещественных чисел или моделей вычислений над действительными значениями не в таком случае. Мы знаем модель и модель Блюма и Смалеса в книге «Вычислительный анализ». И, похоже, модель в Computable Analysis соответствует классической модели, но определение …

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

У меня есть вопрос, ответ на который, вероятно, хорошо известен, но я не могу найти ничего значащего после небольшого поиска, поэтому я был бы признателен за некоторую помощь. Мой вопрос заключается в том, известно ли, что решение о том, является ли число трансцендентным, неразрешимо. Возможно, предполагается, что в качестве входных …

9 computability  computable-analysis