In Castro et al. [Castro, C., Monfr

In Castro et al. [Castro, C., Monfroy, E., Figueroa, C., and Meneses, R. (2005), ‘An Approach for Dynamic Split Strategies in Constraint Solving’, inProceedings of MICAI 2005(Vol. 3789), LNAI, Berlin: Springer, pp. 162–174] a framework for adaptive enumeration strategies and meta-backtracks for a propagation-based constraint solver has been studied. Here, we extend this framework in order to trigger some functions of a solver, or of a hybrid solver to respond to some observations of the solving process. We can also simply design adaptive hybridisation strategies by just changing some rules of the update component of our framework. We experiment with this framework on a hybrid Branch and Bound + propagation solver in which propagation can be triggered w.r.t. some observations of the solving process. The results show that some phases of propagation are not only beneficial to the Branch and Bound algorithm, but also that propagation is too costly to be executed at each node of the search tree. The hybridisation strategies are thus crucial in order to decide when to perform the or not propagation. [ABSTRACT FROM AUTHOR]

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

ใน Castro ร้อยเอ็ด [Castro, C., Monfroy, E., Figueroa, C. และ Meneses, R. (2005), 'เป็นวิธีการแบบไดนามิกแบ่งกลยุทธ์ในการแก้ข้อจำกัด' inProceedings MICAI 2005 (ฉบับ 3789), LNAI เบอร์ลิน: เกอร์ pp. 162-174] กรอบสำหรับการแจงนับการปรับกลยุทธ์และ meta-backtracks สำหรับแก้ข้อจำกัดที่ใช้เผยแพร่ได้รับการศึกษา ที่นี่ เราขยายกรอบนี้เพื่อเรียกฟังก์ชันบางอย่าง ของการแก้ปัญหา หรือแก้ไฮบริตอบข้อสังเกตบางประการของกระบวนการแก้ปัญหา นอกจากนี้เราก็สามารถออกแบบกลยุทธ์การปรับ hybridisation เพียงเปลี่ยนกฎบางอย่างของคอมโพเนนต์การปรับปรุงของกรอบของเรา เราทดลองกับกรอบนี้ไฮบริสาขาและขอบ + แก้เผยแพร่ที่เผยแพร่จะถูกทริกเกอร์น้อย ๆ wrt ข้อสังเกตบางประการของกระบวนการแก้ปัญหา ผลแสดงว่า บางขั้นตอนของการเผยแพร่ไม่เฉพาะสาขาและอัลกอริทึมที่ถูกผูกไว้ แต่ก็แพงที่จะทำในแต่ละโหนดของต้นไม้ค้นหาที่เผยแพร่ กลยุทธ์ hybridisation จึงเป็นสิ่งสำคัญเพื่อตัดสินใจเมื่อจะดำเนินการ หรือไม่เผยแพร่ [บทคัดย่อจากผู้เขียน]

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

ใน Castro, et al [คาสโตรซี Monfroy อีเกรอคและเมเนเซส, R. (2005), 'แนวทางสำหรับกลยุทธ์ Split แบบไดนามิกในการแก้ข้อ จำกัด ' inProceedings ของ MICAI 2005 (ฉบับที่. 3789) LNAI, เบอร์ลิน :. สปริงเกอร์, PP 162-174] กรอบสำหรับกลยุทธ์การแจงนับการปรับตัวและเมตา backtracks สำหรับการขยายพันธุ์ตามข้อ จำกัด ที่แก้ได้รับการศึกษา ที่นี่เราจะขยายกรอบนี้เพื่อที่จะเรียกฟังก์ชั่นของการแก้บางส่วนหรือแก้ไฮบริดเพื่อตอบสนองต่อการสังเกตของกระบวนการแก้บางส่วน นอกจากนี้เรายังสามารถเพียงแค่การออกแบบกลยุทธ์ hybridisation การปรับตัวโดยเพียงแค่การเปลี่ยนแปลงกฎบางส่วนขององค์ประกอบการปรับปรุงกรอบของเรา เราทดสอบกับกรอบนี้บนกิ่งไม้ไฮบริดและ Bound + แก้การขยายพันธุ์ในการขยายพันธุ์ซึ่งสามารถเรียก WRT สังเกตของกระบวนการแก้บางส่วน ผลปรากฏว่าขั้นตอนของการขยายพันธุ์บางอย่างที่ไม่เพียง แต่เป็นประโยชน์ต่อสาขาและขั้นตอนวิธีการที่ถูกผูกไว้ แต่ยังขยายพันธุ์ที่มีค่าใช้จ่ายสูงเกินไปที่จะดำเนินการในโหนดของต้นไม้แต่ละค้นหา กลยุทธ์ hybridisation จึงสำคัญอย่างยิ่งในการที่จะตัดสินใจเมื่อการดำเนินการหรือไม่การขยายพันธุ์ [Abstract จากผู้เขียน]

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

ใน Castro et al . [ Castro , C , monfroy ว่าน ฟิกูโร ซี และ meneses , R ( 2005 ) , ' วิธีการกลยุทธ์แบ่งแบบไดนามิกในข้อจำกัดการแก้ไข ' , inproceedings ของ micai 2005 ( ฉบับที่ 3789 ) lnai เบอร์ลิน : Springer , pp . 162 – 174 ] กรอบสำหรับการปรับเปลี่ยนกลยุทธ์และ meta backtracks สำหรับ การขยายพันธุ์โดยการแก้ได้เรียน ที่นี่ เราขยายกรอบนี้เพื่อที่จะเรียกฟังก์ชันบางอย่างของแก้ หรือแก้เป็นลูกผสมเพื่อตอบสนองต่อข้อสังเกตบางประการของกระบวนการแก้ เรายังสามารถออกแบบกลยุทธ์ไฮบริไดเซชันได้โดยเพียงแค่เปลี่ยนกฎบางอย่างของการปรับปรุงองค์ประกอบของกรอบของเรา เราทดลองกับกรอบนี้ในสาขาไฮบริดและผูก  +  การขยายพันธุ์การขยายพันธุ์แก้ซึ่งสามารถเรียก w.r.t. ข้อสังเกตบางประการของกระบวนการแก้ ผลที่ได้แสดงให้เห็นว่าบางขั้นตอนของการไม่เพียง แต่เป็นประโยชน์ต่อกองบัญชาการ แต่ยังแผ่แพงเกินไปที่จะดำเนินการในแต่ละปมของต้นไม้ค้นหา การไฮบริไดเซชันกลยุทธ์จึงเป็นสำคัญเพื่อตัดสินใจเมื่อจะดำเนินการหรือไม่ ขยายพันธุ์โดยการเพาะเมล็ด จากผู้เขียน [ บทคัดย่อ ]