13.5.1.3 RationaleAt the end of pha

13.5.1.3 Rationale
At the end of phase 1, Vp may not be identical for every correct process p. The action
∃ (rq, Dq, q): Dq[k] = ⊥∧ Vp[k] ≠ ⊥ → Vp[k]: = ⊥; Dp[k]: = ⊥ (in phase 2) helps p realize that q did not receive the input from process k and prompts p to delete the controversial input from Vp. As a result, when phase 2 ends, ∀p,q : Vp = Vq holds. Since there is at least one cor- rect process that is not suspected by any correct process, at least of one of the elements in Vp contains a valid input value. Therefore, phase 3 produces a common value for every process.

Результаты (русский) 1:

13.5.1.3 обоснованиеВ конце этапа 1 вице-президент не может быть одинаковыми для каждого правильного процесса p. Действие∃ (rq, Dq, q): Dq [k] = ⊥∧ Vp [k] ≠ ⊥ → Vp [k]: = ⊥; DP [k]: = ⊥ (в фазе 2) помогает p осознать, что q не получает входные данные от процесса k и предлагает p чтобы удалить спорный ввод из ВП. В результате, когда Фаза 2 концов, ∀p, q: Vp = Vq держит. Поскольку хотя бы один процесс кор rect, который не подозревают любого правильного процесса, по крайней мере одного из элементов в Vp содержит допустимое входное значение. Таким образом этап 3 производит общее значение для каждого процесса.

Результаты (русский) 2:

13.5.1.3 Обоснование
В конце фазы 1, Ур не могут быть одинаковыми для каждого правильного процесса р. Действие
∃ (RQ, дк, д): Ид [к] = ⊥∧ Ур [K] ≠ ⊥ → Vp [к]: = ⊥; Dp [к]: = ⊥ (в фазе 2) помогает осознать , что р д не получить входные данные от процесса к и побуждает р удалить спорную вход от Уф. В результате, когда фаза 2 заканчивается, ∀p, д: Vp = Уд держит. Поскольку существует по меньшей мере один процесс кор- Rect , который не подозревал ни правильного процесса, по крайней мере , одного из элементов в Vp содержит действительное значение входного сигнала. Таким образом, фаза 3 производит общее значение для каждого процесса.