ในกระดาษความซับซ้อนของปัญหา FrobeniusโดยRamírez-Alfonsínปัญหาได้รับการพิสูจน์แล้วว่าเป็นปัญหาที่สมบูรณ์โดยใช้การลดลงของทัวริง เป็นไปได้ไหม ว่าอย่างไร ฉันคิดว่ามันเป็นไปได้โดยพหุนามเวลาลดลงหลายคน มีการอ้างอิงเกี่ยวกับเรื่องนี้หรือไม่?
มีสองแนวคิดที่แตกต่างกันของความแข็งของ NP แม้กระทั่งความสมบูรณ์ของ NP? แต่แล้วฉันก็สับสนเพราะจากมุมมองที่ใช้งานได้จริงถ้าฉันต้องการแสดงให้เห็นว่าปัญหาของฉันคือปัญหาที่ยากฉันจะใช้อะไร
พวกเขาเริ่มต้นคำอธิบายดังนี้:
การลดลงของทัวริงเวลาพหุนามจากปัญหา ไปยังอีกปัญหา เป็นอัลกอริทึมซึ่งจะช่วยแก้ โดยใช้ย่อยสมมุติ 'สำหรับการแก้ เช่นว่าถ้า A' เป็นอัลกอริทึมเวลาพหุนามสำหรับ แล้ว จะเป็นอัลกอริทึมสำหรับเวลาพหุนาม 1 เราบอกว่า สามารถทัวริงลดลง 2
ปัญหา เรียกว่า (ทัวริง) NP-hard หากมีปัญหาการตัดสินใจที่สมบูรณ์แบบP 2 เช่นที่ P 2 สามารถลดทัวริงเป็น P 1ได้
จากนั้นพวกเขาใช้การลดทัวริงจากปัญหา NP-complete เพื่อแสดงความสมบูรณ์ NP ของปัญหาอื่น ๆ