Добрый вечер!
Пусть дан граф

.
Обычный такой, хороший граф, у которого полно ребер, является связным графом. Количество компонент связности ровно 1 штука.
Пусть

- количество вершин.
Пусть

- количество ребер.
Но граф этот необычен вот чем:
Выбрав несколько вершин, припишем им значения, имена или что-то в этом духе.
Пусть таких именованных вершин

штук.
Понятны следующие ограничения:

- "двойное" имя, фу-фу

- "пока" так.
Вопрос:

Более сложный вопрос:
Дополнительное условие - наш граф - мультиграф. пропадает ограничение на r.
Но возникает следующее ограничение:
При достаточно большом количестве ребер с вероятностью, стремящейся к единице, можно сказать, что данный мультиграф имеет возможность "тасовать" имена вершин из любого состояния в любое.