База ответов ИНТУИТ

Классические и квантовые вычисления

<<- Назад к вопросам

Какое условие должно выполняться, чтобы схема U=U_L\cdot\ldots\cdot U_2U_1 вычисляла F:

(Отметьте один правильный вариант ответа.)
Варианты ответа
для любого x \sum_{z}^{} \bigl| \langle F(x),z|\,U\,|x,0^{N-n}\rangle\bigr| \geq 1-\varepsilon
для любого x \sum_{z}^{} \bigl| \langle F(x),z|\,U\,|x,0^{N-n}\rangle\bigr|^2 \geq \varepsilon
для любого x \sum_{z}^{} \bigl| \langle F(x),z|\,U\,|x,0^{N-n}\rangle\bigr|^2 \geq 1-\varepsilon(Верный ответ)
Похожие вопросы
Чему равна суммарная длина (F(x),z) и (x,O^{N-n}) в формуле \sum_{z}^{} \bigl| \langle F(x),z|\,U\,|x,0^{N-n}\rangle\bigr|^2 \geq \varepsilon, которой должна удовлетворять квантовая схема U=U_L\cdot\ldots\cdot U_2U_1, вычисляющая F:
В формуле \sum_{z}^{} \bigl| \langle F(x),z|\,U\,|x,0^{N-n}\rangle\bigr|^2 \geq \varepsilon, которой должна удовлетворять квантовая схема U=U_L\cdot\ldots\cdot U_2U_1, вычисляющая F, значение \varepsilon:
Если установлена принадлежность предиката L к классу BPP, существуют полином q(\cdot) и предикат R(\cdot,\cdot)\in\P, то выражение L(x)=0 означает, что:
Для квантовой схемы \calA - последовательности U_l[A_l]\cdot\ldots\cdot U_1[A_1], A_j выступает в роли:
Какому размеру должны удовлетворять булевы схемы, вычисляющие F и F^{-1}, чтобы F реализовалась обратимой схемой размера O(L+n):
Какому условию должно удовлетворять произведение перестановок, определяющее перестановку W=U_l[A_l]\cdot\ldots\cdot U_1[A_1] в расширенном смысле:
Если Z - множество троек вида (\langle\text{описание k-локального гамильтониана } H\rangle, a, b), где k=O(1), 0\leq a<b, b-a=\Omega(n^{-\alpha}), (a>0), то для z\in Z выполняются условия:
Если F и F^{-1} вычислимы булевыми схемами размеров \leq L, то F реализуется обратимой схемой размера:
Если A_1, A_2 - неотрицательные операторы, \calL_1, \calL_2 - их нулевые подпространства, причем \calL_1\cap \calL_2=0, ненулевые собственные числа A_1 и A_2 не меньше v, где \vt=\vt(\calL_1,\calL_2) - угол между \calL_1 и \calL_2, то справедливым является равенство:
В качестве \mathsf{Q}_j в булевой формуле \mathsf{Q}_1\, y_1\dots\mathsf{Q}_n\, y_n F(y_1,\dots,y_n), задаваемой задачей TQBF, где y_i\in\cb,F - некоторая логическая формула, выступает: