Подскажите, пожалуйста, как решать следующую прикладную задачу.
Пусть задан связный граф
![$G=(V, E)$ $G=(V, E)$](https://dxdy-04.korotkov.co.uk/f/b/b/8/bb897424d38115e73a7ca3b551b749ec82.png)
и отображение
![$c\colon V \to \mathbb R ^2$ $c\colon V \to \mathbb R ^2$](https://dxdy-03.korotkov.co.uk/f/6/7/e/67e20c9bd7f426ea6814a464ebfab02682.png)
. Расстоянием
![$d\colon \mathbb R^2 \times E \to \mathbb R$ $d\colon \mathbb R^2 \times E \to \mathbb R$](https://dxdy-02.korotkov.co.uk/f/1/6/e/16e1ef51ad35cc5a2f250a15d8eb33e182.png)
от точки
![$x\in \mathbb R^2$ $x\in \mathbb R^2$](https://dxdy-04.korotkov.co.uk/f/7/5/4/7542519748f220cecb7c1081979c17bd82.png)
до ребра
![$e=(v_1, v_2)\in E$ $e=(v_1, v_2)\in E$](https://dxdy-03.korotkov.co.uk/f/2/6/2/26257a11a6f95f8a61afd17f132fc88382.png)
будем считать кратчайшее расстояние от
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
до отрезка
![$[c(v_1), c(v_2)]$ $[c(v_1), c(v_2)]$](https://dxdy-01.korotkov.co.uk/f/4/5/4/45429f9d644c01d62695061a604f19f682.png)
в эвклидовой метрике. Расстоянием
![$d\colon \mathbb R^2 \times 2^G \to \mathbb R$ $d\colon \mathbb R^2 \times 2^G \to \mathbb R$](https://dxdy-02.korotkov.co.uk/f/9/f/c/9fc380e5276e322627a69552a5dc87d782.png)
от точки
![$x\in \mathbb R^2$ $x\in \mathbb R^2$](https://dxdy-04.korotkov.co.uk/f/7/5/4/7542519748f220cecb7c1081979c17bd82.png)
до графа
![$G \in 2^G$ $G \in 2^G$](https://dxdy-02.korotkov.co.uk/f/5/4/0/540bc123b8d68b9ec85f8360cad136f182.png)
будет расстояние до ближайшего ребра
![$e\in G_E$ $e\in G_E$](https://dxdy-02.korotkov.co.uk/f/1/4/5/145ad82799ae075786bb3f5c3da3ce1a82.png)
, т.е.
![$d(x, G) = \min _{e\in G_E} d(x, e)$ $d(x, G) = \min _{e\in G_E} d(x, e)$](https://dxdy-03.korotkov.co.uk/f/6/8/3/6830b605880c374bf7d4a67e666f5db482.png)
.
Для заданного набора точек
![$X=(x_1,..., x_n)$ $X=(x_1,..., x_n)$](https://dxdy-02.korotkov.co.uk/f/1/3/a/13ad39ffaf3c219ecfd735219d8941d682.png)
нужно найти связный подграф
![$G'$ $G'$](https://dxdy-02.korotkov.co.uk/f/9/6/6/966ea729edb76f391d2d66d92daf725182.png)
графа
![$G$ $G$](https://dxdy-02.korotkov.co.uk/f/5/2/0/5201385589993766eea584cd3aa6fa1382.png)
такой, чтоб суммарное расстояние от этих точек до
![$G'$ $G'$](https://dxdy-02.korotkov.co.uk/f/9/6/6/966ea729edb76f391d2d66d92daf725182.png)
было минимальным.
Очевидно, что решений будет много, в том числе и тривиальное
![$G' = G$ $G' = G$](https://dxdy-02.korotkov.co.uk/f/9/0/b/90b357f5832a563f1cfcb9d44824d82182.png)
. Чтоб сделать решение единственным, введем регуляризацию на количество ребер в
![$G'$ $G'$](https://dxdy-02.korotkov.co.uk/f/9/6/6/966ea729edb76f391d2d66d92daf725182.png)
:
![$$\arg \min _{G'\subset G}\sum _{x\in X}d(x, G') + \lambda |E_{G'}|,$$ $$\arg \min _{G'\subset G}\sum _{x\in X}d(x, G') + \lambda |E_{G'}|,$$](https://dxdy-01.korotkov.co.uk/f/8/d/d/8dd7d1cde74bcf8a1bda1d00e46d699082.png)
где
![$\lambda > 0$ $\lambda > 0$](https://dxdy-04.korotkov.co.uk/f/f/1/0/f10fc2142d969a09dda2eea96cede2fb82.png)
будет задаваться пользователем.