Рейтинг:1

Что означает синтаксис Pr[D = 1]?

флаг fr

Я смотрю на этот PDF-файл, чтобы понять гибридный аргумент: http://www.cs.columbia.edu/~tal/4261/F14/hybrid.pdf

Первые несколько строк выглядят следующим образом:

Предположим, у вас есть два оракула или входные распределения, $O_0,O_1$, и вы хотите доказать, что они неразличимы, то есть для каждого вероятностного полиномиального времени (PPT) различителя, Д, должно выполняться следующее: $$ |Pr[D^{O_1} = 1] - Pr[D^{O_0} = 1]| = негл. $$

я пытаюсь понять что $Pr[D^{O_1} = 1]$ средства. Вероятность того, что различитель правильный?

Рейтинг:2
флаг sa

$Pr[D^{O_i} = 1]$ вероятность того, что распознаватель выдаст 1 данный настоящий оракул $O_i.$

флаг us
Я не думаю, что правильно говорить, что «различитель выводит 1» означает «отличитель правильный». Я думаю, что «правильный» вывод различителя меняется при изменении оракула, но мы сравниваем вероятность «выхода 1» при наличии двух разных оракулов.
Foobar avatar
флаг fr
@Mikero, так что, если я правильно понимаю, если различитель выводит 1, он думает, что оракул - это O1, а если он выводит 0, он думает, что оракул - это O0. И утверждение таково: различитель должен с одинаковой вероятностью выводить 1 независимо от того, является ли фактический оракул O1 или O1.
Рейтинг:1
флаг es

$\newcommand{\pr}{\mathbf{Pr}}$ Другая возможная интуитивная интерпретация: это означает, что поведение из $Д$ не меняется в восприятии. Предполагать $Д$ выводит 0 или 1. Тогда выходное поведение $Д$ можно обобщить распределением вероятностей $Д$, и это можно записать в виде вектора $(\pr[D=0], \pr[D=1])$.

Рассмотрим расстояние L1 между векторами распределения относительно оракулов $O_0, O_1$: $$|\pr[D^{O_1}=0]-\pr[D^{O_0}=0]|+|\pr[D^{O_1}=1]-\pr[D^{O_0}= 1]|.$$

С $\pr[D^{O_1}=0]=1-\pr[D^{O_1}=1]$ и $\pr[D^{O_0}=0]=1-\pr[D^{O_0}=1]$, подставив их в расстояние L1, получим $$2|\pr[D^{O_1}=1]-\pr[D^{O_0}=1]|.$$

Таким образом, заданное условие состоит в том, что выходное распределение вероятностей не сильно меняется при замене $O_0$ и $O_1$.

В этом есть смысл: уметь различать две ситуации — значит уметь по-разному действовать в зависимости от данной ситуации. Если чье-то поведение никогда не меняется (и не может измениться), даже если вы переключаете одно на другое, это означает, что он/она не распознает этот переход.

Что, если $Д$ выводит не только немного, но и нечто большее? Сказать, $Д$ мог вывести число. Даже в том случае, если $Д$ ведет себя по-разному при переключении оракула, какой-то аспект вывода должен измениться. Например, скажем, старший бит вывода $Д$ может измениться. В этом случае мы можем определить другой отличительный признак $D'$ который работает $Д$, а затем выводит только старший бит $Д$выход. Так что, если нет такого $D'$, то такого нет $Д$. Таким образом, более или менее без потери общности мы можем рассматривать только различители с двоичным выводом при определении неразличимости.

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.