Вопросы с тегом «computation-models»

Определение набора допустимых операций, используемых для расчета, и их соответствующих затрат. Некоторые примеры моделей включают машины Тьюринга, рекурсивные функции, лямбда-исчисление и производственные системы.

2
Возможна ли целочисленная сортировка в O (n) в трансдихотомной модели?
Насколько мне известно, не существует алгоритма наихудшего случая, который решает следующую проблему:O ( n )O(n)O(n) Для заданной последовательности длины состоящей из конечных целых чисел, найдите перестановку, где каждый элемент меньше или равен своему преемнику.Nnn Но есть ли доказательство того, что его нет в трансдихотомической модели вычислений ? Обратите внимание, что …

2
Существует ли четкое определение «вычислимого» для моделей вычислений, которые не являются полностью точными?
Это продолжение другого вопроса здесь , и я надеюсь, что он не слишком философский. Как отметил Рафаэль в комментарии к моему предыдущему вопросу, на самом деле я не получил определения «вычислимый», но согласно некоторым прочитанным мною работам определение также не совсем понятно, когда речь идет о моделях вычислений, более слабых, …

2
Аналоговые компьютеры и тезис Черча-Тьюринга
Я хотел бы привести цитату из Nielsen & Chuang, Quantum Computing and Quantum Information, издание, посвященное 10-й годовщине, стр. 5 (выделено мной): Один класс вызовов для сильного тезиса Черча-Тьюринга исходит из области аналоговых вычислений. За годы, прошедшие после Тьюринга, многие команды исследователей заметили, что некоторые типы аналоговых компьютеров могут эффективно …

6
Предполагают ли машины Тьюринга что-то бесконечное в какой-то момент?
В предыдущем вопросе Что такое алгоритм? Я спросил, является ли алгоритм алгоритмом, который возвращает значение функции, основанной на массиве предварительно вычисленных значений. Один из ответов, который привлек мое внимание, был таким: Факторный пример попадает в другую модель вычисления, называемую неравномерным вычислением. Машина Тьюринга является примером унифицированной модели вычислений: она имеет …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.