Theorem 11.6 The Coloring algorithm

Theorem 11.6 The Coloring algorithm solves the resource-allocation problem and guarantees lockout-freedom, independent progress, a time bound of O(mkc + krnkg) for the trying region, and a time bound of O(k~) for the exit region.

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

Định lý 11.6 The màu thuật toán quyết định phân bổ nguồn lực vấn đề và đảm bảo khóa-tự do, độc lập tiến độ, một thời gian ràng buộc của O (mkc + krnkg) cho khu vực cố gắng, và một thời gian ràng buộc của O(k~) cho khu vực lối ra.

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

Định lý 11.6 Thuật toán màu giải quyết vấn đề phân bổ nguồn lực và đảm bảo lockout-tự do, tiến bộ độc lập, một thời gian ràng buộc của O (MKC + krnkg) cho khu vực cố gắng, và một thời gian ràng buộc của O (k ~) cho khu vực xuất cảnh.