เรารู้อะไรบ้างเกี่ยวกับการเปลี่ยนเฟสของปัญหา # P-Complete


11

สิ่งที่ทราบเกี่ยวกับการเปลี่ยนเฟสในปัญหา # P-Complete มีการเปลี่ยนเฟสที่แตกต่างกันสำหรับ # DNF-k-SAT และ # CNF-k-SAT หรือไม่

อัปเดต:
อย่างที่ทราบมีการเปลี่ยนเฟสใน Random k-SAT ที่การแก้ปัญหาเริ่มจากง่ายไปยากและกลับไปง่ายอีกครั้ง ฉันต้องการทราบว่ามีปรากฏการณ์เช่นนี้สำหรับปัญหา # P-Complete หรือไม่ ที่สำคัญกว่านั้นถ้ามีการเปลี่ยนเฟสจะเป็นแบบเดียวกันกับ # CNF-k-SAT และ # DNF-k-SAT หรือไม่

ฉันคิดว่ามีการเปลี่ยนเฟสบางประเภทสำหรับ # CNF-k-SAT ในทางกลับกันฉันไม่คิดว่าจะมีการเปลี่ยนเฟสสำหรับ # DNF-k-SAT และปัญหาจะยากขึ้นเมื่อเราเพิ่มส่วนคำสั่งเพิ่มเติม ....


1
คุณช่วยอธิบายให้ชัดเจนว่าคุณหมายถึงอะไรโดย "การเปลี่ยนเฟส #P" หรือไม่ การเปลี่ยนเฟสสำหรับปัญหา NP-Complete โดยทั่วไปแล้วจะเป็นความน่าจะเป็นของอินสแตนซ์สุ่มที่ดึงมาจากการแจกแจงแบบมีพารามิเตอร์ที่น่าพอใจ การเปลี่ยน #P คืออะไร เมื่อเปอร์เซ็นต์ที่แน่นอนจะพอใจ?
user834

โปรดระบุด้วยว่าคุณกำลังพยายามคำนวณค่าที่แน่นอนหรือยอมให้มีค่าโดยประมาณ
Tyson Williams

1
"ปัญหามาจากการง่ายไปยากและกลับไปแข็งอีกครั้ง" คุณหมายถึง "ง่ายยากและกลับไปง่ายอีกครั้ง"?
Tyson Williams

1
ฉันยังไม่ชัดเจนว่าคุณวัดปริมาณเท่าไร การเปลี่ยนเฟส 3-SAT (เป็นตัวอย่างสำหรับความเป็นรูปธรรม) ถูกนำมาเป็นความน่าจะเป็นของโซลูชันที่มีอยู่ ie อย่างน้อยหนึ่งโซลูชันที่มีอยู่ ดังนั้นหาก "การเปลี่ยนแปลง #P" ถูกนำมาใช้หมายถึงความน่าจะเป็นของการนับที่ไม่เป็นศูนย์ของการแก้ปัญหาทั้งสองนั้นจะเทียบเท่ากัน นอกจากนี้ยังมีความแตกต่างระหว่าง "ง่าย" และ "การแก้ปัญหาที่มีอยู่" ในขณะที่อดีตหมายถึงอัลกอริทึมพหุนามในขณะที่หลังไม่ได้ NPP มีชื่อเสียงในเรื่องความยากลำบากเกือบทุกที่แม้จะอยู่ไกลจากจุดเปลี่ยน
user834

คำตอบ:


7

สำหรับการนับชุดอิสระมีการพิสูจน์เมื่อเร็ว ๆ นี้สำหรับการเปลี่ยนเฟสการคำนวณโดย Allan Sly: http://arxiv.org/abs/1005.5584 (อัลกอริทึมคือ Dror Weitz จากปี 2549 อัลลันพิสูจน์ความแข็งของการจับคู่และ co-won รางวัลกระดาษที่ดีที่สุดใน FOCS'10 สำหรับเรื่องนั้น)

โปรดทราบว่าสำหรับการสุ่ม 3SAT และปัญหาที่คล้ายกันไม่มีข้อพิสูจน์ว่าปัญหาเหล่านั้นยากในช่วงเวลาที่เหมาะสม เมื่อคุณไปที่ปัญหาการนับที่ยากขึ้นการพิสูจน์ความแข็งจะง่ายขึ้น

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