Дан граф с кол-вом вершин
. Известно, что
,
- множество вершин графа. Докажите, что вершины графа можно разбить на два непустых подмножества так, что в каждом подмножестве любая вершина соединена ребром как минимум с двумя другими вершинами из этого же подмножества.
Всё, что удалось вытянуть из условия: из того, что степени каждой вершины равна
следует, что в графе есть цикл(в любой компоненте связности нет висячей вершины), а так же то, что подмножества из разбиения одновременно содержат чётное или нечётное число вершин (поскольку
).
Я попытался строить эти подмножества итеративно, однако не хватило строгости рассуждений. Попробовал от противного, но запутался окончательно.