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

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

18 computation-models  quantum-computing 

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

17 algorithms  turing-machines  computability  computation-models 

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

17 computability  computation-models  turing-completeness 

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

17 computability  computation-models 

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

16 computability  turing-machines  undecidability  computation-models 

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

16 algorithms  quantum-computing  computation-models 

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

13 complexity-theory  reference-request  computation-models  history 

Я пытаюсь понять существование неузнаваемых языков. Чтобы понять это, мне нужно знать, почему машина Тьюринга распознает только один язык, а не несколько. Почему это?

13 turing-machines  computation-models 

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

12 computability  computation-models  turing-completeness  church-turing-thesis 

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

11 finite-automata  computation-models  linear-bounded-automata 

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

11 turing-machines  computation-models 

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

11 complexity-theory  efficiency  computation-models 

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

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

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

10 computability  computation-models 

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

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism