駄目だ。

アルゴリズムDがdistinguisherがってことは、
|Pr[D(G(x))=1] - Pr[D(y)=1]| > \frac{1}{2} + \frac{1}{p(n)}
どうしてそれで一般性を失うことなく

  • Pr[D(G(x))] = \frac{1}{2} + \frac{1}{p(n)}
  • Pr[D(y)] = \frac{1}{2}

に出来るんだ?
これがさっぱり分からない。他は何とか解決したんだけどなぁ。