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

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

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

Какому условию должно удовлетворять произведение перестановок, определяющее перестановку W=U_l[A_l]\cdot\ldots\cdot U_1[A_1] в расширенном смысле:

(Отметьте один правильный вариант ответа.)

Варианты ответа
W(x,0^{N-n})=\left(Ux,0^{N-n}\right)(Верный ответ)
W(x,0^{N-n})=\left(Ux,0^{n}\right)
W(x,0^{N-n})=\left(Ux,0^{N}\right)
Похожие вопросы
Чему равна суммарная длина (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:
Какое условие должно выполняться, чтобы схема U=U_L\cdot\ldots\cdot U_2U_1 вычисляла F:
Для квантовой схемы \calA - последовательности U_l[A_l]\cdot\ldots\cdot U_1[A_1], A_j выступает в роли:
Если установлена принадлежность предиката L к классу BPP, существуют полином q(\cdot) и предикат R(\cdot,\cdot)\in\P, то выражение L(x)=0 означает, что:
Какому условию должно удовлетворять p_1 в неравенстве F_n(x)=1 & \Longrightarrow & \exists\, \ket\xi\: \PP\Bigl(U_n\ket\xi\otimes\ket{x}\otimes\ket{0^{N_n-n-m_n}},\calM\Bigr) \geq p_1,\\ F_n(x)=0 & \Longrightarrow & \forall\, \ket\xi\: \PP\Bigl(U_n\ket\xi\otimes\ket{x}\otimes\ket{0^{N_n-n-m_n}},\calM\Bigr) \leq p_0, если F\in\BQNP
Какому условию должно удовлетворять \eps в неравенстве F_n(x)=1 & \Longrightarrow & \exists\, \ket\xi\: \PP\Bigl(U_n\ket\xi\otimes\ket{x}\otimes\ket{0^{N_n-n-m_n}},\calM\Bigr) \geq p_1,\\ F_n(x)=0 & \Longrightarrow & \forall\, \ket\xi\: \PP\Bigl(U_n\ket\xi\otimes\ket{x}\otimes\ket{0^{N_n-n-m_n}},\calM\Bigr) \leq p_0, если F\in\BQNP
Последовательность перестановок U_1[A_1],\dots, U_l[A_l], где A_j - множества битов, U_j\in\calA, \calA - некоторое множество перестановок вида G\colon\cb^k \to \cb^k является:
В формуле |\calA|^S\cdot|\calQ|\cdot S для нахождения количества состояний системы, \calQ - это:
Какому размеру должны удовлетворять булевы схемы, вычисляющие F и F^{-1}, чтобы F реализовалась обратимой схемой размера O(L+n):