лежить числа аніонів. Іншими словами, існує не одне, а багато станів, які можуть утворювати довільні квантові суперпозиції. На таку суперпозицію можна ніяк впливати, не переміщаючи аніони, тому вона ідеально захищена від збурень. Якщо обвести один аніон навколо іншого, суперпозиція піддасться певному унітарному перетворенню. Це перетворення є абсолютно точним. (Помилка може виникнути, тільки якщо аніон "вирветься у нас з рук" внаслідок квантового тунелювання). p> На перший погляд, проект з використанням аніонів виглядає найменш реалістично. Насамперед, абелеві аніони не годяться для квантових обчислень, а неабелева ще тільки належить знайти в експерименті. Для реалізації квантового комп'ютера потрібно контролювати кожну з частинок, які рухатимуться на відстанях порядку часткою мікрона один від одного. Це надзвичайно складна технічна задача. Однак, з урахуванням високих вимог до точності, здійснити будь-який з перерахованих вище підходів нітрохи не легше. Крім того, ідея топологічного квантового обчислення, що лежить в основі підходу з аніонами, може втілитися яким іншим способом. Наприклад, захищена від збурень квантова ступінь свободи може виникнути на кінці "квантової дроту" (одновимірного провідника з непарним числом поширюються електронних мод, що знаходиться в контакті з тривимірним сверхповодніком). p> Отже, ідея квантового комп'ютера виглядає настільки ж заманливо, наскільки нереалістично. Напевно, так само сприймався проект звичайного комп'ютера за часів Чарльза Беббіджа, винахід якого було реалізовано лише сто років по тому. Будемо сподіватися, що в наш час науково-технічний прогрес йде швидше, тому не доведеться чекати так довго. Можливо, достатньо однієї свіжої ідеї плюс кілька років на розробку нової технології
Розділ № 1. Алгоритм
Тема 1.1 Що таке алгоритм?
Неформально алгоритм - це однозначно певна сукупність інструкцій по перетворенню вихідних даних у результат, причому всі інструкції елементарні, тобто при їх виконанні "нам доведеться тільки механічно слідувати розпорядженням, як якщо б ми були роботами: від нас не буде потрібно ні розуміння, ні мистецтва, ні винахідливості" [5, с. 270] <# "10" src = "doc_zip184.jpg"/> результат,
Що таке "вхідні дані" і "результат"? Розглянемо, наприклад, задачу про примноження двох многочленів з цілими коефіцієнтами. Тоді вхідні дані - це пара многочленів. Проблема в тому, як записати ці многочлени, щоб їх можна було ввести в комп'ютер. Машини Тюрінга, які ми розглядаємо нижче, розуміють лише кінцеві послідовності символів (слова) з деякого кінцевого безлічі, званого зовнішнім алфавітом. Тому сувора формулювання обчислювальної задачі повинна включати в себе алфавіт і метод кодування вхідних даних. Наприклад, можна записати пару многочленів з використанням 10 цифр, символу змінної, знаків +, -, * і дужок: (x ** 2-5) (-4 * x +1). В іншій кодуванні коефіцієнти записують...
