ฉันไม่แน่ใจเกี่ยวกับการมีตัวช่วยแก้ปัญหามัลติคอร์ที่ทำงานได้จริง แต่มีบางโครงการและเอกสาร:
ฉันยังพบจุดที่น่าสนใจนี้: คุณสามารถเรียกใช้ตัวแก้ปัญหาปกติหลาย ๆ ครั้งด้วยเมล็ดที่แตกต่างกันในปัญหาเดียวกันในแบบคู่ขนานเพื่อให้ได้ผลแบบมัลติคอร์
แก้ไข:ผสมผสานความคิดเห็นของฉันกับแนวคิดของ vzn ที่นี่:
วิธีอื่นที่คล้ายกันคือเลือกตัวแปรเพียงตัวเดียวตั้งค่าเป็นจริงส่งไปยังอินสแตนซ์ตัวแก้ ตั้งค่าเป็น false และส่งไปยังอินสแตนซ์ตัวแก้ปัญหาอื่น คุณสามารถทำสิ่งนี้เพื่อตัวแปรและเรียกใช้กระบวนการพร้อมกัน การเลือกตัวแปรที่จะตั้งอาจเป็นเรื่องยุ่งยากเล็กน้อยเช่น หากพวกเขาพึ่งพากันโดยตรงจากนั้นก็ไม่มีประโยชน์ที่จะเลือกอย่างใดอย่างหนึ่ง ขั้นตอนการทำให้เข้าใจง่ายอาจจำเป็นในการทำตัวเลือกที่ต่อเนื่อง / เรียกซ้ำ2 kk2k
(ฉันก็จะมีความสุขถ้ามีคนให้เวลาฉันโดยประมาณ (ถ้าเป็นไปได้) เพื่อแก้ปัญหา X clause Y ตัวแปร SAT ปัญหา)
ไม่มีใครให้เวลาคุณโดยประมาณโดยใช้ตัวแปรคำสั่งเนื่องจากปัญหา SAT บางอย่างเป็นเรื่องยากมาก (อ่าน: ไม่เกิดขึ้น) เพื่อแก้ปัญหาแม้จะมีขนาดเล็ก ; ในขณะที่อินสแตนซ์ขนาดใหญ่อื่น ๆ สามารถแก้ไขได้ค่อนข้างเร็ว (และสำหรับอินสแตนซ์เหล่านี้ที่ sat satver มีประโยชน์)n เมตร, nmnm,n