Здравствуйте, Tilir, Вы писали:

T>Здравствуйте, chaotic-kotik, Вы писали:

L>>>3. Для построения функциональной команды не нужны специалисты по гномикам.
CK>>а это кто такие? я не в курсе, какой-то местный сленг?

T>О, вы не знаете базовых вещей =)

T>Смотрите, значит, задача. Людоед взял в плен счетно-бесконечное количество гномиков. Завтра утром людоед построит гномиков в шеренгу в затылок (так что каждый гномик будет видеть бесконечное количество гномиков перед собой) и наденет на них рандомно красные и зеленые колпачки. Каждый гномик не видит свой колпачок и сзади себя, но видит колпачки всех гномиков перед собой. После этого все гномики одновременно должны будут сказать какой-то из двух цветов: "красный" или "зеленый" при этом каждый говорит свой цвет. Если гномик не угадал, людоед его съедает. Известно что и красных и зеленых колпачков будет счетно-бесконечное количество. Ваша задача: определить как гномикам в ночь договориться друг с другом, чтобы выработать стратегию что они будут говорить чтобы людоед съел не более чем конечное (сколь угодно большое) количество гномиков.

T>При решении можете опираться на аксиоматику ZFC.

Странная какая-та задача.
То ли я чего-то недопонял, то ли в условии что-то пропущено.
Если гномики говорят свой цвет одновременно — значит никто из них не может передать другим информацию.
Раз людоед ставит их сам и сам надевает колпаки- значит своим построением они тоже не могут передать информации.
Если ничего заранее не известно о колпаках (например, что там обязательно поровну К и З), то и никаких предположений по виденным впереди колпкам построить низзя.
Итого, имеем схему с независимыми испытаниями и неизвестным распределением.
И остается гномам чистый угадаст.
Что я пропустил?