Due: Wednesday, May 12, at the beginning of class. Turn in physically or by email to Thach.
Remember to take a look at the grading guidelines.
In solving the problem sets, you are allowed to collaborate with fellow students taking the class, but remember that each submission can have at most one author. If you do collaborate in any way, you must acknowledge, for each problem, the people you worked with on that problem.
The problems have been carefully chosen for their pedagogical value, and hence might be similar to those given in past offerings of this course at UW, or similar to other courses at other schools. Using any pre-existing solutions from these sources, for from the web, constitutes a violation of the academic integrity you are expected to exemplify, and is strictly prohibited.
Most of the problems only require one or two key ideas for their solution. It will help you a lot to spell out these main ideas so that you can get most of the credit for a problem even if you err on the finer details.
A final piece of advice: Start working on the problem sets early! Don’t wait until the day (or few days) before they’re due.
Problems
Each problem is worth 15 points unless otherwise noted.
- Show that any boolean function on
bits can be computed by a circuit of size less than
. Hint: In class we saw a recursive way to give a circuit of size
for any boolean function. Try to use the same method, but stop after
levels of the recursion. At this point, use the fact that there are only a few functions on
bits, to complete the evaluation of the overall function.
- A language
is sparse if there is a polynomial
such that
for every
.
- Call a multiset of
-pseudorandom for circuits of size
, if for every circuit
(with one bit output) of size
from a truly random string, in the following sense. If
is a uniformly random element of
is a uniformly random
. Show that for every
, there is an
-pseudorandom set with
. Hint: try to pick
- Suppose there is a randomized polynomial time algorithm that takes as input a
, and outputs another
, and if the input is unsatisfiable, then the output is satisfiable with probability at least
. Hint: follow the proof that if
has polynomial sized circuits, then the hierarchy collapses to the second level.
May 4, 2010 at 2:57 am |
In problem 2 is it supposed to be
?
May 4, 2010 at 3:48 am |
Yes Rolfe, you are right. It is now fixed. Thanks!
May 12, 2010 at 5:21 am |
On 3, does epsilon depend on anything? If not, then doesn’t this force the two probabilities to be equal? Doesn’t this further permit the construction of counterexamples for small circuits? (say quadratic size)
May 12, 2010 at 6:44 am |
Hi Gilbert, you are right, the size of the set should depend on epsilon. In general you can find a set of size poly(s, 1/epsilon). Also, I meant for P to be a multiset (or else the size may depend on n). I will send an email about this problem soon.