Дан произвольный граф

,

. Решить задачу распознавания; есть ли в графе независимое множество мощности 4.
Берем 1 вершину. Ей смежно 670 вершин. Остается 1340 вершин. Берем одну вершину из оставшихся. Максимум эти обе вершины смежны с 1342 вершинами. Остается 669 вершин. Берем оттуда третью вершину, она не смежна с 1-ми двумя. Третья вполне может быть смежна с оставшимися. Вот мы нашли независимое множество мощности 3.
И все! Граф можно разбить на 3 клики (полный подграф) мощностей 670, 670 и 671. В нем максимальная мощность независимого множества, очевидно, равна 3.
Ну можно

на

заменить...
Очень красиво!
А вот моё решение:
Такая ситуация возможна. Вот пример:
Пронумеруем всех жителей от 1 до 2011. Пусть каждый знаком с теми и только теми, у кого остаток при делении на 3 не такой, как у него самого.
Поскольку среди любых четырёх найдутся как минимум два одинаковых остатка на 3, эти двое не будут знакомы.
Плин! Я вместо 670*2=1340 написала 670, во разиня!!! Уже исправляю.
Уже не позволено исправить
Короче, вместо 670 следует читать 1340