หนึ่งสามารถแสดงความแข็ง NP โดยการทัวริงการลดลงได้หรือไม่?


19

ในกระดาษความซับซ้อนของปัญหา FrobeniusโดยRamírez-Alfonsínปัญหาได้รับการพิสูจน์แล้วว่าเป็นปัญหาที่สมบูรณ์โดยใช้การลดลงของทัวริง เป็นไปได้ไหม ว่าอย่างไร ฉันคิดว่ามันเป็นไปได้โดยพหุนามเวลาลดลงหลายคน มีการอ้างอิงเกี่ยวกับเรื่องนี้หรือไม่?

มีสองแนวคิดที่แตกต่างกันของความแข็งของ NP แม้กระทั่งความสมบูรณ์ของ NP? แต่แล้วฉันก็สับสนเพราะจากมุมมองที่ใช้งานได้จริงถ้าฉันต้องการแสดงให้เห็นว่าปัญหาของฉันคือปัญหาที่ยากฉันจะใช้อะไร

พวกเขาเริ่มต้นคำอธิบายดังนี้:

การลดลงของทัวริงเวลาพหุนามจากปัญหาP1 ไปยังอีกปัญหาP2 เป็นอัลกอริทึมซึ่งจะช่วยแก้ P1 โดยใช้ย่อยสมมุติ 'สำหรับการแก้ P2 เช่นว่าถ้า A' เป็นอัลกอริทึมเวลาพหุนามสำหรับ P2 แล้ว จะเป็นอัลกอริทึมสำหรับเวลาพหุนาม P1 1 เราบอกว่า P1 สามารถทัวริงลดลง P2 2

ปัญหา เรียกว่า (ทัวริง) NP-hard หากมีปัญหาการตัดสินใจที่สมบูรณ์แบบP 2 เช่นที่ P 2 สามารถลดทัวริงเป็น P 1ได้P1P2P2P1

จากนั้นพวกเขาใช้การลดทัวริงจากปัญหา NP-complete เพื่อแสดงความสมบูรณ์ NP ของปัญหาอื่น ๆ

คำตอบ:


17

มีอย่างน้อยสองแนวคิดที่แตกต่างกันของความแข็งของ NP ความคิดตามปกติซึ่งใช้ลดคาร์พกล่าวว่าภาษาคือ NP-ยากถ้าภาษาในทุก NP-Karp ลดL หากเราเปลี่ยนการลด Karp เป็นการลด Cook เราจะได้รับแนวคิดใหม่ ภาษาทุกภาษาที่เป็น Karp-NP-hard ก็เช่นกัน Cook-NP-hard แต่การสนทนาอาจเป็นเท็จ สมมติว่า NP จะแตกต่างจาก coNP และใช้เวลาที่คุณชื่นชอบ NP-สมบูรณ์ภาษาL จากนั้นส่วนประกอบของLคือ Cook-NP-hard แต่ไม่ใช่ Karp-NP-hardLLLL

เหตุผลที่คือ Cook-NP-hard มีดังต่อไปนี้: ใช้ภาษาMใด ๆใน NP ตั้งแต่Lคือ NP-ยากที่มีฟังก์ชั่น polytime เช่นว่าx M IFF F ( x ) L IFF F ( x ) ¯ L การลด Cook จากMถึง¯ Lใช้xคำนวณf ( x )ตรวจสอบว่าf ( x ) LL¯MLfxMf(x)Lf(x)L¯ML¯xf(x)f(x)L¯และเอาท์พุทสนทนา

เหตุผลที่ไม่ได้เป็น NP-hard (สมมติว่า NP แตกต่างจาก coNP) มีดังต่อไปนี้ สมมติว่า¯ Lเป็น NP-hard แล้วสำหรับทุกภาษาMใน coNP, มีการลดลง polytime เช่นว่าx ¯ M IFF F ( x ) ¯ Lหรือในคำอื่น ๆx M IFF F ( x ) L เนื่องจากLอยู่ใน NP นี่แสดงว่าMอยู่ใน NP ดังนั้น coNP L¯L¯MfxM¯f(x)L¯xMf(x)LLM NP นี่ก็หมายความว่า NP ทันที coNP และดังนั้น NP = coNP

