Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
RANDOMIZED ROUNDING RAJEEV MOTWANI AND PRABHAKAR RAGHAVAN PRESENTER : PRASANNA GANESAN Extracted from Randomized Algorithms , By Rajeev Motwani and Prabhakar Raghavan Randomized Rounding - This is a probabilistic method to convert a solution of a relaxed linear problem into an approximate solution to the original problem - The basic idea is to interpret the fractional solutions provided by the linear program as probabilities for rounding them. - This is used when a linear program is NP-hard. A language L is NP-hard if, for all L’ NP , there is a polynomial reduction L’ to L. It actually means that if you apply a polynomial function over any of the language L NP then it results in another L’ NP. For such problems we need to relax some of the conditions in linear programming which demands the application of randomized rounding over the solution sets. We shall see a simple example of this in detail. WIRING PROBLEM Assume that this is a grid of logic gates, which are connected by four wires, and the gates are numbered from 1 to n. The wires are assumed to run over the boundaries. Our problem is to connect the set of nets connected together. A net may be connect 2 or more gates. As a simple example we consider a simple net which connects just 2 gates. 1 3 2 4 2 1 3 4 Xi0 - When a net goes from horizontal to vertical direction and Xi1 - When a net goes from vertical and then to Horizontal direction Where i denotes the net or the wire in our example. For example , X10 = 0 and X11 = 1 from the above fig. Tb0 = { i | net i passes thro b if Xi0 = 1 } Tb1 = { i | net i passes thro b if Xi1 = 1 } They represent a set of the total no of Xi0 and Xi1 respectively. ws(b) = No of wires that pass thro b in a solution S ws = maxb ws(b) [the max no of wires thro any boundary Our integer problem can be expressed as, Minimize w which is the total no of wires used. Where Xi0 , Xi1 {0,1} ( nets i ) Subject to Xi0 + Xi1 = 1 ( nets i ) Xi0 + Xi1 w ( boundaries b ) Let W0 be the value of w in the above equations To solve this, We do linear program relaxation, which is by replacing Xi0 , Xi1 [0,1] ( nets i ). i.e, they assume real values instead of integer values. By doing so we can obtain a solution for the linear program, since the original program is NPhard. Let X i,0 , X i,1 [0,1] ( nets i ) be the solutions and let W the value of the objective function. We note here that W < w0 because of our assumption that W takes real values between 0 and 1. Now we have to round the solutions, For each i , set X i0 to 1 and X i1 to 0 with probability X i,0 Otherwise set X i0 to 0 and X i1 to 1 Thus for each i, Pr [ X i0 = 1] = X i0 Pr [ X i1 = 1] = X i1 Note : The value closer to 0(or 1) is likely set to be 0(or 1). Theorem : Let be a real number such that 0 < < 1. Then with probability 1- , the global wiring S produced by randomized rounding satisfies Ws W (1+ ( W , /2n)) W0 (1+ ( W0, /2n)) Proof: To prove this lets have a brief introduction on chernoff bounds and poisson trials. Poisson Trials Unlike fixed probability in bernoullis trials,we allow every Xi to have a different probability, Pr[Xi = 1] = pi,and Pr[Xi = 0] =(1-pi), then these event are called Poisson trials. A Poisson trial by itself is really just a Bernoulli trial. But when you have a lot of them together with different probabilities, they are called Poisson trials. But it is very important that the Xi must still be independent. Chernoff bounds are a kind of tail bound. Like Markoff and Chebyshev, they bound the total amount of probability of some random variable Y that is in the “tail”, i.e. far from the mean. Let X1,X2,…..Xn be independent poisson trials with Pr[XI=1]=pi, then if X is the sum of Xi, and if is E[x], for any (0,1]: Pr[X> (1+ ) ] < [e /((1+ )(1+ ))] -------(1) Here is deviation given by = ( , ) suffices to keep Pr[X> (1+ ) ] below irrespective of the values of n and pis. Now lets prove the theorem. Consider a boundary b, Since the solutions satisfy the constraints, we can say that X i0 + X i1 W The no of wires passing through b is Ws(b) = X i0 + X i1 Since they r independent poisson trials E[Ws(b)] = E[ X i0] + E[ X i1] = X i0 + X i1 W By the result from Chernoff bound given in equation (1), Pr[Ws(b) (1+ ( W W , /2n)) ] /2n Thus for any particular boundary the probability is atmost /2n. Since W < w0 Ws W (1+ ( W , /2n)) W0 (1+ ( W0, /2n)) In a n n array there are fewer than 2n boundaries. Therefore by summing up all the failure probability we get the upper bound Some of the applications of Randomized roundings-VLSI wiring Problem -Max-Sat problems -Primality Testing -Routing