Запитання з тегом «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 (Farhi, Goldstone, Guttman), працюють, розробляючи гамільтонівський і деякий початковий стан, а потім дозволяють системі розвиватися відповідно до рівняння Шредінгера протягом певного часу перш ніж проводити вимірювання.ттt …

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 

Алгоритм машини Тюрінга полінома в часі вважається ефективним, якщо його час роботи, в гіршому випадку, обмежений функцією полінома у вхідному розмірі. Мені відомо про сильну тезу Церкви-Тьюрінга: Будь-яка розумна модель обчислення може бути ефективно змодельована на машинах Тьюрінга Однак мені не відома тверда теорія аналізу обчислювальної складності алгоритмів -cculus.λλ\lambda Чи …

11 complexity-theory  efficiency  computation-models 

Я сьогодні дізнався, що алгоритм аналізу відрізняється на основі обчислювальної моделі. Це те, про що я ніколи не думав і не чув. Приклад, поданий мені, що ілюстрував це далі, користувачем @chi : Наприклад, розгляньте завдання: задане повернення x i . У оперативній пам'яті це можна вирішити в O ( 1 …

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

Це, ймовірно , дурна думка, але припустимо , що у нас є комп'ютер , який запрограмований для виконання нескінченну послідовність розрахунків і припустимо , що розрахунок займає 1 / 2 я секунд. Тоді цей комп’ютер може виконати нескінченну кількість обчислень за обмежений час.iгоiгоi^\text{th}1 / 2i1/2i1/2^i Чому це неможливо? Чи є …

10 computability  computation-models 

Нехай рядок введення задається як . Тоді якщо NFA в даний час знаходиться в стані (і прочитав вхідний алфавіт w_i ), то перед читанням наступного символу введення NFA розбивається на два NFA, один перебуває в стані r, а інший знаходиться в s , якщо є перехід тип r \ xrightarrow …

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