Запитання з тегом «quantum-computing»

Це "історичне питання" більше, ніж це дослідницьке запитання, але чи було класичне відношення до пошуку порядку в алгоритмі Шор за факторизацією, спочатку виявленим Пітером Шор, чи це було відомо раніше? Чи є документ, який описує скорочення, яке достроковує Шорта, чи це просто так званий "народний результат"? Або це був просто …

79 quantum-computing  ho.history-overview  factoring 

У світлі оголошення про перший у світі програмований квантовий фотонний чіп , мені було цікаво, як виглядає програмне забезпечення для комп'ютера, який використовує квантове заплутування. Одна з перших програм, яку я коли-небудь писав, була щось подібне for i = 1 to 10 print i next i Чи може хтось навести …

76 quantum-computing 

У своєму знаменитому документі "Кон'югат кодування" (написаний близько 1970 р.) Стівен Віснер запропонував схему для квантових грошей, яку беззастережно неможливо підробити, припускаючи, що банк-емітент має доступ до гігантської таблиці випадкових чисел і що банкноти можуть бути принесені повернутися в банк для перевірки. У схемі Wiesner, кожна банкнота складається з класичних …

50 quantum-computing 

Здається зрозумілим, що на ряд підполів теоретичної інформатики значно вплинули результати теоретичної фізики. Два приклади цього є Квантове обчислення Результати статистичної механіки, що використовуються в аналізі складності / евристичних алгоритмах. Отже, моє запитання: чи є якісь основні сфери, які мені не вистачає? Моя мотивація дуже проста: я фізик-теоретик, який прийшов …

42 soft-question  quantum-computing  statistical-physics  physics 

Як любитель TCS, я читаю популярний, дуже вступний матеріал про квантові обчислення. Ось кілька елементарних бітів інформації, яких я дізнався до цих пір: Відомо, що квантові комп'ютери не вирішують задач, повних NP, у поліноміальний час. "Квантової магії буде недостатньо" (Bennett et al., 1997): якщо ви викинете структуру проблеми і просто …

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

Центральною проблемою теорії складності є, мабуть, проти .ППPNПNПNP Однак, оскільки природа є квантовою, здавалося б, більш природним вважати класи (тобто проблеми вирішення, які вирішуються квантовим комп'ютером у поліноміальний час, з ймовірністю помилок 1/3 для всіх випадків) та (квантовий еквівалент з ) замість цього.Б Q ПБQПBQPQ МАQМАQMANПNПNP Мої запитання: 1) Чи …

33 cc.complexity-theory  complexity-classes  quantum-computing 

Я періодично чув, як люди розмовляють про квантові алгоритми та про стани та здатність розглядати декілька можливостей одночасно, але мені ніколи не вдавалося змусити когось пояснити обчислювальну модель за цим. Щоб було зрозуміло, я не запитую про те, як фізично побудовані квантові комп'ютери, а про те, як розглянути їх з …

32 quantum-computing  big-picture 

Не здається, що це відомо - але чи є якісь цікаві нижчі межі щодо складності множення матриць у моделі квантових обчислень? Чи є у нас інтуїція, що ми можемо перемогти складність алгоритму Копперсміта-Винограда за допомогою квантових комп'ютерів?

30 reference-request  quantum-computing  matrix-product 

Класичні алгоритми можуть вирішувати 3-SAT за час (рандомізований) або час (детермінований). (Довідка: Кращі верхні межі на SAT )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Для порівняння, використовуючи алгоритм Гровера на квантовому комп'ютері, було б шукати та надавати рішення в , рандомізованому. (Це все ще може зажадати деяких знань про те, скільки рішень може бути, а може …

29 quantum-computing  sat  exp-time-algorithms 

Припустимо, що P = NP вірно. Чи було б тоді якесь практичне застосування для побудови квантового комп'ютера, такого як швидше вирішення певних проблем, чи будь-яке таке вдосконалення було б неактуальним, виходячи з того, що P = NP є правдою? Як би ви характеризували підвищення ефективності, який би стався, якби квантовий …

29 cc.complexity-theory  complexity-classes  quantum-computing 

У складності обчислень є важлива відмінність між монотонними та загальними обчисленнями, і відома теорема Різборова стверджує, що 3-SAT і навіть МАТЧИНГ не є поліномом у монотонній булевій схемі. Моє запитання просте: чи існує квантовий аналог для монотонних схем (або більше одного)? Чи існує квантова теорема Разборова?

27 cc.complexity-theory  quantum-computing  circuit-complexity 

Мене цікавлять приклади проблем, коли теорема, яка, здавалося б, не має нічого спільного з квантовою механікою / інформацією (наприклад, щось говорить про суто класичні об'єкти), все-таки можна довести за допомогою квантових інструментів. Дослідження Квантові докази класичних теорем (А. Друкер, Р. Вольф) дає хороший перелік таких проблем, але, безумовно, є ще …

27 quantum-computing  big-list  proofs 

У мене виникають невеликі проблеми з повним розумінням останніх кроків алгоритму факторизації Шор. З огляду на NNN ми хочемо поділити, виберемо випадковий xxx який має порядок rrr . Перший крок включає налаштування регістрів та застосування оператора Адамара. Другий крок застосовується лінійним оператором. Третій крок другого регістра вимірюється (я вважаю, що …

27 quantum-computing 

Пітер Шор показав, що дві найважливіші NP-проміжні проблеми, факторинг та проблема дискретного журналу, знаходяться в BQP. Навпаки, найвідоміший квантовий алгоритм для SAT (пошук Гровера) дає лише квадратичне вдосконалення порівняно з класичним алгоритмом, натякаючи на те, що проблеми, повні NP, все ще нерозв'язні на квантових комп'ютерах. Як зазначають Арора та Барак, …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

У моделі чорної скриньки задача визначення виходу машини BPP на вході x - це приблизна проблема підрахунку визначення E r M ( x , r ) з помилкою добавки 1/3 (скажімо) .M(x,r)M(x,r)M(x,r)xxxErM(x,r)ErM(x,r)E_r M(x,r) Чи є аналогічна проблема для BQP? Цей коментар Кена Регана говорить про таку проблему Ви можете звести …

27 cc.complexity-theory  quantum-computing  black-box