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

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

3
Что конкретно делает квантовые компьютеры полезными?
Я знаю, что квантовые компьютеры способны обрабатывать суперпозицию всех возможных состояний за один проход через логику. Кажется, именно на это указывают люди, делающие квантовые компьютеры особенными или полезными. Однако после того, как вы обработали входные данные суперпозиции, вы получите суперпозиционный результат, из которого вы можете задать только один вопрос, и …

8
Почему мы можем предположить, что алгоритм может быть представлен как битовая строка?
Я начинаю читать книгу о вычислительной сложности и машинах Тьюринга. Вот цитата: Алгоритм (т. Е. Машина) может быть представлен в виде битовой строки, как только мы определимся с каноническим кодированием. Это утверждение представлено как простой факт, но я не могу его понять. Например, если у меня есть алгоритм, который принимает …

4
Что требуется для универсального аналогового вычисления?
Какие операции необходимо выполнить, чтобы выполнить произвольные аналоговые вычисления ? Достаточно ли будет сложение, вычитание, умножение и деление? Кроме того, кто-нибудь знает точно, какие проблемы можно решить с помощью аналоговых вычислений, но не с цифровыми?

5
Является ли взаимодействие более мощным, чем алгоритмы?
Я слышал, что девиз взаимодействия более мощный, чем алгоритмы от Питера Вегнера . Основа идеи заключается в том, что (классическая) машина Тьюринга не может обрабатывать взаимодействие, то есть взаимодействие (вход / выход) с внешним миром / средой. Как это может быть так? Как может быть что-то более мощное, чем машина …

1
Является ли неразрешимость проблемы N-тела эквивалентной проблеме останова
Не существует общего аналитического решения задачи о n-теле, которое может дать аналитическую функцию, которую можно использовать для определения состояния системы из n-тела в произвольный момент времени t с точной точностью. Однако существуют некоторые частные случаи систем с n телами, для которых известна аналитическая функция. Во многом таким же образом не …

1
Квантовые вычисления - связь между гамильтонианом и унитарной моделью
При разработке алгоритмов квантовых вычислений я заметил, что есть две основные модели, в которых это делается. Некоторые алгоритмы - например, для задачи с гамильтоновым деревом NAND (Фархи, Голдстоун, Гутман) - работают, создавая гамильтониан и некоторое начальное состояние, а затем позволяя системе развиваться в соответствии с уравнением Шредингера в течение некоторого …

1
Машины с произвольным доступом только с добавлением, умножением, равенством
В литературе достаточно ясно, что ОЗУ с удельной стоимостью с примитивным умножением являются необоснованными, поскольку они не может быть смоделировано машинами Тьюринга за полиномиальное время может решить PSPACE-полные задачи за полиномиальное время Тем не менее, все ссылки, которые я могу найти по этой теме (Simon 1974, Schonhage 1979), также включают …


3
Может ли каждый самоизменяющийся алгоритм моделироваться несамодифицирующимся алгоритмом?
Если у нас есть какая-либо произвольная компьютерная программа, которая может изменить ее инструкции, возможно ли смоделировать эту программу с помощью программы, которая не может изменить ее инструкции? Редактировать: Я новичок в stackexchange, поэтому не уверен, что мне разрешено задавать НОВЫЙ вопрос здесь, но здесь идет речь: Хорошо, поэтому доказательство того, …

2
Почему линейно ограниченные машины Тьюринга более мощные, чем конечные автоматы?
У меня сложилось впечатление, что наши компьютеры, будучи конечными, в конечном итоге не более мощные, чем (чрезвычайно большие) конечные автоматы. Тем не менее, линейно ограниченные машины Тьюринга также конечны, но кажется, что регулярные языки являются строго неподходящим подмножеством контекстно-зависимых языков. Очевидно, я что-то здесь упускаю. Что происходит?

4
Почему лента не является частью определения машины Тьюринга?
Я задавался вопросом, почему ленты / ленты не являются частью формального определения машины Тьюринга. Рассмотрим, например, формальное определение машины Тьюринга на странице Википедии . Определение, следующее за Хопкрофтом и Уллманом, включает в себя: конечный набор состояний , ленточный алфавит , пустой символ , начальное состояние , набор конечных состояний , …

3
Понятия эффективного вычисления
Алгоритм машины Тьюринга за полиномиальное время считается эффективным, если его время выполнения, в худшем случае, ограничено полиномиальной функцией входного размера. Мне известен сильный тезис Черча-Тьюринга: Любая разумная модель вычислений может быть эффективно смоделирована на машинах Тьюринга. Тем не менее, я не знаю основательной теории для анализа вычислительной сложности алгоритмов -calculus.λλ\lambda …

1
Анализ сложности алгоритма на реализациях функционального языка программирования
Сегодня я узнал, что алгоритм анализа отличается в зависимости от вычислительной модели. Это то, о чем я никогда не думал и не слышал. Пример, данный мне, который проиллюстрировал это далее, пользователем @chi был: Например, рассмотрим задачу: дано вернуть . В оперативной памяти это может быть решено в так как доступ …

3
Бесконечные вычисления за конечное время
Это, вероятно , глупая мысль, но предположим , что у нас есть компьютер , который запрограммирован для выполнения бесконечную последовательность расчетов и предположим , что расчет занимает 1 / 2 я секунд. Тогда этот компьютер может выполнять бесконечное количество вычислений за конечное время.ithithi^\text{th}1/2i1/2i1/2^i Почему это невозможно? Существует ли нижняя граница …

1
Отличается ли недетерминированность в недетерминированной машине Тьюринга от конечных автоматов и автоматов с опущением?
Пусть входная строка будет задана как . Затем, если NFA в настоящее время находится в состоянии (и прочитал входной алфавит ), то перед чтением следующего входного символа NFA разделяется на два NFA, один из которых находится в состоянии а другой - в , если происходит переход тип . Если существует …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.