ฉันจะพิสูจน์ได้อย่างไรว่าการแปลงจาก CNF เป็น DNF คือ NP-Hard
ฉันไม่ได้ขอคำตอบแค่คำแนะนำเกี่ยวกับวิธีการพิสูจน์
5
สำหรับการวิเคราะห์ในเชิงลึกลองดูที่บทความนี้"การแปลง CNF เป็น DNF"
—
Vor
@ A.Schulz: คำจำกัดความดั้งเดิมในกระดาษของ Steve Cook กำหนดโดยใช้การลด Cook ดูเหมือนว่าจะเป็นการลดการใช้เมื่อพูดคุยเรื่อง NP-hardness ทั่วไปen.wikipedia.org/wiki/NP-hard
—
Kaveh
การแปลง CNF <-> DNF ไม่ใช่การตัดสินใจขอให้เป็นภาษา มากขึ้นของฟังก์ชั่นด้วยการป้อนข้อมูลและการส่งออกและจะต้องมีการแปลงเป็นปัญหาการตัดสินใจที่จะถามว่าใน NP ฯลฯ คิดว่าปัญหาการตัดสินใจที่ไม่ได้รับการพิสูจน์เพื่อนำไปสู่การระเบิดชี้แจงในขนาด [เช่นใน Vors เตะ] ดังนั้นจึง ปัญหาการตัดสินใจรุ่นที่สมบูรณ์ของ NP [ถ้ามีอยู่จริง] อาจเป็นการทำให้เข้าใจได้ง่าย เช่นเดียวกับ Vors ref แสดงความซับซ้อนที่แท้จริงของการแปลง CNF <-> DNF เป็นปัญหาการวิจัยที่ใช้งานอยู่ ... โปรดทราบว่ามีความคล้ายคลึงกันบางอย่างกับประสิทธิภาพของอัลกอริทึมการบีบอัด ...
—
vzn
@ vzn คำถามถามว่ามันNP-แข็งไม่ใช่NP-สมบูรณ์ ซึ่งหมายความว่าไม่จำเป็นต้องเป็นสมาชิกของNPดังนั้นจึงไม่จำเป็นต้องมีปัญหาในการตัดสินใจ
—
David Richerby