Then within time ~, both i and i +

Then within time ~, both i and i + 1 check their shared fork. Whichever checks it first gets it. If the first one is i, then we have i C ~-, as needed. If not, then we get i + 1 E -~, which reduces to the previous case. The time for this case is thus at most 4f.

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

Sau đó trong thời gian ~, cả tôi và i + 1 kiểm tra fork được chia sẻ. Tùy theo cái nào sẽ kiểm tra nó lần đầu tiên được nó. Nếu người đầu tiên là tôi, sau đó chúng tôi có tôi C ~-, khi cần thiết. Nếu không, sau đó chúng tôi nhận được i + 1 E-~, làm giảm án trước đó. Thời gian cho trường hợp này là do đó 4f.

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

Sau đó, trong thời gian ~, cả i và i + 1 kiểm tra ngã ba chung của họ. Cho dù kiểm tra nó lần đầu tiên được nó. Nếu một trong những đầu tiên là tôi, sau đó chúng ta có i C ~ -, khi cần thiết. Nếu không, sau đó chúng ta có được i + 1 E - ~, làm giảm đến trường hợp trước. Thời gian cho trường hợp này là như vậy, tại hầu hết các 4f.