Вопросы с тегом «real-numbers»

Один студент недавно попросил меня проверить доказательство твердости NP для них. Они выполнили сокращение в соответствии с: Я уменьшаю эту проблему P′п'P' которая, как известно, является NP-полной, к моей проблеме (с многократным уменьшением многократного числа), поэтому является NP-трудной.PпPPпP Мой ответ был в основном: Поскольку у есть экземпляры со значениями из …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

В большинстве учебных пособий по лямбда-исчислению приводится пример, в котором положительные целые и логические значения могут быть представлены функциями. Как насчет -1 и я?

14 data-structures  lambda-calculus  integers  real-numbers 

Как можно решить, имеет ли некоторую последовательность цифр? ππ\piвдохновил меня на вопрос, можно ли вычислить следующую невинную версию: е( n ) = { 10если н¯ происходит в десятичном представлении πв противном случаеf(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the …

11 computability  real-numbers 

Текущая плавающая точка (ANSI C float, double) позволяет представить аппроксимацию действительного числа. Есть ли способ представить реальные цифры без ошибок ? Вот идея, которая у меня была, но она не идеальна. Например, 1/3 - это 0,33333333 ... (основание 10) или o.01010101 ... (основание 2), но также 0,1 (основание 3). Это …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

Является ли «теорема Райса для вычислимых вещественных чисел», то есть нет нетривиального нетривиального свойства числа, представленного данным вычислимым вещественным веществом, истинной? Соответствует ли это каким-то прямым образом связности истин?

10 computability  real-numbers  computable-analysis