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

У 1937 році Тьюрінг описав машину Тюрінга. З тих пір багато моделей обчислень були описані, намагаючись знайти модель, яка схожа на справжній комп'ютер, але все ще досить проста для розробки та аналізу алгоритмів. В результаті у нас є десяток алгоритмів для, наприклад, SORT-задачі для різних моделей обчислення. На жаль, ми …

41 ds.algorithms  reference-request  soft-question  machine-models 

Пол Вегнер та Діна Голдін вже більше десяти років публікують праці та книги, стверджуючи передусім про те, що теза Церкви Тьюрінга часто неправильно представлена ​​у спільноті «Теорія ЦС» та інших місцях. Тобто він представлений як охоплює всі обчислення, коли насправді він стосується лише обчислення функцій, що є дуже невеликим підмножиною …

38 computability  turing-machines  machine-models  church-turing-thesis 

Це питання схоже на більш загальне питання про те, яка правильна теоретична модель комп'ютера для проектування алгоритму та структури даних. Тут я запитую конкретно про сучасні високопродуктивні комп’ютери (наприклад, ті, що перераховані як Top 500 ) або навіть про майбутні суперкомп'ютери. Зважаючи на те, що ці комп'ютери, як правило, працюють …

20 reference-request  soft-question  machine-models 

Нещодавно я натрапив на досить цікавий теоретичний конструкт. Так звана машина Gödel Це загальне вирішення проблем, яке здатне до самооптимізації. Він підходить для реактивних середовищ. Як я розумію, вона може бути реалізована як програма для універсальної машини Тьюрінга, хоча її вимоги виходять далеко за межі апаратних засобів, які є в …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Нещодавнє запитання обговорювало класичний алгоритм динамічного програмування для TSP, незалежно від Bellman та Held-Karp . Алгоритм повсюдно повідомляється працювати в O(2nn2)O(2nn2)O(2^n n^2) часу. Однак, як нещодавно зазначив один з моїх учнів, цей час роботи може зажадати необґрунтовано потужної моделі обчислення. Ось короткий опис алгоритму. Вхід складається з спрямованого графіка G=(V,E)G=(V,E)G=(V,E) …

16 ds.algorithms  machine-models  computing-over-reals 

Який клас складності пов'язаний з вичерпними алгоритмами пошуку? (якщо є) Це NP чи PSPACE? Чи існують обмежені моделі обчислень, що фіксують клас вичерпних алгоритмів пошуку, схожих на моделі жадібного та динамічного програмування?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Наскільки добре було досліджено наступну проблему в TCS? (Прошу вибачення, якщо постановка проблеми звучить розпливчасто!) Враховуючи модель обчислювальної машини (машина Тюрінга, стільникові автомати, машина Колмогорова-Успенського ... та ін.) Та модель шуму, яка може вплинути на обчислення МС, чи існує спосіб відновлення помилок, викликаних цим шумом у ефективний спосіб? Наприклад, скажімо, …

14 machine-models 

Заголовок трохи вводить в оману: але сподіваємось, питання не в цьому: Grønlund і Pettie Новий результат , який показує , що 3SUM має тільки дерево рішень складності у мене цікаво:O(n3/2)O(n3/2)O(n^{3/2}) Чи є простий приклад проблеми зі складністю дерева рішень але це допускає нижню межу (у більш детальній моделі) ω ( …

13 cc.complexity-theory  machine-models  decision-trees 

Чи можливо побудувати єдину мету (не Тюрінг повну) механічну реалізацію, скажімо, Microsoft Word? Чи можливо реалізувати такі речі, як ітератори, функції першого порядку, всю гаму технік програмування? Чи можуть передачі та інші механічні деталі представляти структуру даних або навіть об’єкти програми? У певний момент це потребує побудови машини загального призначення, …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

Чи правильно називати структуру mapReduce тип об'ємної синхронної рамки паралельного програмування без локального збереження пам'яті в процесорах між синхронізаціями? Якщо ні, то яка паралельна програма програмування найбільш точно інкапсулює карту mapReduce?

11 dc.parallel-comp  machine-models 

У той час як EE undergrad, я відвідував деякі лекції, в яких було представлено приємну характеристику булевих схем з точки зору кількості вкладених циклів. За складністю булеві схеми часто розглядаються як даги, але в реальних апаратних циклах поширені. Тепер, з точки зору деяких технічних можливостей щодо того, що таке цикл, …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Це питання стосується того, чи існують відомі оборотні таріти Тюрінга, де "оборотна" означає в значенні Аксельсена та Глюка , а "tarpit" - набагато неформальне поняття (і може бути не дуже вдалим вибором слова), але я зроблю все можливе, щоб пояснити, що я маю на увазі під цим. Що я маю …

10 fl.formal-languages  computability  machine-models 

Чи є рамка / формалізм, яка визначає обчислювальні моделі на основі білків, відмінних від ДНК-моделі Адлемана, або цієї роботи Черрі та Ціану ?

9 reference-request  machine-models 

Добре відомими прикладами обчислень, натхнених природним явищем, є квантові комп'ютери та ДНК-комп’ютери. Що відомо про потенціал та / або обмеження обчислень із законами Максвелла чи гравітацією? Тобто, включити "швидкі" рішення природи в рівняння Максвелла або проблему n-тіла безпосередньо в алгоритм загального призначення?

9 computability  machine-models  physics  natural-computing