Altogether, a linearization f of ou

Altogether, a linearization f of our actions leads to at most K unsatisfied preconditions if and only if f satises the requirements for a directed optimal linear arrangement. Obviously, the action set and K can b e computed in p olynomial time.

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

hoàn toàn, một f tuyến tính của các hành động của chúng ta dẫn đến nhiều nhất là k điều kiện tiên quyết không hài lòng khi và chỉ khi f satis es các yêu cầu cho một sự sắp xếp tối ưu tuyến tính chỉ dẫn. rõ ràng là, các thiết lập hành động và k có thể được tính trong thời gian olynomial p.

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

Nhìn chung, một f linearization chúng tôi hành động dẫn đến tối đa K unsatisfied điều kiện tiên quyết nếu và chỉ nếu f satis es các yêu cầu cho một sự sắp xếp tuyến tính hướng dẫn tối ưu. Rõ ràng, các hành động thiết lập và K có thể b e tính trong p olynomial thời gian.