Пусть
— количество различных точек на некоторой прямой
,
— количество различных отрезков, которые можно использовать для соединения двух произвольных точек. Чему, в общем случае, равно число вариантов
соединения точек данным количеством отрезков, если в каждом варианте
каждая точка должна принадлежать концу хотя бы одного отрезка? Необходимо представить формулу
с доказательством. На
рисунке представлены некоторые тривиальные случаи с эмпирическим выводом
(отрезки показаны кривыми
).
Собственные попытки решения задачи:
1. Тот факт, что точки принадлежат прямой, не выглядит существенным, но, возможно, намекает на метод поиска решения (оно может быть геометрическим, комбинаторным или другим).
2.
Вероятно, , т.к. правая часть есть общее число вариантов соединения произвольных точек отрезками. Гипотеза опровергается эмпирической проверкой для
.
3. Есть интуиция, что решение может быть как-то связано с построением системы Штейнера вида
.
4. Эмпирический способ решения задачи:
4.1. Каждый отрезок
можно обозначить вектором
длины
:
. Каждый элемент
показывает принадлежность исходной точки под номером
данному отрезку. Будем рассматривать
, в которых только некоторые два элемента
, определяющие концы отрезка, равны 1. Имеем
таких векторов.
4.2. Получается, из такого количества векторов
мы можем составить
сумм. Проходя через все эти варианты, мы оставляем только те
сумм из них, в которых каждый элемент результирующего вектора равен или превосходит 1.