ระดับกลาง


13

ปัญหาการแบ่งพาร์ติชันเป็นปัญหาที่ไม่สมบูรณ์อย่างสมบูรณ์เนื่องจากมีอัลกอริทึมเวลาแบบพหุนาม (เทียม - พหุนาม) หากจำนวนเต็มอินพุทถูก จำกัด โดยพหุนาม อย่างไรก็ตาม 3-Partition เป็นปัญหา NP-complete อย่างยิ่งแม้ว่าจำนวนเต็มอินพุตจะถูกล้อมรอบด้วยพหุนาม

สมมติว่าเราสามารถพิสูจน์ได้ว่าปัญหา NP-complete ระดับกลางจะต้องมีอยู่หรือไม่? หากคำตอบคือใช่จะมีปัญหาผู้สมัคร "ธรรมชาติ" เช่นนั้นหรือไม่?PNP

ที่นี่ปัญหา NP-complete ระดับกลางเป็นปัญหาที่ไม่มีอัลกอริธึมเวลาแบบหลอกเทียมแบบพหุนามและ NP-Complete ในแง่ที่ดี

ฉันเดาว่ามีลำดับชั้นที่ไม่มีที่สิ้นสุดของปัญหา NP กลางที่สมบูรณ์ระหว่างปัญหา NP-ครบถ้วนและอ่อนแอสมบูรณ์ NP

แก้ไข 6 มีนาคม : ตามที่ระบุไว้ในความคิดเห็นทางเลือกอื่นในการถามคำถามคือ:

สมมติว่า, , เราสามารถพิสูจน์ได้ว่าปัญหา NP-complete ที่ไม่มีอัลกอริธึมเวลาพหุนามหรือ NP-complete เมื่อมีการป้อนข้อมูลตัวเลขใน unary? หากคำตอบคือใช่จะมีปัญหาผู้สมัคร "ธรรมชาติ" เช่นนั้นหรือไม่?PNP

NPPNPP=NPNPP


2
@MarzioDeBiasi มีคำจำกัดความของความสมบูรณ์แบบ NP ที่สมบูรณ์ (อาจเป็นที่นิยมน้อยกว่า) ซึ่งกำหนดปัญหาตัวเลขให้เป็นแบบ NP-complete แม้ว่าจำนวนเต็มอินพุททั้งหมดจะถูกแสดงด้วยสัญกรณ์ที่ไม่มีเครื่องหมาย
Mohammad Al-Turkistany

4
@vzn นี่เป็นความคิดเห็นที่ไร้สาระ! 1) thm ของ ladner ไม่เกี่ยวกับปัญหายาก np ที่ไม่สมบูรณ์ np; 2) ในขณะที่โมฮัมหมัดเป็นคำศัพท์เกี่ยวกับการบรรทุกเกินพิกัดเขาได้กำหนดระดับของปัญหาอย่างชัดเจน (NPC ไม่ใช่ NPC ที่แข็งแกร่งและไม่มีอัลกอริธึมการปลอมแปลงเวลา) และแตกต่างจาก NPC
Sasho Nikolov

2
@ MohammadAl-Turkistany: ขอบคุณโอเคบางทีผมแนะนำให้คุณที่จะเรียกว่าเอกเอ็นพีบริบูรณ์เหมือนใน Garey และจอห์นสัน "Strong" ผล NP-สมบูรณ์: แรงจูงใจตัวอย่างและผลกระทบ ดังนั้นคุณกำลังค้นหาปัญหาระดับกลางระหว่าง NPC Nary และ pseudopolynomial NPC ฉันยังคงพยายามที่จะเข้าใจ แต่ในกระดาษของพวกเขา G & J พูด (เกี่ยวกับ NPC Nary): "... มันไม่ยากที่จะเห็นว่าสิ่งนี้สอดคล้องกับความคิดของเราของความสมบูรณ์ NP ที่แข็งแกร่ง ... "
Marzio De Biasi

2
@MarzioDeBiasi ฉันคิดว่าเป็นความคิดที่ว่าเราสามารถ (->) ได้รับจำนวนพหุนามขนาดฐานสองในการป้อนข้อมูลแปลงเป็นเอกใน polytime และเรียกใช้อัลกอริทึม unary (<-) กำหนดความยาวโพลี unary ใน ส่วนที่เหลือของอินพุตอ่านสิ่งทั้งหมดและแปลงเป็นไบนารี่และรันอัลกอริธึมไบนารี่
usul

1
เนื่องจากปัญหาใด ๆ ที่มีอัลกอริธึมเวลาพหุนามหากหนึ่งในอินพุตพารามิเตอร์ถูกแก้ไขใน FPT คุณดูเหมือนจะถามว่ามีปัญหาหนักกว่า FPT แต่ไม่ใช่ W [1] - ยาก เท่าที่ฉันรู้ทฤษฎีบทของ Ladner สามารถขยายไปสู่การตั้งค่านี้; มันอาจจะอยู่ในตำราเรียน Flum / Grohe
András Salamon

คำตอบ:


2

NP

knA={a1,...,an}kS1,...,Sk{a1,...,an}sum(S1)=...=sum(Sk)

NPk=O(1)k>2NPk=Ω(n)

k=ω(1)k=O(logn)kNPNP

อ้างอิง:

CIELIEBAK, EIDENBENZ, PAGOURTZIS, และ SCHLUDE, ในเรื่องความซับซ้อนของความแปรปรวนของ SUBSETS ผลรวมย่อย, วารสารคอมพิวเตอร์นอร์ดิก 14 (2008), 151–172


คุณเคยเห็นcstheory.stackexchange.com/a/7427/15637นี้หรือไม่
โทมัส Kalinowski

ใช่. คำตอบนั้นเป็นปัญหาเทียม
Mohammad Al-Turkistany
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.