Question: 3. Suppose we are given a propositional formula with n variables (called 3SAT expression) which is of the following form: A clause is the OR

 3. Suppose we are given a propositional formula with n variables

3. Suppose we are given a propositional formula with n variables (called 3SAT expression) which is of the following form: A clause is the OR of 3 distinct variables and a 3SAT expression is the AND of a bunch of clauses. We want to find an assignments of true and false values such that each clause is satisfied or output that no such clause exists. It is known that this cannot be solved unless we look at all 2n assignments (a) Find a randomized algorithm (i.e we do something in a random manner in our algorithm) such that if we let X be the random variable that denotes the number of satisfied clauses we have that E[X(if there are m clauses). Hint: It may be MUCH simpler than you think. (b) For your algorithm prove that PX nr Hint: Use Markov's inequality on 3. Suppose we are given a propositional formula with n variables (called 3SAT expression) which is of the following form: A clause is the OR of 3 distinct variables and a 3SAT expression is the AND of a bunch of clauses. We want to find an assignments of true and false values such that each clause is satisfied or output that no such clause exists. It is known that this cannot be solved unless we look at all 2n assignments (a) Find a randomized algorithm (i.e we do something in a random manner in our algorithm) such that if we let X be the random variable that denotes the number of satisfied clauses we have that E[X(if there are m clauses). Hint: It may be MUCH simpler than you think. (b) For your algorithm prove that PX nr Hint: Use Markov's inequality on

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!