30、长度敏感弗雷歇相似度相关研究

长度敏感弗雷歇相似度相关研究

1. 引言

在几何图的研究中，寻找计算长度敏感弗雷歇相似度（LSFS）的近似算法，有望为道路网络之间提供实用的相似度度量方法。第一步可以考虑受限的图类，接下来自然会思考是否存在针对树的多项式时间算法。

2. LSFS在连通分量上的长度保持性

根据定义，$C_{\epsilon}^h$ 仅要求 $h$ 在小球上的限制是长度保持的。实际上，可以证明所有连通分量都是长度保持的。
- 引理 4 ：$h$ 在 $C_{\epsilon}^h$ 的路径连通分量的原像上的每个限制都是长度保持映射。
- 证明 ：设 $\hat{C}$ 是 $C_{\epsilon}^h$ 的一个路径连通分量，$x, y \in \hat{C}$。因为 $\hat{C}$ 是路径连通的，所以存在一条路径 $\gamma : [0, 1] \to \hat{C}$，起点为 $x$，终点为 $y$。根据 $C_{\epsilon}^h$ 的定义，对于每个 $t \in [0, 1]$，存在 $\delta_t > 0$，使得 $h$ 在 $B_t := B_p(h^{-1}(\gamma(t)), \delta_t)$ 上是长度保持的。令 $U := {\gamma (B_t)} {t\in[0,1]}$，由于 $\text{Im}(\gamma)$ 是 $\mathbb{R}^2$ 的紧致子空间，且 $U$ 覆盖 $\text{Im}(\gamma)$，所以存在 $U$ 的有限子覆盖 $\tilde{U}$。然后，$\gamma$ 可以分解为子路径，使得每个子路径完全位于