Thursday, January 17, 2008

Lecture 2: Algorithms and gaps for Set-Cover and Coverage

Questions/etc. about the lecture can go here.

I will discuss integrality gap instances for Set-Cover in a later post. I may also clarify the randomized rounding analysis for Max-Coverage. (Or -- it would be nice if someone else in class wanted to post something on this :)

For now, I'll quickly give you the detailed probabilistic analysis of randomized rounding for Set-Cover.

Recall that if we repeat the randomized rounding step t times, the expected overall cost is at most t Opt. (I think I said it exactly equals t Opt in class but this is not quite right because you could pick the same set more than once in different rounding stages -- and you only have to pay for it once.) We will select t=lnn+Clnlnn for some large constant C.

We now observe that from Markov's inequality, the probability our output costs more than (1+2/lnn)t Opt is at most 1/(1+2/lnn) which is about 1-2/lnn. Rigorously, it's less than 1-1/lnn. Multiplying out the (1+1/lnn)t, we conclude:

(*) Pr[costs at most (lnn+O(lnlnn)) Opt] 1/lnn.


Now on the other hand, as we saw, after our t rounds, the probability a particular e is uncovered is at most exp(-t)=1/(nlnC n). Union-bounding over all elements, we get:

(**) Pr[solution is invalid] 1/lnC n.


Taking C large (even C=2 is okay, I guess) and combining (*) and (**) we conclude:

(***) Pr[valid solution of cost at most (lnn+O(lnlnn)) Opt] 1/lnn-1/ln2 nΩ(1/lnn).

We may now use Problem 1a on Homework 1.

No comments: