首次提出几何概念在线ε-网与击中集的最优算法,适用于区间与低维矩形。
Online Epsilon Net and Piercing Set for Geometric Concepts
- 设计了实数轴上区间问题的确定性最优在线算法
- 针对三维内轴对齐矩形给出近似最优的随机算法
- 提出新分析技术,适用于描述复杂度恒定的相似对象
VC-维度和ε-网是统计学习理论中的核心概念。直观上,VC-维度衡量集合类的复杂程度。著名的ε-网定理是离散几何的基本结果,表明若集合系统的VC-维度有界,则存在一个小样本可与所有足够大的集合相交。在数据按序到达的在线学习场景中,VC-维度有助于控制集合系统的复杂性,而ε-网则保证选取一个小型代表性子集。该采样框架在空间数据分析、动态环境运动规划、传感器网络优化及计算机视觉特征提取等领域至关重要。受这些应用启发,本文研究具有有界VC-维度的几何概念的在线ε-网问题。尽管离线版本已广泛研究,但目前尚无在线版本的理论结果。我们首次提出实数轴上区间的确定性在线算法,具备最优竞争比;随后给出d≤3时轴对齐矩形的随机算法,具有近似最优竞争比。此外,我们引入一种新技巧,用于分析描述复杂度为常数的相似对象,可能具有独立研究价值。最后,我们关注连续版本:几何概念作为范围以在线方式出现,全空间为宇宙,目标是选择一个小样本以击中所有范围。
原文摘要 · Abstract (English)
VC-dimension and $\varepsilon$-nets are key concepts in Statistical Learning Theory. Intuitively, VC-dimension is a measure of the size of a class of sets. The famous $\varepsilon$-net theorem, a fundamental result in Discrete Geometry, asserts that if the VC-dimension of a set system is bounded, then a small sample exists that intersects all sufficiently large sets. In online learning scenarios where data arrives sequentially, the VC-dimension helps to bound the complexity of the set system, and $\varepsilon$-nets ensure the selection of a small representative set. This sampling framework is crucial in various domains, including spatial data analysis, motion planning in dynamic environments, optimization of sensor networks, and feature extraction in computer vision, among others. Motivated by these applications, we study the online $\varepsilon$-net problem for geometric concepts with bounded VC-dimension. While the offline version of this problem has been extensively studied, surprisingly, there are no known theoretical results for the online version to date. We present the first deterministic online algorithm with an optimal competitive ratio for intervals in $\mathbb{R}$. Next, we give a randomized online algorithm with a near-optimal competitive ratio for axis-aligned boxes in $\mathbb{R}^d$, for $d\le 3$. Furthermore, we introduce a novel technique to analyze similar-sized objects of constant description complexity in $\mathbb{R}^d$, which may be of independent interest. Next, we focus on the continuous version of this problem, where ranges of the set system are geometric concepts in $\mathbb{R}^d$ arriving in an online manner, but the universe is the entire space, and the objective is to choose a small sample that intersects all the ranges.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。