ตามที่ระบุไว้แล้วในความคิดเห็นมันขึ้นอยู่กับคำจำกัดความตามปกติ ความพยายามของฉันในการตอบคำถามนี้ต้องการคำจำกัดความค่อนข้างน้อยดังนั้นนี่จะเป็นอีกตัวอย่างหนึ่งของการไร้ความสามารถของฉันที่จะให้คำตอบที่กระชับ
คำที่เกี่ยวข้อง: ปัญหาการเพิ่มประสิทธิภาพเป็น tuple (X,F,Z,⊙)ด้วย
- Xชุดของการเข้ารหัสที่เหมาะสม (สตริง) เดอะอินสแตนซ์หรือปัจจัยการผลิต
- Fเป็นฟังก์ชันที่แผนที่แต่ละเช่นชุดของการแก้ปัญหาที่เป็นไปได้ของxx∈XF(x)x
- Zเป็นฟังก์ชันวัตถุประสงค์ที่แผนที่แต่ละคู่ที่และจะเป็นจำนวนจริงเรียกว่าค่าของY(x,y)x∈Xy∈F(x)Z(x,y)y
- ⊙เป็นทิศทางการเพิ่มประสิทธิภาพทั้งหรือ\minmax
คำจำกัดความ:คำตอบที่ดีที่สุดของอินสแตนซ์ของปัญหาการหาค่าเป็นคำตอบที่เป็นไปได้ซึ่ง\} มูลค่าของการแก้ปัญหาที่ดีที่สุดคือการแสดงด้วยและเรียกว่าดีที่สุดx∈XPOy∈F(x)Z(x,y)=⊙{Z(x,y′)∣y′∈F(x)}Opt(x)
คำที่เกี่ยวข้อง: ปัญหาการประเมินผลการชี้แนะสอดคล้องกับปัญหาการเพิ่มประสิทธิภาพเป็นดังต่อไปนี้: ให้อินสแตนซ์คำนวณถ้ามีทางออกที่ดีที่สุดและการส่งออก“ไม่มีทางออกที่ดีที่สุด” มิฉะนั้นPEPOx∈XOpt(x)x
โปรดทราบว่านี่เป็นเพียงการขอคุณค่าของโซลูชันที่ดีที่สุดไม่ใช่โซลูชันทั้งหมดพร้อมรายละเอียดทั้งหมด
คำที่เกี่ยวข้อง: ปัญหาการตัดสินใจชี้แนะที่สอดคล้องกับปัญหาการเพิ่มประสิทธิภาพเป็นดังต่อไปนี้: ให้คู่ที่และตัดสินใจว่ามีทางออกที่เป็นไปได้เช่นว่าถ้าและเช่นว่าถ้า\PDPO(x,k)x∈Xk∈QxyZ(x,y)≤k⊙=minZ(x,y)≥k⊙=max
สังเกตแรกคือตอนนี้ที่{} หลักฐานไม่ยากและถูกตัดออกจากที่นี่PO∈NPO⇒PD∈NP
ตอนนี้สังหรณ์ใจและสอดคล้องกับไม่ได้ยากกว่าตัวเอง เพื่อแสดงความรู้สึกนี้อย่างเป็นทางการ (ดังนั้นการกำหนดสิ่งที่เทียบเท่าควรหมายถึง) เราจะใช้การลดPEPDPOPO
จำได้ว่าภาษาเป็นพหุนามเวลาออกซิเจนภาษาอื่นถ้ามีฟังก์ชั่น , คำนวณในเวลาพหุนามเช่นว่าทุกคำ ,L_2 ชนิดของ reducibility นี้เป็นที่รู้จักกันคาร์พหรือหลายต่อหนึ่ง reducibilityและถ้า เป็นออกซิเจนในลักษณะนี้เราแสดงโดยการเขียนL_2 นี่คือแนวคิดหลักในคำจำกัดความของความสมบูรณ์แบบ NPL1L2fxx∈L1⇔f(x)∈L2L1L2L1≤mL2
น่าเสียดายที่การลดลงแบบตัวต่อตัวระหว่างภาษาและยังไม่ชัดเจนว่าจะใช้ภาษาเหล่านี้อย่างไรในบริบทของปัญหาการเพิ่มประสิทธิภาพ ดังนั้นเราจึงต้องพิจารณาชนิดที่แตกต่างกันของ reducibility, ทัวริง reducibility ก่อนอื่นเราต้องการสิ่งนี้:
คำที่เกี่ยวข้อง: oracleสำหรับปัญหาเป็น (สมมุติ) ย่อยที่สามารถแก้กรณีของในเวลาคงPP
ความหมาย:ปัญหาที่เกิดขึ้นเป็นพหุนามเวลาทัวริง-ซึ้งทำให้เป็นปัญหาเขียนถ้ากรณีของจะสามารถแก้ไขได้ในเวลาพหุนามโดยอัลกอริทึมที่มีการเข้าถึง oracle สำหรับP_2P1P2P1≤TP2P1P2
อย่างไม่เป็นทางการเช่นเดียวกับความสัมพันธ์แสดงว่านั้นไม่ยากกว่าอีก นอกจากนี้ยังเป็นเรื่องง่ายที่จะเห็นว่าถ้าจะสามารถแก้ไขได้ในเวลาพหุนามเพื่อให้สามารถP_1อีกครั้งคือความสัมพันธ์สกรรมกริยา ความจริงต่อไปนี้ชัดเจน:≤mP1≤TP2P1P2P2P1≤T
ให้แล้วP_OPO∈NPOPD≤TPE≤TPO
เนื่องจากให้โซลูชันเต็มรูปแบบการคำนวณค่าและการตัดสินใจว่าตรงกับขอบเขตนั้นง่ายหรือไม่k
คำจำกัดความ:หากมีปัญหาสองประการและทั้งความสัมพันธ์ ,ถือไว้เราจะเขียน ; แนวคิดเรื่องความเท่าเทียมของเราP1P2P1≤TP2P2≤P1P1≡TP2
ขณะนี้เราพร้อมที่จะพิสูจน์ว่าเนื่องจากปัญหาการปรับให้เหมาะสมที่สอดคล้องกันคือและเป็นจำนวนเต็มมูลค่า เราต้องแสดงให้เห็นว่าถืออยู่ เราสามารถตรวจสอบกับไบนารีค้นหา usign orcale สำหรับP_Dความหมายของเพื่อให้แน่ใจว่าสำหรับบางพหุนามดังนั้นจำนวนของขั้นตอนในการค้นหาไบนารีคือพหุนามใน. PD≡TPEPO∈NPOZPE≤TPD⊙{Z(x,y)∣y∈F(x)}PDNPO|Z(x,y)|≤2q(|x|)q|x|□
สำหรับปัญหาการปรับให้เหมาะสมความสัมพันธ์กับนั้นชัดเจนน้อยกว่า ในกรณีที่เป็นรูปธรรมหลายคนหนึ่งสามารถแสดงโดยตรงที่P_O เพื่อพิสูจน์ว่าเรื่องนี้ถือโดยทั่วไปภายใต้กรอบที่กำหนดไว้ที่นี่เราจำเป็นต้องมีข้อสมมติฐานเพิ่มเติมPOPEPD≡TPE≡TPO
ก่อนอื่นเราต้องขยายจากคู่ภาษาเป็นคู่ของปัญหาการตัดสินใจที่สอดคล้องกัน จากนั้นก็จะเป็นเรื่องง่ายที่จะเห็นว่าทั่วไปมากกว่า\≤m≤T≤m
ให้แอนด์เป็นปัญหาในการตัดสินใจ แล้วP' สิ่งนี้ถือเป็นเพราะการลดแบบหลายต่อหลายคนสามารถตีความได้ว่าเป็นการใช้ประโยชน์ของออราเคิลในทางที่ จำกัด อย่างมาก: ออราเคิลถูกเรียกว่าครั้งเดียวในตอนท้ายสุดและผลลัพธ์ของมันก็จะถูกส่งกลับมาเป็นผลลัพธ์โดยรวม PP′P≤mP′⇒P≤TP′□
ตอนนี้เราพร้อมแล้วสำหรับตอนจบ:
ให้และสมมติว่าเป็นจำนวนเต็มและนั้นเป็น NP-complete จากนั้นกับข้อสังเกตก่อนหน้านี้มันก็ยังคงที่จะแสดงP_E การทำเช่นนี้เราจะแสดงปัญหาดังกล่าวว่าP_E' จากนั้นเรามีที่สองและสามถือเพราะความเท่าเทียมกันของการตัดสินใจและการประเมินผลรุ่นพิสูจน์ก่อนหน้านี้ ที่สามติดตามจาก NP-ครบถ้วนของและข้อเท็จจริงสองข้อที่กล่าวถึงก่อนหน้าคือPO∈NPOZPD
PD≡TPE≡TPO.
PO≤TPEP′O∈NPOPO≤TP′EPO≤TP′E≤TP′D≤TPD≤TPE.
≤T≤TPDPO∈NPO⇒PD∈NPและP_O'
P≤mP′O⇒P≤TP′O
ตอนนี้รายละเอียด: สมมติว่าคำตอบที่เป็นไปได้ของนั้นถูกเข้ารหัสโดยใช้ตัวอักษรพร้อมกับคำสั่งทั้งหมด ให้เป็นคำจากแสดงรายการตามลำดับความยาวที่ไม่ลดลงและคำสั่งทำพจนานุกรมภายในกลุ่มคำที่มีความยาวทั่วไป (ดังนั้นเป็นคำที่ว่างเปล่า.) สำหรับทุกให้หมายถึงเลขที่ไม่ซ้ำกันดังกล่าวว่าการ yสามารถคำนวณทั้งและได้ในเวลาพหุนาม ปล่อยเป็นพหุนามแบบนั้นสำหรับPOΣw0,w1,…Σ∗w0y∈Σ∗σ(y)iy=wiσσ−1qx∈Xและทุกเรามี|)}y∈F(x)σ(y)<2q(|x|)
ตอนนี้ปัญหาเป็นเหมือนยกเว้นสำหรับการปรับเปลี่ยนฟังก์ชั่นวัตถุประสงค์Z'สำหรับและที่เราใช้เวลา(y) คือคำนวณในเวลาพหุนามจึง{}P′OPOZ′x∈Xy∈F(x)Z′(x,y)=2q(|x|)⋅Z(x,y)+σ(y)Z′P′O∈NPO
แสดงให้เห็นว่าเราสังเกตว่าเป็นไปได้สำหรับและถ้าหากมันเป็นไปได้สำหรับP_E'เราสามารถสันนิษฐานได้ว่าเป็นกรณีนี้เนื่องจากกรณีตรงข้ามเป็นเรื่องเล็กน้อยที่จะจัดการPO≤TP′ExPOP′E
substituion ของ forเป็นแบบโมโนโทนิกในแง่ที่ว่า , ถ้าจากนั้นy_2) นี่ก็หมายความว่าทางออกที่ดีที่สุดสำหรับทุกในเป็นทางออกที่ดีที่สุดของในP_Oดังนั้นหน้าที่ของเราที่จะช่วยลดการคำนวณการแก้ปัญหาที่ดีที่สุดของในP_O'Z′Zy1,y2∈F(x)Z(x,y1)<Z(x,y2)Z′(x,y1)<Z′(x,y2)xP′OxPOyxP′O
สอบถาม oracle สำหรับเราจะได้รับค่าของ(y) การสร้างส่วนที่เหลือของตัวเลขนี้โมดูโลให้ผลตอบแทนซึ่งสามารถคำนวณได้ในเวลาพหุนามP′EZ′(x,y)=2q(|x|)⋅Z(x,y)+σ(y)2q(|x|)σ(y)y