Theorem 13.2Using oral messages, th

Theorem 13.2

Using oral messages, there is no solution to the byzantine generals problem when there are three generals and one traitor.
Proof (by contradiction): Assume that there exists a solution to the byzantine generals problem for a system S consisting of the generals P, Q, R (Figure 13.4a), of which one is a traitor. In Figure 13.4b, define another system SS that consists of two copies of each general—P′,Q′,R′ are clones of P, Q, R, respectively. Note that based on the local knowledge about his own neighborhood, no general can distinguish whether it belongs to S or SS. We call them look-alike systems.
Assume that in SS, each process is nonfaulty. Also, each of the generals P,Q,R′ has an ini- tial value x, and each of the other generals P′,Q′,R has a different initial value y (i.e., x ≠ y). System SS can mimic at least three separate instances of a three-general system in which one

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

Теорема 13.2Использование устных сообщений, нет никакого решения проблемы византийских генералов когда три военачальника и один предателя.Доказательство (по противоречие): Предположим, что существует решение проблемы византийских генералов для системы S, состоящая из генералов P, Q, R (рис. 13.4a), один из которых является предателем. На рисунке 13.4b, определить другую систему СС, которая состоит из двух копий каждого общего — P′, Q′, R′ являются клонами P, Q, R, соответственно. Обратите внимание, что на основе местных знаний о его окрестности, не общего может отличить ли оно принадлежит к S или SS. Мы называем их подобными системами.Предположим, что в СС, каждый процесс nonfaulty. Кроме того, каждый из генералов P, Q, R′ имеет значение ТИАЛ ini - x и каждый из других генералов P′, Q′, имеет другое начальное значение y (то есть, x ≠ y). Система СС может имитировать минимум три отдельных экземпляров трех общей системы, в которой один

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

Теорема 13.2

Использование устных сообщений, нет никакого решения византийскому проблемы генералов , когда есть три генерала и один предатель.
Доказательство (от противного): Предположим , что существует решение византийскому проблемы генералами для системы S , состоящей из генералов P , Q, R (рис 13.4a), один из которых является предателем. На рисунке 13.4b, определить другую систему SS , которая состоит из двух копий каждого общего-P ', Q', R 'являются клонами P, Q, R соответственно. Обратите внимание , что на основе местных знаний о своем собственном окружении, ни один вообще не может различить , принадлежит ли она S или SS. Мы называем их Двойник систем.
Предположим , что в СС, каждый процесс nonfaulty. Кроме того , каждый из генералов P, Q, R 'имеет значение ини- TiAl х, и каждый из других генералов Р', Q ', R имеет другое начальное значение у (то есть х ≠ у). Система SS может имитировать по меньшей мере , три отдельные экземпляры трех общей системы , в которой одна

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

The nearby?