Proof. Claim 11.13 implies that wit

Proof. Claim 11.13 implies that within time 4g, either i reaches ~- or i t 1 reaches L. In the latter case, we are done, so assume that i reaches ~-. If, in the meantime, i- 1 has reached L, we are done, so assume that it has not. Then i - 1 must still be in %+ U RU F. Moreover, if i - 1 is still in ~ U RU F, then i- l's next random choice is still right. So then Claim 11.14 implies that in at most additional time t~, some process reaches L.

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

Bằng chứng. Yêu cầu bồi thường 11.13 ngụ ý rằng trong thời gian 4g, hoặc là tôi đạt ~- hoặc tôi t 1 đạt L. Trong trường hợp thứ hai, chúng tôi đang thực hiện, vì vậy giả sử tôi đạt ~-. Nếu, trong khi đó, i-1 đã đạt L, chúng tôi đang thực hiện, vì vậy giả định rằng nó đã không. Sau đó tôi - 1 vẫn còn phải ở % + U RU F. Hơn nữa, nếu tôi - 1 là vẫn còn trong ~ U RU F, sau đó i - lê kế tiếp ngẫu nhiên sự lựa chọn là vẫn còn đúng. Vì vậy, sau đó yêu cầu bồi thường 11.14 ngụ ý rằng trong hầu hết thời gian bổ sung n ~, một số quá trình đạt đến L.

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

Bằng chứng. Khai 11.13 ngụ ý rằng trong thời gian 4g, hoặc là tôi đạt ~ - hoặc nó 1 đạt L. Trong trường hợp sau, chúng tôi đang làm, vì vậy giả sử rằng tôi đạt ~ -. Nếu, trong khi chờ đợi, i- 1 đã đạt L, chúng tôi đang làm, vì vậy giả định rằng nó không có. Sau đó, tôi - 1 vẫn phải được theo% + U RU F. Hơn nữa, nếu tôi - 1 vẫn còn trong ~ U RU F, sau đó i- lựa chọn ngẫu nhiên tiếp theo l's vẫn còn đúng. Vì vậy, sau đó yêu cầu bồi thường 11,14 ngụ ý rằng trong ít nhất thêm thời gian t ~, một số quá trình đạt L.