ในบทความวิทยาศาสตร์จากปี 2002 Mezard, Parisi และ Zecchina หยิบยกheuristic การเผยแพร่ความเชื่อสำหรับ 3SAT แบบสุ่ม การทดลองระบุว่าฮิวริสติกทำงานได้ดีสำหรับอัตราส่วนของข้อ จำกัด ต่อตัวแปรซึ่งการมอบหมายที่น่าพอใจนั้นมีอยู่จริง
คำถามของฉันคือ:
(1) ถ้าคุณพิจารณา 3LIN แบบสุ่มแทนที่จะเป็นแบบสุ่ม 3SAT (แต่ละข้อ จำกัด คือสมการเชิงเส้นแบบสุ่มเหนือ GF (2))
(2) ถ้าคุณพิจารณา3LIN จริงโดยประมาณแบบสุ่ม เป็นไปได้ไหมว่าการวิเคราะห์พฤติกรรมของการเผยแพร่ความเชื่อ (ดัดแปลงอย่างเหมาะสม) จะง่ายต่อการวิเคราะห์ในกรณีนี้?
รุ่นโดยประมาณที่กำหนดไว้ในงานล่าสุดกับ Subhash Khot มีดังนี้: ตัวแปรสามารถสมมติค่าจริงและไม่ใช่แค่ค่าไบนารี เราพิจารณาเฉพาะการมอบหมายของบรรทัดฐาน 1 สมการแต่ละสมการจะเป็นรูปแบบโดยที่มีการกระจายแบบปกติและจะถูกเลือกอย่างสม่ำเสมอจากชุดของตัวแปร สมการสมเป็นจริงถ้าและไม่ใช่แค่ถ้ามีความเท่าเทียมกันที่แน่นอน
ปรีชาคือว่าในเวอร์ชั่นโดยประมาณการเปลี่ยนแปลงความเชื่อ (สิ่งที่ควรจะเป็นการกำหนดตัวแปร) อาจเกิดขึ้นได้อย่างต่อเนื่อง / เพิ่มขึ้น