tut14sol - L we need to design a function such that an...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
COMP 271H Design and Analysis of Algorithms 2006 Fall Semester Tutorial 14 1. General steps to prove a decision problem L NPC (a) Prove L NP Describe your certificate Give a polynomial time (in term of input size) algorithm to verify such certificate In this part, we only care about the yes-input (b) Prove L 0 p L for some L 0 NPC In theory, we can pick any L 0 . But it is easy to pick L 0 NPC which is quite similar to L . For example, if L is a graph problem, we can pick any known NPC graph problem as L 0 . After you have chosen
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

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

Ask a homework question - tutors are online