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

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

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

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

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

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

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

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

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

3
Может ли какая-либо программа быть реализована механически?
Можно ли создать единственную (не полную по Тьюрингу) механическую реализацию, скажем, Microsoft Word? Можно ли реализовать такие вещи, как итераторы, функции первого порядка, весь спектр методов программирования? Могут ли шестерни и другие механические части представлять структуры данных или даже программные объекты? В какой-то момент это требует создания машины общего назначения, …

3
Является ли инфраструктура MapReduce типом BSP?
Правильно ли называть инфраструктуру mapReduce типом структуры объемного синхронного параллельного программирования без сохранения локальной памяти в процессорах между синхронизациями? Если нет, то какая модель параллельного программирования наиболее точно инкапсулирует каркас mapReduce?

1
Люди смотрят на циклическое гнездо в логических цепях?
В то время как EE старшекурсник я посетил некоторые лекции, которые представили хорошую характеристику булевых схем с точки зрения, сколько у них вложенных циклов. По своей сложности булевы схемы часто считаются дагами, но в реальных аппаратных циклах это обычное явление. Теперь, по модулю некоторых технических моментов, касающихся того, что представляет …

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


5
Естественное вычисление, основанное на фундаментальных силах
Хорошо известными примерами вычислений, вдохновленных природными явлениями, являются квантовые компьютеры и компьютеры с ДНК. Что известно о потенциале и / или ограничениях вычислений по законам Максвелла или гравитации? То есть непосредственное включение природных «быстрых» решений уравнений Максвелла или задачи о n-теле в алгоритм общего назначения?
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.