Запитання з тегом «real-numbers»

Нещодавно студент попросив мене перевірити рівень твердості на них. Вони виконували скорочення за лініями: Я знижую цю проблему P′P′P' яка, як відомо, є NP-повною для моєї проблеми PPP (з багаторазовим скороченням багато-один), так щоPPP є NP-важким. Моя відповідь була в основному: Оскільки PPP має екземпляри зі значеннями від RR\mathbb{R} , …

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

Більшість навчальних посібників з обчислення лямбда надають приклад, коли позитивні цілі чи булеві символи можуть бути представлені функціями. Що про -1 і я?

14 data-structures  lambda-calculus  integers  real-numbers 

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

11 computability  real-numbers 

Струм з плаваючою комою (ANSI C з плаваючою точкою, подвійний) дозволяють уявити наближення дійсного числа. Чи є спосіб представити реальні числа без помилок ? Ось у мене виникла ідея, яка є все, але не ідеальною. Наприклад, 1/3 - це 0,33333333 ... (база 10) або o101010101 ... (база 2), але також …

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

Чи "теорема Райса для обчислюваних дійсних даних" - тобто жодна нетривіальна властивість числа, представленого заданим обчислювальним реальним, не може бути вирішена - правда? Чи відповідає це якимось прямим способом зв’язності дійсних дій?

10 computability  real-numbers  computable-analysis