Using these new logical facts, we n

Using these new logical facts, we now adjust all precondition and add lists to express the constraint that is given by the edge (u;v). Say action u is ordered before action v in a linearization. We need to simulate the difference between the positions of v and u. To do this, we define our actions in a way such that the bigger this dierence is, the more unsatised preconditions there are when executing the linearization. First, we punish" all actions that are ordered before v, by giving them an unsatised precondition

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

sử dụng các sự kiện hợp lý mới, bây giờ chúng tôi điều chỉnh tất cả các điều kiện tiên quyết và thêm danh sách này để thể hiện sự hạn chế được đưa ra bởi cạnh (u, v). nói hành động u được lệnh trước khi v hành động trong một tuyến tính. chúng ta cần để mô phỏng sự khác biệt giữa các vị trí của v và u. để làm điều này, chúng tôi xác định các hành động của chúng tôi trong một cách như vậy mà lớn hơn này di erence là,càng unsatis ed điều kiện tiên quyết có khi thực hiện tuyến tính. đầu tiên, chúng tôi trừng phạt "tất cả các hành động được yêu cầu trước khi v, bằng cách cho họ một unsatis ed điều kiện tiên quyết

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

Chúng tôi sử dụng các sự kiện hợp lý mới, bây giờ điều chỉnh tất cả các điều kiện tiên quyết và thêm các danh sách để thể hiện sự hạn chế được đưa ra bởi các cạnh (u; v). Nói hành động u yêu cầu trước khi hành động v trong một linearization. Chúng ta cần để mô phỏng sự khác biệt giữa các vị trí của v và bạn. Để làm điều này, chúng tôi xác định các hành động theo cách như vậy mà lớn hơn này dierence là, unsatis thêm điều kiện tiên quyết ed có khi thực hiện linearization. Trước tiên, chúng tôi punish "tất cả các hành động được yêu cầu trước khi v, bằng cách cho họ một unsatis ed kiện