When the algorithm AC-3 revises the

When the algorithm AC-3 revises the edge for the second time it re-tests many pairs of values which are already known (from the previous iteration) to be consistent or inconsistent respectively and which are not affected by the reduction of the domain. As this is a source of potential inefficiency, the algorithm AC-4 was introduced to refine handling of edges (constraints). The algorithm works with individual pairs of values as the following example shows.

ผลลัพธ์ (ไทย) 1:

เมื่ออัลกอริทึม AC 3 revises ขอบเป็นครั้งที่สอง ได้อีกทดสอบค่าที่แล้ว (จากก่อนหน้านี้การเกิดซ้ำ) รับว่าสอดคล้อง หรือไม่สอดคล้องตามลำดับ และที่ไม่ได้ผลกระทบจากการลดลงของโดเมนหลายคู่ เช่นนี้เป็นแหล่งที่มาของศักยภาพ inefficiency อัลกอริทึม AC-4 ถูกนำไปปรับปรุงการจัดการของขอบ (ข้อจำกัด) อัลกอริทึมทำงานกับแต่ละคู่ของค่าเป็นรายการตัวอย่างต่อไปนี้

ผลลัพธ์ (ไทย) 2:

เมื่อขั้นตอนวิธี AC-3 ปรับขอบเป็นครั้งที่สองมันทดสอบอีกครั้งหลายคู่ของค่าซึ่งเป็นที่รู้จักกันอยู่แล้ว (จากการย้ำก่อนหน้านี้) เพื่อให้สอดคล้องหรือแย้งตามลำดับและที่ไม่ได้รับผลกระทบจากการลดลงของโดเมน เช่นนี้เป็นแหล่งที่มาของการขาดประสิทธิภาพที่อาจเกิดขึ้นขั้นตอนวิธี AC-4 ได้รับการแนะนำในการปรับแต่งการจัดการของขอบ (จำกัด ) ขั้นตอนวิธีการทำงานร่วมกับคู่ของแต่ละค่าเป็นตัวอย่างที่แสดงให้เห็นต่อไปนี้

ผลลัพธ์ (ไทย) 3:

เมื่ออัลกอริทึม ac-3 และขอบเป็นครั้งแรกมันเป็นแบบทดสอบหลายคู่ของค่าซึ่งรู้จักกันอยู่แล้ว ( จากรูปก่อนหน้านี้ ) เพื่อให้สอดคล้องหรือขัดแย้งกัน ตามลำดับ และที่ไม่ได้รับผลกระทบจากการลดลงของโดเมน นี้เป็นแหล่งศักยภาพประสิทธิภาพ ขั้นตอนวิธีการ ac-4 แนะนำเพื่อปรับปรุงการจัดการของขอบ ( ข้อจำกัด )วิธีการทำงานกับแต่ละคู่ของค่าดังนี้ตัวอย่างที่แสดง