ผลต่างระหว่างรุ่นของ "204512/บรรยาย 13"

จาก Theory Wiki
ไปยังการนำทาง ไปยังการค้นหา
แถว 8: แถว 8:
  
 
=== ปัญหา Halting Problem ===
 
=== ปัญหา Halting Problem ===
 +
ให้โปรแกรม P และ input X ถามว่า P(x)
  
 
=== ปัญหา Program Equivalence ===
 
=== ปัญหา Program Equivalence ===

รุ่นแก้ไขเมื่อ 14:01, 22 กันยายน 2550


จดบันทึกคำบรรยายโดย:

นายเกรียงไกร ลิ่มทอง   รหัส : 50653732
นายธีรวัฒน์ ตออำนวย   รหัส : 50653815



NP Completeness

ปัญหา Halting Problem

ให้โปรแกรม P และ input X ถามว่า P(x)

ปัญหา Program Equivalence

Decision Problem

ปัญหา Satisfiability (SAT)

ปัญหา 3-Satisfiability (3-SAT)

ปัญหา Independent Set

Class NP

ปัญหา Vertex Cover

ปัญหา 3-Color