Assignment 12 -- Due 2 p.m. Monday, April 19
at the beginning of class
CS 4511 Spring Semester, 2010
30 Points
Topics: Undecidable Problems, Mapping Reducibility
Reading: Chapter 5 Reducibility
The assignment:
- (4 points) Exercise 5.3 page 211
- (5 points) Exercise 5.5 page 211
- (4 points) Exercise 5.6 page 211
- (5 points) Exercise 5.7 page 211
- (5 points) Problem 5.16 page 212
- (5 points) Problem 5.17 page 212
- (2 points) Read Problem 5.21 page 212, and write down what it proves.
Note that this is a mapping reduction from PCP to AMBIGCFG.
Page URL: http://www.d.umn.edu
/~ddunham/cs4511s10/assignments/a12/assignment.html
Page Author: Doug Dunham
Last Modified: Monday, 19-Apr-2010 17:26:06 CDT
Comments to: ddunham@d.umn.edu