Запитання з тегом «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)O(nlog⁡n)O(n \log n) час. Але більшість арифметичних операцій, виконаних у цьому алгоритмі, починаються зі складних nnn х …

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

Я просто хочу знати кілька прикладів функцій, які можна обчислити за допомогою нетипового обчислення лямбда, але не за допомогою введених лямбда-обчислень. Оскільки я початківець, вдячність буде певна. Дякую. Редагувати: набравши лямбда-калькуляції, я мав намір дізнатися про System F та просто набране лямбда-числення. Під функцією я маю на увазі будь-яку обчислювану …

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

Як відомо, визначення обчислювальної складності алгоритму майже не суперечить, але визначення обчислювальної складності реалів або обчислювальних моделей над реалами не в такому випадку. Ми знаємо модель і модель Блума і Смайла в книзі «Комп'ютерний аналіз». І, здавалося б, модель в обчислювальному аналізі відповідає класичній моделі, але визначення обчислювальної складності дійсних …

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

У мене є питання, відповідь якого, мабуть, добре відомий, але я, здається, не знайшов нічого змістовного після невеликого пошуку, тому я вдячний би за допомогу. Моє запитання - чи відомо, що вирішити, чи є число трансцендентальним, не можна визначити. Можливо, можна взяти за вхід, скажімо, програму, яка повертає i ^ …

9 computability  computable-analysis