trong lần thử nghiệm của chúng tôi, chúng tôi thấy rằng các hành động song song thêm điều kiện tiên quyết của nhau o ccur rất hiếm khi trong nhiệm vụ thử nghiệm của chúng tôi thậm chí xấp xỉ là không có giá trị e ort. do đó chúng tôi chỉ đơn giản là linearize tất cả các hành động theo thứ tự được chọn, gây ra hầu như không có chi phí tính toán ở tất cả các
đang được dịch, vui lòng đợi..