A key ingredient of any constraint

A key ingredient of any constraint approach is a clever branching strategy. The construction of the search tree is done according to a series of Branching objects (that plays the role of achieving intermediate goals in logic programming). The user may specify the sequence of branching objects to be used to build the search tree. A common way to branch in CP is by assigning variables to values (such a branching is called AssignVar in choco). We will present in this section how to define your branching strategies with existing variables and values selectors.

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 phân nhánh. Xây dựng cây tìm kiếm được thực hiện theo một loạt các đối tượng Branching (mà đóng vai trò của việc đạt được các mục tiêu trung gian trong lập trình logic). Người dùng có thể xác định trình tự của các đối tượng phân nhánh được sử dụng để xây dựng cây tìm kiếm. Một cách phổ biến để chi nhánh tại CP là bằng cách gán các biến giá trị (như một phân nhánh được gọi là AssignVar trong sô cô la). Chúng tôi sẽ trình bày trong phần này làm thế nào để xác định chiến lược của bạn phân nhánh với sẵn có biến và giá trị selectors.

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 thông minh phân nhánh. Việc xây dựng cây tìm kiếm được thực hiện theo một loạt các đối tượng nhánh (đóng vai trò của đạt được mục tiêu trung gian trong lập trình logic). Người dùng có thể xác định trình tự của các phân nhánh đối tượng được sử dụng để xây dựng cây tìm kiếm. Một cách phổ biến đến chi nhánh trong CP là bằng cách gán biến để giá trị (một phân nhánh như vậy được gọi AssignVar trong choco). Chúng tôi sẽ trình bày trong phần này như thế nào để xác định chiến lược phân nhánh của bạn với các biến hiện có và giá trị selectors.