35、几何查询的属性测试：新方法与应用

几何查询的属性测试：新方法与应用

在计算机科学领域，属性测试是一个新兴的研究方向，旨在验证给定对象是否具有预定属性，或者是否与具有该属性的对象“相距甚远”。以往对几何属性测试的研究大多集中在组合距离概念上，对基于输入对象几何特征的距离度量研究较少。接下来，我们将探讨一些新的模型和方法，以更好地研究几何问题在属性测试中的应用。

1. 属性测试概述

属性测试的目标是确定一个未知对象 $O$ 是否具有属性 $Q$，或者是否与具有属性 $Q$ 的对象“相距甚远”。这里的距离是相对于对象类 $C$ 上的某种分布 $D$ 来衡量的。其动机在于，在放宽精确决策任务的同时，期望测试算法比任何精确决策算法更高效，并且在许多情况下，通过仅探索输入的一小部分来实现这一目标。

在标准的属性测试背景下，早期对几何属性的研究主要使用汉明距离来衡量对象与具有预定属性的接近程度。然而，汉明距离主要分析组合问题，没有充分考虑几何问题的底层几何结构。因此，需要考虑更多基于几何的距离度量。

2. 新的距离度量

为了更准确地衡量点集与凸位置的接近程度，我们引入了以下几种新的距离度量：
- 扰动度量（Perturbation measure） ：在 $d$ 维单位立方体中的点集 $P$，如果对 $P$ 中的点进行任何移动距离不超过 $\varepsilon$ 的扰动后，得到的点集仍不在凸位置，则称 $P$ 相对于扰动度量是 $\varepsilon$-远离凸位置的。
- 邻域度量（Neighborhood measure） ：在 $d$ 维单位立方体中的点集 $P$，如果存在一个点