Theorem 11.17 The LehmannRabin algo

Theorem 11.17 The LehmannRabin algorithm guarantees well-formedness, mu- tual exclusion, and independent progress. It also guarantees progress with prob- ability 1.

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

Định lý 11.17 The LehmannRabin algorithm đảm bảo tốt-formedness, mu-tual loại trừ và tiến bộ độc lập. Nó cũng đảm bảo tiến độ với khả năng prob 1.

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

Định lý 11.17 Các thuật toán LehmannRabin đảm bảo tốt formedness, trừ tual mu-, và tiến bộ độc lập. Nó cũng đảm bảo tiến độ với khả năng prob- 1.