Пусть - связный неориентированный граф. Так как любые две вершины графа и связаны, то существуют простые цепи с концами и . Таких цепей может быть несколько. Их длины являются неотрицательными целыми числами. Следовательно, между вершинами и должны существовать простые цепи наименьшей длины. Длина цепи наименьшей длины, связывающей вершины и , обозначается символом и называется расстоянием между вершинами и . По определению .
Нетрудно убедиться, что введенное таким образом понятие расстояния, удовлетворяет аксиомам метрики:
1. ;
2. тогда и только тогда, когда ;
3. ;
4. справедливо неравенство треугольника:
Пошаговое объяснение:
Для начала научимся считать взять с собой сколько-нибудь пар носков. Первую пару носков можно выбрать шестью , потому что пар всего шесть, вторую пару носков — пятью , потому что после выбора первой пары пар осталось пять. Третью пару носков — четырьмя , и так далее. Однако Вовочке не важно, в каком порядке он берёт пары носков. Он может взять сначала первую, потом вторую, или сначала вторую, потом первую — и это будет один и тот же . Поэтому произведение, которое мы описали выше, надо разделить на количество переставить между собой взятые пары носков. Сколькими же их можно переставить? На первое место может встать одна из выбранных пар, на второе место — любая пара, кроме одной, что уже выбрана, на третье место — любая пара, кроме двух выбранных, и так далее. То есть, например выбрать три пары носков из шести — 6⋅5⋅43⋅2⋅1.
Для удобства количество выбрать пары носков будем обозначать через C36: снизу общее количество пар носков, сверху — сколько мы выбираем.
Вернемся к поставленной задаче. Посчитаем взять с собой меньше, чем 2 пар(-ы) носков: их C04+C14, и это число нужно домножить на 3 — сколькими можно взять с собой грелку. К результату прибавим количество взять с собой хотя бы 2 пары носков: C24+C34+C44.
Получим: 3⋅(C04+C14)+C24+C34+C44=26
