The LehmannRabin algorithm was desi

The LehmannRabin algorithm was designed by Lehmann and Rabin [192]. An informal proof sketch appears in [192], but it is not clear how to formalize that sketch. The proof presented here was developed by Lynch, Saias, and Segala [208], following an earlier proof in a similar style by Pnueli and Zuck [244]. Lehmann and Rabin [192] gave a modification of the LehmannRabin algorithm that also guarantees lockout-freedom with high probability.

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

Thuật toán LehmannRabin được thiết kế bởi Lehmann và Rabin [192]. Một bức phác hoạ bằng chứng không chính thức xuất hiện trong [192], nhưng nó không phải là rõ ràng làm thế nào để chính thức hóa mà phác thảo. Bằng chứng trình bày ở đây đã được phát triển bởi Lynch, Saias và Segala [208], theo một chứng minh trước đó trong một phong cách tương tự như của Pnueli và hiện [244]. Lehmann và Rabin [192] đã cung cấp một sửa đổi của các thuật toán LehmannRabin cũng đảm bảo tự do khóa với xác suất cao.

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

Các thuật toán LehmannRabin được thiết kế bởi Lehmann và Rabin [192]. Một phác thảo bằng chứng chính thức xuất hiện trong [192], nhưng nó không phải là rõ ràng như thế nào để chính thức phác thảo đó. Các bằng chứng được trình bày ở đây được phát triển bởi Lynch, Saias, và Segala [208], sau đây là một bằng chứng trước đó trong một phong cách tương tự bởi Pnueli và Zuck [244]. Lehmann và Rabin [192] đã đưa ra một sửa đổi của thuật toán LehmannRabin đó cũng đảm bảo lockout-tự do với xác suất cao.