Description of the problem between the two armies:
There are some similarities and differences between this and the Byzantine general's question, so we must pay attention to:
The fundamental problem of the two armies lies in the unreliability of the channel, that is, the signals can't be really synchronized, so the only way to achieve real synchronization is quantum communication-after all, you can't get it by quantum alone:
In the final analysis, it is an algorithm problem about consistency and correctness. It is aimed at loyal generals, because traitors can make any judgment outside the agreement. We just want to find an anti-interference algorithm under the interference of traitors.
Similar to three-way handshake of TCP/IP, we also adopt fault-tolerant mechanism. Finally, by limiting some conditions, even traitors can get the truth of the information.
Description of failure:
A way to meet the following three conditions is called an oral agreement:
For the sum of positive integers, when the graph is regular, the algorithm OM(m, p) is defined as:
In the algorithm, the commander sends a signature command to each of his adjutants. Then, each adjutant signs the order and sends it to other adjutants. The adjutant who received the order signed his name and sent it to other adjutants. ......
The algorithm also assumes a selection function that acts on a set of commands to obtain a single command. The selection function needs to satisfy:
For example, the choince function can be the median of an ordered set.
Command refers to the command value signed by the general, and refers to the command signed by the general after the general signs it. Let the general become the commander, and each adjutant maintains a command set, which contains the correctly signed command values he receives. If the commander is loyal, there will be no more than one element in this value set.
The conclusion of the written agreement is very exciting. Didn't this solve the problem of Byzantine generals? However, please note that we actually added some conditions in A 1~A4, which made the general problems of Byzantium solved under these assumptions, but some problems appeared in the actual situation. Observing A 1-A4, we made some assumptions that are difficult to complete in reality, such as: