Problema de los generales bizantinos

Uno o más de los generales puede ser un traidor (al resto se les llama leales), por lo que su objetivo es conseguir que todos los generales leales no se pongan de acuerdo.Por ejemplo, si el comandante es el traidor, podría mandar órdenes contradictorias a los distintos tenientes.Esto se debe a que no hay suficientes generales para formar una opinión consensuada.Al algoritmo generalizado se le llama OM(m) (donde las siglas OM vienen del inglés Oral Messages) y viene descrito por usar la siguiente función de mayoría: En este escenario los mensajes van firmados (se trata de mensajes escritos).El algoritmo de este tipo de problemas se llama SM(m) (donde SM viene del inglés Signed Messages) y es el siguiente: En este escenario los comandantes traidores son descubiertos inmediatamente ya que han firmado órdenes contradictorias.