The interesting thing to prove abou

The interesting thing to prove about the LehmannRabin algorithm is that it guarantees progress with probability 1. Actually, rather than just proving progress with probability 1, we will prove a stronger probabilistic time bound claim, of the form

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

Điều thú vị để chứng minh về thuật toán LehmannRabin là nó đảm bảo tiến độ với xác suất 1. Trên thực tế, thay vì chỉ chứng tỏ sự tiến bộ với xác suất 1, chúng tôi sẽ chứng minh một thời gian xác suất mạnh ràng buộc yêu cầu bồi thường của các hình thức

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

Điều thú vị để chứng minh về các thuật toán LehmannRabin là nó đảm bảo tiến độ với xác suất 1. Trên thực tế, chứ không chỉ chứng minh sự tiến bộ với xác suất 1, chúng ta sẽ chứng minh một thời gian xác suất mạnh yêu ràng buộc, có dạng