Unformatted text preview: L , we need to design a function such that an input is yes/noinput of L iﬀ the transformed input is yes/noinput of L . You can show Y → Y and Y ← Y , or Y → Y and N → N . Both approaches are equivalent. • If your reduction function is reversible, then proving Y → Y is suﬃcient. Otherwise, you need to prove Y → Y and Y ← Y separately. c ± 2006 Chung Kai Lun Peter. Comments are welcomed. Email: [email protected] 1...
View
Full
Document
This note was uploaded on 12/09/2010 for the course ENGLISH 1303 taught by Professor May during the Spring '10 term at HKU.
 Spring '10
 may
 English

Click to edit the document details