In the solving process, two main te

In the solving process, two main techniques are used:search and constraint propagation. Constraint propagation is a technique for pruning the search space, by trying to detect
inconsistency as soon as possible. With search, a problem is split into sub-problems which are solved recursively. Solving a problem is therefore the traversal of a tree whose nodes correspond to the sub-problems (partial assignments) and where the root of the tree is the initial problem with no assignments.

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

ในการแก้ปัญหา ใช้เทคนิคหลักที่สอง: ค้นหาและจำกัดการแพร่กระจาย เผยแพร่ข้อจำกัดเป็นเทคนิคสำหรับการ pruning พื้นที่การค้นหา การพยายามตรวจหาคล้องได้เร็วที่สุด ค้นหา ปัญหาถูกแบ่งออกเป็นปัญหาย่อยที่ recursively แก้ไข แก้ปัญหาได้ดังนั้นการเดินทางของต้นไม้โหนตรงปัญหาย่อย (บางส่วนกำหนด) และที่รากของต้นไม้เป็นปัญหาเริ่มต้น ด้วยการกำหนดไม่

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

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

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

ในกระบวนการแก้ 2 เทคนิคหลักที่ใช้ : ค้นหาและทำการขยายพันธุ์โดยการเพาะเมล็ด จำกัดการแพร่กระจายเป็นเทคนิคสำหรับการค้นหาพื้นที่ โดยพยายามที่จะตรวจสอบ
ไม่เร็วเท่าที่จะเป็นไปได้ กับการค้นหา ปัญหา คือ ปัญหาที่แก้ไขได้แบ่งออกเป็นย่อย recursively .การแก้ไขปัญหาจึงเป็นหรือของต้นไม้ที่โหนดที่สอดคล้องกับปัญหาย่อย ( มอบหมายงานบางส่วน ) ที่รากของต้นไม้ที่เป็นปัญหาแรกที่ไม่มีการมอบหมายงาน