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

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

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

Если h_1,\dots,h_l - независимые случайные равномерно распределенные элементы абелевой группы X, то вероятность, с которой они порождают всю группу X, определяется:

(Отметьте один правильный вариант ответа.)
Варианты ответа
\leq 1-\slashfrac{|X|}{2^l}
\geq 1-\slashfrac{|X|}{2^l}(Верный ответ)
\geq 1-\slashfrac{|X|}2
Похожие вопросы
Если получено l дробей вида k_1'/t_1',\,k_2'/t_2',\dots,k_l'/t_l' то вероятность того, что наименьшее общее кратное их знаменателей отлично от t (равномерно распределенное на множестве \{0,\dots,t-1\} случайное число):
Если имеется физически реализуемое преобразование T\colon\LL(\calN)\to\LL(\calM), причем для любого чистого состояния \rho выполняется свойство: Tr_{\calF}(T\rho)=\rho, то для любого оператора X справедливым является равенство (\gamma - некоторая фиксированная матрица плотности на пространстве \calF):
Чему равна вероятность того, что случайный сдвиг X не покрывает (не содержит) некоторый фиксированный элемент, где G - некоторая группа, а X - подмножество G:
Чем объясняется то, что вероятность события \Prob[G\setminus\big( \bigcup_i g_iX\big)\ne\emptyset] не больше |G|\left(1-|X|/|G|\right)^k, где G - некоторая группа, а X - подмножество G:
Если 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 выполняются условия:
Чему равна вероятность того, что что k случайных сдвигов не покрывают фиксированный элемент, где G - некоторая группа, а X - подмножество G:
Если 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 - некоторая логическая формула, выступает:
Если 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 выполняется:
Что из перечисленного является характерным для тензорного произведения двух пространств L и M, в которых фиксированы базисы \{e_1,\dots,e_l\} и \{f_1,\dots,f_l\}