หากบางส่วนคุก NP-ยากภาษาอยู่ใน P แล้ว P = NP: สำหรับภาษาใดMใน NP ใช้ลดคุกLเพื่อให้ขั้นตอนวิธีการ polytime สำหรับM ดังนั้นในแง่นี้ภาษาที่สมบูรณ์แบบของ Cook-NP ก็เป็น "ยากที่สุดใน NP" เช่นกัน ในทางกลับกันมันเป็นเรื่องง่ายที่จะเห็นว่าคุก NP-ยาก = คุก coNP แข็ง: การลดปรุงอาหารสำหรับLสามารถแปลงไปสู่การลดปรุงอาหารสำหรับ¯ L ดังนั้นเราจึงสูญเสียความแม่นยำโดยใช้การลด CookLMLMLL¯

อาจมีข้อบกพร่องอื่น ๆ ในการใช้การลด Cook แต่ฉันจะปล่อยให้ผู้ตอบแบบอื่น


ฉันยังไม่เข้าใจทั้งหมดนี้ฉันต้องบอกว่า แต่ฉันมีคำถามอื่นบางทีคุณสามารถตอบคำถามนี้ได้ (เนื่องจากไม่มีคำตอบอื่น ๆ อีกมากมาย): ถ้าฉันมีทัวริงแดง จากปัญหา NP-complete A ไปจนถึงปัญหา B และ Karp red จากปัญหา B ถึงปัญหา C นั่นสร้างปัญหา NP-ครบถ้วนของ C (สมาชิกไม่มีปัญหา)? และโดยทั่วไปฉันสามารถเรียกปัญหา B NP-hard หรือค่อนข้าง (Turing) NP-hard ได้หรือไม่ ขอบคุณ!
user2145167

4
การลด Karp สองครั้งประกอบไปด้วยการลด Karp และการลด Cook สองครั้งประกอบไปด้วยการลด Cook เนื่องจากการลดคาร์ปเป็นการลดการคุกด้วยถ้าคุณเขียนการลดคาร์ปและการลดคุกคุณจะได้รับการลดคุก แต่โดยทั่วไปคุณจะไม่ได้รับการลด Karp
Yuval Filmus

@YuvalFilmus คุณจะกรุณาอธิบายรายละเอียดสิ่งที่คุณต้องการที่จะหมายถึงโดย IFF F ( x ) L IFF F ( x ) ¯ L ? xMf(x)Lf(x)L¯
Omar Shehab

คาร์พลดจากเพื่อLเป็นฟังก์ชั่นF (polytime ในกรณีนี้) เช่นว่าx M IFF F ( x ) L สำหรับทุก, xมันก็ถือได้ว่าF ( x ) L IFF F ( x ) ¯ Lที่¯ Lเป็นส่วนประกอบของL (ด้วยความเคารพต่อช่วงของ ) MLfxMf(x)L f,xf(x)Lf(x)L¯L¯Lf
Yuval Filmus

6

ไม่เป็นไร. การลดพหุนามพหุนามเป็นการลดคุก (เช่นเดียวกับใน Cook-Levin theorem) และการลดปัญหา NP-complete ให้กับปัญหาใหม่จะทำให้ความแข็งของ NP ลดลง ที่จริงแล้วการลด Karp เป็นเพียงการ จำกัด การลดทัวริงอยู่แล้ว

พวกเขาต่างกันตรงไหน (เกี่ยวกับคำถามนี้) อยู่ในการแสดงความเป็นสมาชิก การลด Karp จากปัญหาไปสู่ปัญหาใน NP แสดงให้เห็นว่าครั้งแรกที่อยู่ใน NP การลด Cook ในทิศทางเดียวกันไม่ได้


ขอบคุณ ฉันไม่ทราบด้วยซ้ำว่ามีสมาชิกคนหนึ่งแสดงอย่างชัดเจนโดยใช้การลด Karp แต่มันก็สมเหตุสมผล แต่มีใครสามารถแสดงความเป็นสมาชิก NP โดยใช้การลดลงของทัวริงในทั้งสองทิศทางใช่ไหม
user2145167

1
@ user2145167 ไม่คำตอบของ Yuval ให้เรื่องราวเต็มรูปแบบที่นี่ แต่ในระยะสั้นการลด Cook เป็นสิ่งที่อ่อนแอดังนั้นอนุญาตเพิ่มเติมได้ - เช่นคุณสามารถเปลี่ยนจากปัญหา co-NP ใด ๆ ผ่านการลด Cook ไปยังปัญหา NP-complete ใด ๆ ที่ไม่ใช่ เป็นจริงสำหรับการลด Karp
Luke Mathieson
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.