ที่นี่ฉันแสดงให้เห็นว่าปัญหาคือปัญหาที่สมบูรณ์
เราแปลง CNF เป็นตัวอย่างของปัญหาของคุณดังนี้ สมมติว่าตัวแปรของ CNF มี 'และคำสั่งที่มี ' s ที่<เมตร ให้โดยที่ชุดทั้งหมดในกลุ่มจะแยกออกจากกันอย่างสมบูรณ์ อันที่จริงแล้วและขณะคือชุดของ cardinality ใด ๆ 1 นอกจากนี้ยังแสดงว่าและแก้ไขสำหรับทุกตระกูลที่มีความยาวเพิ่มขึ้นอยู่ภายในซึ่งแสดงโดยสำหรับx i m C j n < m U = ∪ i ( A i ∪ B i ∪ Z i ) A i = { a i , j ∣ x i ∈ C j } ∪ { a i , 0 } B i = { b ฉัน, j ∣ x ฉัน ∈ C j } ∪n xim Cjn<mU=∪i(Ai∪Bi∪Zi)Ai={ai,j∣xi∈Cj}∪{ai,0}Z ฉัน k = 2 n + 1 Z = ∪ ฉันZ ฉันZ ฉัน k Z ฉัน, L L = 1 .. k x ฉัน 2 k F ฉัน ∪ Z ฉัน, L B ฉัน ∪ Z ฉัน, l C j F Z x ฉัน ∈ C j { aBi={bi,j∣xi∈Cj}∪{bi,0}Zik=2n+1Z=∪iZiZikZi,ll=1..kLทุกตัวแปรเราเพิ่มชุดชุดฟอร์มทุกและL} สำหรับทุกประโยคเราเพิ่มหนึ่งชุดเป็นซึ่งมีและสำหรับทุกองค์ประกอบและสำหรับทุกองค์ประกอบ\}xi2kFAi∪Zi,lBi∪Zi,lCjFZxi∈Cj ˉ x i ∈ C j { b i , j }{ai,j}x¯i∈Cj{bi,j}
สมมติว่าสูตรเป็นที่พอใจและแก้ไขการมอบหมายที่น่าพอใจ จากนั้นเลือกชุดของแบบฟอร์มหรือขึ้นอยู่กับว่าเป็นจริงหรือไม่ เหล่านี้เป็นชุดที่เพิ่มขึ้นตอนนี้เพิ่มชุดสอดคล้องกับข้อ สิ่งเหล่านี้ยังคงเพิ่มขนาดอย่างต่อเนื่อง สุดท้ายเรายังสามารถเพิ่มชุดขึ้นไป (สำหรับแต่ละตัวแปร) เพื่อให้ปกลำดับUA i ∪ Z i , l B i ∪ Z i , l x i n k m k UkAi∪Zi,lBi∪Zi,lxinkmkU
ทีนี้สมมติว่าอยู่ในลำดับที่เพิ่มขึ้น ขอให้สังเกตว่าที่มากที่สุดชุดที่สอดคล้องกับสามารถเลือกสำหรับแต่ละx_iดังนั้นหากไม่มีชุดประโยคในลำดับที่เพิ่มขึ้นสามารถเลือกส่วนใหญ่ซึ่งน้อยเกินไป โปรดสังเกตว่าทันทีที่เลือกชุดคำสั่งเราสามารถเลือกได้สูงสุดสองชุดที่สอดคล้องกับแต่ละจำนวนรวมสูงสุดชุด ดังนั้นเราต้องเลือกชุดตัวแปรอย่างน้อยก่อนที่จะเลือกชุดประโยคใด ๆ แต่เนื่องจากเราสามารถเลือกมากที่สุดสำหรับแต่ละนี่หมายความว่าสำหรับแต่ละอย่างที่เราเลือกอย่างน้อยk + 1 x i x i n ( k + 1 ) x i 2 n n ( k - 1 ) k + 1 x i 1 k = 2 n + 1n(k+1)+mk+1xixin(k+1)xi2nn(k−1)k+1xi1เป็น 1 สิ่งนี้จะกำหนด "ค่า" ของตัวแปรดังนั้นเราจึงสามารถเลือกเฉพาะคำสั่ง "true" เท่านั้นk=2n+1
อัปเดต: เปลี่ยนค่าจากเป็นตามที่ Marzio ชี้n 2 n + 1kn2n+1