Tag Archives: proof

Византийские генералы. Доказательство невозможности

TweetОписание Приведенный в статье «Алгоритм византийских генералов» алгоритм решения задачи о византийских генералах работает только когда , где — число предателей. Сейчас покажем, что является граничным значением. (далее — множество передач сообщений генералов, — множество значений, которые получили генералы). Не получится достигнуть единогласия, если ни только с раундами, но и с бесконечным количеством раундов обмена […]