Problemas bizantinos generales fáciles de entender: análisis en profundidad
Descripción del problema entre los dos ejércitos:
Esto tiene algunas similitudes y diferencias con el problema de los generales bizantinos. entonces debemos tener en cuenta:
El problema fundamental entre los dos ejércitos es la falta de confiabilidad del canal, es decir, las señales no se pueden sincronizar verdaderamente, por lo que la única forma de lograr una verdadera sincronización es la comunicación cuántica. después de todo, no se puede conseguir confiando únicamente en lo cuántico:
En el análisis final, es una cuestión algorítmica sobre coherencia y corrección. Apunta a generales leales porque los traidores pueden emitir cualquier juicio fuera del acuerdo. Solo queremos encontrar un algoritmo antiinterferencia bajo la interferencia de los traidores.
De manera similar al protocolo de enlace de tres vías TCP/IP, también adoptamos un mecanismo tolerante a fallas. Finalmente, al restringir algunas condiciones, se puede obtener la autenticidad de la información incluso si hay traidores.
Descripción del fallo:
Una forma que satisface las tres condiciones siguientes se denomina acuerdo verbal:
Para sumas de números enteros positivos, cuando la gráfica es regular, el algoritmo OM(m,p) se define como:
En el algoritmo, el comandante envía una orden firmada a cada uno de sus lugartenientes. Luego, cada ayudante firmó la orden y la envió a los demás ayudantes. El ayudante que recibió la orden firmó con su nombre y se la envió a los demás ayudantes. ...
El algoritmo también asume una función de selección que actúa sobre un conjunto de comandos para obtener un único comando. La función de elección debe satisfacer:
Por ejemplo, la función de elección puede ser el valor mediano de un conjunto ordenado.
Comando se refiere al valor de comando firmado por el general, y se refiere a la orden firmada por el general y luego firmada por el general. Dejemos que el general sea el comandante y cada teniente mantendrá un conjunto de comandos que contiene los valores de comando correctamente firmados que ha recibido. Si el comandante es leal, entonces no habrá más de un elemento en este conjunto de valores.
Tener un acuerdo por escrito es muy emocionante. ¿No resuelve esto el problema de los generales bizantinos? Pero tenga en cuenta que en realidad agregamos algunas condiciones a A1 ~ A4 para que el problema general bizantino pueda resolverse bajo estos supuestos, pero surgen algunos problemas en la situación real. Al observar A1-A4, hicimos algunas suposiciones que en la realidad son difíciles de completar, como por ejemplo: