Laboratory of Mathematical Logic at PDMI

Пятница, 27 сентября, комната 106. Начало в 16:00.

Докладчик: Ю. Лифшиц.

ЗАДАЧА О ВИЗАНТИЙСКОМ СОГЛАШЕНИИ. ЕЕ ОТНОШЕНИЕ К СИСТЕМАМ НАДЕЖНОСТИ.
Формулировка: Есть n генералов, каждый из которых принял свое решение отступать или атаковать. Среди них t подкуплено, действия этих генералов непредсказуемы. Известно что 3t<n. Тогда можно создать такой протокол (одинаковый для всех генералов) пораундового обмена информацией так, чтобы 1) все генералы приняли итоговое решение, 2) все честные генералы принимают одинаковое решение, 3) это решение должно совпасть с исходным решением хотя бы одного честного генерала.
Задача поставлена в 1980 году, окончательно решена в 1998 в работе Гарая и Мозеса. Кроме того, в работе Фишера и др. доказана минимальность их алгоритма по количеству раундов (их необходимо t+1).