主張(RSA-HC2-3)の証明


M := \left( \begin{array}{cc} 2^{-1} + i & 2^{-1} + j \\ 1 & 1 \end{array} \right)
とすると、Mは可逆で、
  • ([At,i], [At,j]) = (at-1, b) M = (2-t+1a, b) M.

a, bは独立な確率変数だった。

Q.E.D.


















最終更新:2009年09月06日 23:22