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

В 1937 году Тьюринг описал машину Тьюринга. С тех пор многие модели вычислений были описаны в попытке найти модель, которая похожа на настоящий компьютер, но все же достаточно проста для разработки и анализа алгоритмов. В результате мы имеем дюжину алгоритмов для, например, SORT-задачи для разных моделей вычислений. К сожалению, мы …

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

Пол Вегнер и Дина Голдин уже более десяти лет публикуют статьи и книги, утверждая, прежде всего, что тезис Черча-Тьюринга часто искажается в сообществе теории КС и в других местах. То есть он представлен как охватывающий все вычисления, когда на самом деле он применяется только к вычислению функций, которое является очень …

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

Этот вопрос похож на более общий вопрос о том, какова правильная теоретическая модель компьютера для разработки алгоритма и структур данных. Здесь я задаю конкретный вопрос о современных высокопроизводительных компьютерах (например, тех, которые перечислены в списке 500 лучших ) или даже о предстоящие суперкомпьютеры. Учитывая, что эти компьютеры обычно работают с …

20 reference-request  soft-question  machine-models 

Недавно я наткнулся на довольно интересную теоретическую конструкцию. Так называемая машина Гёделя Это общее решение проблем, способное к самооптимизации. Подходит для реактивных сред. Как я понимаю, он может быть реализован как программа для универсальной машины Тьюринга, хотя его требования выходят далеко за рамки имеющегося оборудования. Я не мог найти много …

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

В недавнем вопросе обсуждался теперь классический алгоритм динамического программирования для TSP, независимо от Беллмана и Хельда-Карпа . Алгоритм повсеместно сообщается работать в O(2nn2)O(2nn2)O(2^n n^2) времени. Однако, как недавно заметил один из моих учеников, это время выполнения может потребовать неоправданно мощной модели вычислений. Вот краткое описание алгоритма. Вход состоит из ориентированного …

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

Какой класс сложности связан с исчерпывающими алгоритмами поиска? (если есть) Это NP или PSPACE? Существуют ли ограниченные модели вычислений, охватывающие класс алгоритмов исчерпывающего поиска, аналогичных моделям для жадного и динамического программирования?

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

Насколько хорошо была исследована следующая проблема в TCS? (Я извиняюсь, если постановка проблемы звучит расплывчато!) При наличии модели вычислений MC (машина Тьюринга, сотовые автоматы, машина Колмогорова-Успенского ... и т. Д.) И модели шума, которая может повлиять на вычисление MC, существует ли способ восстановления после ошибок, вызванных этим шумом в эффективный …

14 machine-models 

Название немного вводит в заблуждение, но, надеюсь, вопрос не в следующем: Новый результат Грёнлунда и Петти, показывающий, что 3SUM имеет только сложность дерева решений, заставил меня задуматься:O(n3/2)O(n3/2)O(n^{3/2}) Есть ли простой пример проблемы со сложностью дерева решений но допускающей нижнюю границу (в более детальной модели) ?O(f)O(f)O(f)ω(f)ω(f)\omega(f) Другими словами, как результат на …

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 старшекурсник я посетил некоторые лекции, которые представили хорошую характеристику булевых схем с точки зрения, сколько у них вложенных циклов. По своей сложности булевы схемы часто считаются дагами, но в реальных аппаратных циклах это обычное явление. Теперь, по модулю некоторых технических моментов, касающихся того, что представляет …

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

Этот вопрос касается того, существуют ли какие-либо известные обратимые тарпиты Тьюринга, где «обратимый» означает в смысле Аксельсена и Глюка , а «тарпит» является гораздо более неформальным понятием (и, возможно, не очень удачным выбором слова), но я сделаю все возможное, чтобы объяснить, что я имею в виду под этим. Что я …

10 fl.formal-languages  computability  machine-models 

Есть ли структура / формализм, который определяет вычислительные модели, основанные на белках, отличных от модели ДНК Адлемана или этой работы Черри и Цянь ?

9 reference-request  machine-models 

Хорошо известными примерами вычислений, вдохновленных природными явлениями, являются квантовые компьютеры и компьютеры с ДНК. Что известно о потенциале и / или ограничениях вычислений по законам Максвелла или гравитации? То есть непосредственное включение природных «быстрых» решений уравнений Максвелла или задачи о n-теле в алгоритм общего назначения?

9 computability  machine-models  physics  natural-computing