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 các di erence b etween vị trí của v và u. để làm điều này, chúng ta de ne hành động của chúng tôi trong một cách như vậy mà lớn hơn di erence này 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
đang được dịch, vui lòng đợi..