уточните пожалуйста какая именно любая группа???по какому признаку они считаются группой!???

абсолютно любая группа из 6 человек

меня смущает термин общий незнакомец.. это значит что каждый из троих никодне не видел двух других?

Вообщем либо я чего-то не догоняю либо условие неполное и непонятное.......

Romul - я правильно понял, что отношение между любой парой из 6 человек можно определить как бинарное (знаком/незнаком)?

сам не совсем понял. Задачку спер. Ответ видел, но не понял. Поэтому решил узнать другие мнения.

Эльдар, наверное так.

Мне кажется я понял что требуется - щас попытаюсь доказать (или наоборот).

Я так понимаю что ГРУППА людей это люди объединенные каким либо признаком...их обобщающим....так я и спрашиваю каким...если мы возьмем 6 человек по одному с разного континента разного сочиального статуса,разного возраста...разного рода деятельности...то никогда мы не докажем что требуется......

На самом деле тупняк. Условие кривое. Доказывать нечего. Группа может состоять из 6 знакомых или незнакомых людей.

Не спорю, что может состоять и из 3 знакомых/незнакомых, но это субсет.

Катюня Ты даже меня потеряла

Вобщем кладу ответ. Потому как сам не совсем условие понял.

Возьмём человека Х. Из пяти других людей, должны или иметься по крайней мере три знакомых X или по крайней мере три незнакомца для X. Допустим, что X имеет трех незнакомцев А, В, C. Если A, B, C не требуемая триада знакомых, они должны включить пару незнакомцев, например A и B. Тогда X, A, B - требуемая триада незнакомцев.

Как я сказал - тупняк. Три знакомых - это только субсет. Если четыре (или больше) знакомых то естественно будет и три знакомых. Можно было с таким же успехом спросить: приведите доказательство того что любая группа из 6 человек включает человека который либо знает кого-то из других или не знает.

Согласен