Пусть 

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

, 

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

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

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

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

).
Собственные попытки решения задачи:
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.