A key ingredient of any constraint

A key ingredient of any constraint approach is a clever search strategy. In backtracking or branch-and- bound approaches, the search is organized as an enumeration tree, where each node corresponds to a subspace of the search, and each child node is a subdivision of the space of its father node. The tree is progressively constructed by applying a series of branching strategies that determine how to subdivise space at each node and in which order to explore the created child nodes. Branching strategies play the role of achieving intermediate goals in logic programming.

Kết quả (Việt) 1:

Một thành phần quan trọng của bất kỳ phương pháp hạn chế là một chiến lược thông minh tìm. Trong phương pháp tiếp cận backtracking hoặc chi nhánh và ràng buộc, tìm kiếm được tổ chức như là một cây điều tra, nơi mà mỗi nút tương ứng với một con tìm kiếm, và mỗi nút trẻ em là một phân ngành của không gian của nút cha. Cây dần dần được xây dựng bằng cách áp dụng một loạt các chiến lược phân nhánh mà xác định làm thế nào để không gian subdivise tại mỗi nút và đó để khám phá các nút con tạo ra. Chiến lược phân nhánh đóng vai trò của việc đạt được các mục tiêu trung gian trong lập trình logic.

Kết quả (Việt) 2:

Một thành phần quan trọng của bất kỳ phương pháp tiếp cận hạn chế là một chiến lược tìm kiếm thông minh. Trong tùy ý hoặc các phương pháp ràng buộc chi nhánh và đường, việc tìm kiếm được tổ chức như một cây liệt kê, trong đó mỗi nút tương ứng với một không gian con của tìm kiếm, và mỗi nút con là một nhánh của không gian của nút cha của nó. Cây được xây dựng dần dần bằng cách áp dụng một loạt các phân nhánh chiến lược xác định làm thế nào để subdivise không gian tại mỗi nút và trong đó để khám phá các nút con tạo ra. Chiến lược phân nhánh đóng vai trò của đạt được mục tiêu trung gian trong lập trình logic.