Discrete Problems
Cryptography requires problems that are hard in the average case.
For our purposes, a probability space is a finite set , and a function such that for all .
(See the Wikipedia for the general definition of a probability space. Briefly, a probability space is a set , a -algebra on , and a measure on such that .)
Type 1 Random Variables
A Type 1 RV is a function , for some finite set .
A predicate is a function , i.e. it maps the set to a boolean. Define .
Some more notation:
-
defines a uniform random variable on (). Formally, for any , is the identity function, thus for all .
-
denotes a randomized algorithm: is the input, and is the randomness.
-
denotes a random variable as the output of the algorithm on input . Output of algorithm is a probability distribution.
-
For a predicate , define as the probability that holds for output of on input .
Example: Let be a randomized algorithm that outputs an odd prime less than or equal to . Then
Type 2 Random Variables
A Type 2 RV is a function .
We shall always use a uniform distribution on , which means that for all ,
Define
and
are independent if for all we have
Large Deviation Bounds
Markoff's Inequality:
Chebyshev's Inequality:
Example: Suppose are pairwise independent random variables such that , .
Chernoff Bound: For , let with probability and otherwise. Suppose the are independent (stronger than pairwise independent), and define Then