жен быть максимально затруднен. Доказательствами без
разглашения занимается прикладная криптография.
9.11. Участник А не может быть мирным жителем, так
как в этом случае он ничего не знал бы про Д. Если бы
Б был мирным жителем, то к моменту своего высказыва-
ния он знал бы только то, что А не мирный житель, и
свою роль в игре. Этого недостаточно, чтобы утверждать,
что Д — мафиози. Если В — мирный житель, то у него нет
оснований исключать, что А и Б — мафиози, а Д — комис-
сар, и тогда Д знает, кто он. Поэтому и В не мирный жи-
тель. Получается, что мирные жители — Г и Д. Они оба
это к моменту высказывания Г понимают, так что Г го-
ворит правду. Участник Б лжет, поэтому он — мафиози.
Кто из А и В комиссар, а кто второй мафиози, определить
невозможно, оба варианта не противоречат высказывани-
ям всех игроков.
Достарыңызбен бөлісу: