This preview shows page 1. Sign up to view the full content.
Unformatted text preview: . . (where M , above, is a deterministic Turing machine) is NPcomplete. 5. A language L is co NPhard if for every L co NP it holds that L p L ; it is co NPcomplete if furthermore L co NP . Prove or disprove: L is NPcomplete i L is co NPcomplete. 6. Challenge question optional. Show a universal nondeterministic Turing machine U such that (1) U ( M,x ) = M ( x ) for any nondeterministic Turing machine M for which M ( x ) is dened, and (2) for every M there exists a constant c such that if M ( x ) runs in time T then U ( M,x ) runs in time O ( T ) (once again, the constant in the bigO notation may depend on M ). 1...
View
Full
Document
This note was uploaded on 01/13/2012 for the course CMSC 652 taught by Professor Staff during the Fall '08 term at Maryland.
 Fall '08
 staff

Click to edit the document details