Запитання з тегом «computation-models»

Визначення набору допустимих операцій, що використовуються для обчислення, та їх відповідних витрат. Деякі приклади моделей включають машини Тьюрінга, рекурсивні функції, обчислення лямбда та виробничі системи.

2
Чи можливе цілочисельне сортування в O (n) в трансдихотомічній моделі?
Наскільки мені відомо, не існує а O ( n )O(n)O(n) найгірший алгоритм, який вирішує наступну проблему: Дана послідовність довжини нnn складаючись з кінцевих цілих чисел, знайдіть перестановку, де кожен елемент менший або рівний його наступнику. Але чи є докази того, що його немає в трансдихотомічній моделі обчислення ? Зауважте, що …

2
Чи є чітке визначення поняття "обчислювальне" для моделей обчислень, які не закінчуються?
Це продовження іншого питання тут , і я сподіваюся, що воно не надто філософське. Як зазначав Рафаель у коментарі до мого попереднього запитання, я не дуже розумію поняття "обчислювальний", але згідно з деякими прочитаними статтями, це визначення також не зовсім зрозуміло, якщо мова йде про моделі обчислень, слабкіші за тюрінг …

2
Аналогові комп’ютери та дисертація Церкви Тьюрінга
Я хотів би процитувати з Nielsen & Chuang, Квантове обчислення та квантова інформація, 10-річчя видання, сторінка 5 (акцент мій): Один клас викликів сильній тезі Церкви – Тьюрінга походить з області аналогових обчислень. За роки з часу Тьюрінга багато різних дослідників помітили, що певні типи аналогових комп'ютерів можуть ефективно вирішувати проблеми, …

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