Created: Wed 03 Dec 2003
Last modified:
Assigned:
Wed 03 Dec 2003
Due:
Wed 10 Dec 2003
NOTE: This assignment cannot be accepted late since solutions
for this assignment will be handed out on the last day of classes.
General Instructions
- Please review the
grading policy
outlined in the course information page.
- On the first page of each part of your solution write-up,
you must make explicit which problems are to be graded for
"regular credit", which problems are to be graded for "extra credit",
and which problems you did not attempt.
Please use a table something like the following
Problem | 01 | 02 | 03 | 04 |
05 | 06 | 07 | 08 | 09 | ... |
Credit | RC | RC | RC | EC | RC |
RC | NA | RC | RC | ... |
where "RC" is "regular credit", "EC" is "extra credit", and "NA"
is "not applicable" (not attempted). Failure to do so will result
in an arbitrary set of problems being graded for regular
credit, no problems being graded for extra credit, and a five percent
penalty assessment.
- You must also write down with whom you worked on the assignment. If this
changes from problem to problem, then you should write down this
information separately with each problem.
Problems
Required: 4 of the following 7 problems
Points: 25 pts per problem
- Exercise 7.33
- Exercise 7.22
- Exercise 7.16 (b)
- Exercise 7.19. Hint: Reduce from SAT or 3SAT. You may do so by
adding one extra clause to the given formula.
- Exercise 7.21. Hint: Reduce from CLIQUE. You may do so by adding
extra vertices and edges to the given graph.
- Exercise 7.27. Hint: Reduce from NOT-EQUAL-3SAT, defined in
Exercise 7.22. (You need not solve Exercise 7.22 to solve this
problem.)
- Exercise 7.26. Hint: Reduce from 3SAT. Each card will correspond
to a variable, and flipping the card will correspond to setting its truth
value. Each row on a card will correspond to a clause, and the absence or
presence of a hole will correspond to whether that clause is satisfied
by the variable setting or not. You will need one additional specially
designed card as well.
Switch to:
jaa@ccs.neu.edu