Рассмотрим это определение вычислительной неразличимости.
Вычислительная неразличимость. Вероятностный ансамбль $X=\{X(a, n)\}_{a \in\{0,1\}^{*} ; п \in \mathbb{N}}$ представляет собой бесконечную последовательность случайных величин, проиндексированных $a \in\{0,1\}^{*}$ и $n \in \mathbb{N}$. В контексте безопасных вычислений значение $а$ будет представлять вклад сторон и $n$ будет представлять параметр безопасности. Два вероятностных ансамбля $X=\{X(a, n)\}_{a \in\{0,1\}^{*} ; п \in \mathbb{N}}$ и $Y=\{Y(a, n)\}_{a \in\{0,1\}^{*} ; п \in \mathbb{N}}$ считаются вычислительно неразличимыми, обозначаемыми $X \stackrel{c}{\equiv} Y$, если для каждого неравномерного полиномиального алгоритма $Д$ существует пренебрежимо малая функция $\му(\кдот)$ такой, что для каждого $a \in\{0,1\}^{*}$ и каждый $n \in \mathbb{N}$,
$$
|\operatorname{Pr}[D(X(a, n))=1]-\operatorname{Pr}[D(Y(a, n))=1]| \leq \mu(n)
$$
Насколько я понимаю $Д$ это алгоритм различения, например. противник в доказательствах безопасности. Экземпляр случайной величины $Х(а,п)$ считается алгоритмом шифрования. Однако, насколько я понимаю, только вывод алгоритма шифрования, например. зашифрованный текст передается $Д$. Людей с математическим образованием это немного сбивает с толку, потому что случайная величина — это функция. $X:Ω \rightarrow Î$ куда $Ω$ является Ï-алгеброй пространства событий и $Е$ является измеримым пространством.
Может ли кто-нибудь помочь мне уточнить обозначение и определение, которое используется?
Заранее спасибо.