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

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

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

За какое количество шагов классический компьютер вычислит значение предиката F(x)\double=\exists\, y\:\calA(x,y) (n - количество битов в записи y):

(Отметьте один правильный вариант ответа.)
Варианты ответа
2^{n-1}
\log n
2^n(Верный ответ)
Похожие вопросы
За какое время квантовый компьютер вычислит значение предиката F(x)\double=\exists\, y\:\calA(x,y) (N - количество шагов):
Последовательность перестановок U_1[A_1],\dots, U_l[A_l], где A_j - множества битов, U_j\in\calA, \calA - некоторое множество перестановок вида G\colon\cb^k \to \cb^k является:
Условием алгоритма проверки простоты числа n, определяющим что n - составное, где a - случайное среди чисел от 1 до n, l - нечетное, является:
Если Z - множество троек вида \langle\text{описание квантовой схемы } W\rangle, p_0, p_1) описанием схемы - приближенная реализация в стандартном базисе, а p_1-p_0=\Omega(n^{-\alpha}) (a>0, n - размер описания схемы). Тогда для z\in\Z F(z)=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 выполняются условия:
Под размером входа для предиката R(x,y) в записи L(x)=\exists\, y\:\big( (|y|<q(|x|))\:\wedge\: R(x,y)\big) понимают:
Если 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, то справедливым является равенство:
Записи пространства состояний системы из n q-битов \CC^{2^n} соответствует:
Количество состояний системы, где S - память, \callQ,\calA - соответственно множество состояний управляющего устройства и алфавит рассматриваемой машины Тьюринга, определяется по формуле:
Если имеется физически реализуемое преобразование T\colon\LL(\calN)\to\LL(\calM), причем для любого чистого состояния \rho выполняется свойство: Tr_{\calF}(T\rho)=\rho, то для любого оператора X справедливым является равенство (\gamma - некоторая фиксированная матрица плотности на пространстве \calF):