Unformatted text preview: L , we need to design a function such that an input is yes/no-input of L iﬀ the transformed input is yes/no-input 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