·       Complexity note

o      model assumes source of random bits

o      we will assume primitives: biased coins, uniform sampling

o      in homework, see equivalent

Adelman's Theorem.

Consider RP (one sided error)

Result: on RP of size n, exists n witnesses that cover all problems.

o      Nonuniformity: witnesses not known.

o      RP $ \subseteq$P/poly

oblivious versus nonoblivious adversary and algorithms.

Review tree evaluation. Moving LOE through a (linear) recurrence.

W(T1oT2)

$\displaystyle \le$

L(T1) + [evalT2]L(T2)

 

W(h)

=

(3/2)L(h - 1)

 

L(h)

=

2W(h - 2)

 

W(h)

=

3W(h - 2) = 3h/2 = hlog32 $\displaystyle \approx$n.793

 

Lower Bound

$\displaystyle \max_{p}^{}$$\displaystyle \min_{q}^{}$pTMq = $\displaystyle \min_{q}^{}$$\displaystyle \max_{p}^{}$pTMq

that is, always exists solution in mixed strategies.

·       Game tree evaluation.

o      input distribution: each node 1 with probability p = $ {\frac{1}{2}}$(3 - $ \sqrt{5}$).

o      every node is 1 with probability p

o      lemma: any deterministic alg showld finish evaluating one child of a node before doing other: depth first pruning algorithm

o      Such algorithm has probability p of finding 1 on first child, so

W(h) = W(h - 1) + (1 - p)W(h - 1) = (2 - p)h = n0.694

Game tree evaluation lower bound.

T(h) = pT(h - 1) + 2(1 - p)T(h - 1) = (2 - p)h = n0.694

Stable marriage.

·       Average case analysis

o      nonstandard for our course

o      random preference lists

o      how many proposals?

o      principle of deferred decisions

§       random choices all made in advance

§       random choices made algorithm needs them.

o      used while discussing autopartition, quicksort

o      Proposal algorithm:

§       each proposal is random among unchosen women

§       still hard

§       Each proposal among all women

§       stochastic domination

§       done when all women get a proposal.

§       at each step 1/n chance women gts proposal

o      Coupon collection.

§       expected bound

§       upper bound