Пусть

— количество различных точек на некоторой прямой

,

— количество различных отрезков, которые можно использовать для соединения двух произвольных точек. Чему, в общем случае, равно число вариантов

соединения точек данным количеством отрезков, если в каждом варианте
каждая точка должна принадлежать концу хотя бы одного отрезка? Необходимо представить формулу

с доказательством. На
рисунке представлены некоторые тривиальные случаи с эмпирическим выводом

(отрезки показаны кривыми

).
Собственные попытки решения задачи:
1. Тот факт, что точки принадлежат прямой, не выглядит существенным, но, возможно, намекает на метод поиска решения (оно может быть геометрическим, комбинаторным или другим).
2.
Вероятно,
, т.к. правая часть есть общее число вариантов соединения
произвольных точек отрезками. Гипотеза опровергается эмпирической проверкой для

.
3. Есть интуиция, что решение может быть как-то связано с построением системы Штейнера вида

.
4. Эмпирический способ решения задачи:
4.1. Каждый отрезок

можно обозначить вектором

длины

:
![$v_i=[p_1, p_2, ..., p_N], p_j \in \left\{0, 1\right\}, j \in \left\{1, 2, ..., N\right\}$ $v_i=[p_1, p_2, ..., p_N], p_j \in \left\{0, 1\right\}, j \in \left\{1, 2, ..., N\right\}$](https://dxdy-01.korotkov.co.uk/f/c/d/f/cdfc2ea5d7823aa73fc606916d6f747c82.png)
. Каждый элемент

показывает принадлежность исходной точки под номером

данному отрезку. Будем рассматривать

, в которых только некоторые два элемента

, определяющие концы отрезка, равны 1. Имеем

таких векторов.
4.2. Получается, из такого количества векторов

мы можем составить

сумм. Проходя через все эти варианты, мы оставляем только те

сумм из них, в которых каждый элемент результирующего вектора равен или превосходит 1.