Переформулируем задачу на теорию графов:
Если все вершины графа разделить на два множества, то найдется ребро, соединяющее вершину одного множества с вершиной другого. Доказать, что граф связный.
Докажем от противного. Пусть граф несвязный, тогда у него есть как минимум две компоненты связности. Тогда возьмем такое разбиение графа на группы: в первой группе будут только вершины первой компоненты связности, а в другой группе будут все остальные вершины. В таком случае, по условию задачи существует ребро из вершины первой группы в вершину второй, но это невозможно, так как вершины принадлежат к разным компонентам связности, а по определению между двумя разными компонентами связности нет ребер. Противоречие, следовательно, граф связный. Что и требовалось доказать.
<span>В блок-схеме условие ветвления изображается в ромбе, из которого выходят две стрелки:
«Да» - указывает на команды, которые будут выполняться, если условие соблюдено;
«Нет» - указывает </span>на команды, которые будут выполняться, если условие не соблюдено.