Квантові обчислення, обмежені часом, очевидно, дуже цікаві. А як щодо квантових обчислень, обмежених простором?
Я знаю багато цікавих результатів для квантових обчислень із сулогарифмічними межами простору та різного роду квантовими моделями автоматів.
З іншого боку, було показано, що ймовірнісний і квантовий простір без обмежених помилок є рівнозначним для будь-якого конструюваного простору (Watrous, 1999 та 2003 ).
Цікаво, чи існують якісь конкретні результати, що роблять цікавим квантовий простір ( виключаючи моделі сулогіаритмічного простору та автомати).
(Мені відомий цей запис: Квантові аналоги класів складності SPACE .)
1
Вибачте за незнання. Яке відношення між обмеженим простором квантовим обчисленням та моделлю квантових схем?
—
Алекс 'qubeat'
@ Alex'qubeat ': зручно використовувати машини Тьюрінга для обчислень, обмежених простором. Модель схеми підходить для обчислень, обмежених часом.
—
Abuzer Yakaryilmaz
Чому це зручніше? Це зручно в квантовому чи класичному випадку? З наївної точки зору це необмежений простір, зручніший для (класичних) машин Тьюрінга.
—
Алекс 'qubeat'
@ Alex'qubeat ': Це зручно і для класичних, і для квантових випадків. Я настійно рекомендую вам основоположний документ на цю тему Стіарнс, Хартманіс та Льюїс: "Ієрархії обчислень з обмеженою пам'яттю" ( computer.org/portal/web/csdl/doi/10.1109/FOCS.1965.11 ). Ви також можете перевірити як статті Watrous (згадані вище), так і нещодавні статті Melkebeek і Watson ( theoryofcomputing.org/articles/v008a001 ).
—
Abuzer Yakaryilmaz
Дякую, я це бачив, але є також робота з використанням квантових схем arxiv.org/abs/0908.1467, яка, принаймні, не страждає від необхідності керувати кількома різними визначеннями QTM.
—
Алекс 'qubeat'