History of FreivaldsTrick

ClassS04CS141 | recent changes | Preferences


Revision 2 . . February 10, 2004 8:27 pm by NealYoung
Revision 1 . . February 10, 2004 8:24 pm by NealYoung
  

Difference (from prior major revision) (no other diffs)

Added: 0a1,5
LEMMA:
Let X be any vector (not all zeros) in Z2n.
Let R be a random vector over Z2n.
Then Pr[X.R = 0] ≤ 1/2


Changed: 2,6c7

LEMMA: Let X be any vector (not all zeros) in Z2n. Let R be a random vector over Z2n.
Then Pr[X\cdot R = 0] ≤ 1/2.


PROOF: Fix X. Let i be an index such that Xi\neq 0.
PROOF: Fix X. Let i be an index such that Xi≠ 0.

Changed: 14c15
{R\cdot X, F(R)\cdot X}
{R.X, F(R).X}

Added: 21a23,24
Note X.R = i Xi Ri (mod 2).


Removed: 28,30d30




ClassS04CS141 | recent changes | Preferences
Search: