ε-net(컴퓨터 기하학)

ε-net (computational geometry)


계산기하학에서 ε-넷(epsilon-net)은 단순한 부분집합들의 집합에 의한 일반 집합의 근사치입니다. 확률 이론에서 이것은 한 확률 분포를 다른 확률 분포에 의한 근사치입니다.

배경

범위가 닫힌 범위 공간에서 단위 제곱의 1/4이 ε =인 ε-넷입니다.

X를 집합, R을 X의 부분집합이라고 하자; 이러한 쌍을 범위 공간 또는 하이퍼그래프라고 하고, R의 원소를 범위 또는 하이퍼그래프라고 합니다. X의 부분 집합 P의 ε-넷은 r ∩ P ∈ P갖는 임의의 범위 R이 N과 교차하도록 P의 부분 집합 N입니다. 즉, P의 원소들의 적어도 비율 ε과 교차하는 어떤 범위도 ε-넷 N과 교차해야 합니다.

예를 들어, X를 2차원 평면의 점들의 집합, R을 닫힌 채워진 직사각형의 집합(닫힌 간격의 곱), P를 단위 제곱[0, 1] × [0, 1]이라고 가정합니다. 그러면 단위 사각형의 적어도 1/4과 교차하는 닫힌 채워진 직사각형은 이 점들 중 하나와 교차해야 하므로, 인접 다이어그램에 표시된 8개의 점으로 구성된 집합 N은 P의 1/4-넷입니다. 실제로 크기에 관계없이 임의의 (축 평행) 정사각형은 비슷한 8점 1/4-넷을 가질 것입니다.

유한 VC 차원 d를 갖는 임의의 범위 공간에 대하여, P의 선택에 관계없이 크기가 P인 ε-넷이 존재합니다.

[1]

이 집합의 크기는 P와 무관하므로 고정된 크기의 집합을 사용하여 임의의 집합 P를 설명할 수 있습니다.

이를 통해 효율적인 근사 알고리즘을 개발할 수 있습니다. 예를 들어 특정 직사각형 P 안에 들어가는 주어진 영역의 면적에 대한 상한을 추정하려고 한다고 가정해 보자. 먼저 P의 ε-넷을 찾고, 직사각형 P에 대해 영역 내부에 있는 ε-넷의 요소의 비율을 계산한 다음, P의 면적을 곱함으로써 이것을 P의 면적의 ε배의 가산 계수 내에서 추정할 수 있습니다. 알고리즘의 런타임은 ε에만 의존하고 P에는 의존하지 않습니다. 높은 확률로 ε-넷을 계산하는 한 가지 간단한 방법은 충분한 수의 난수점을 취하는 것이며, 난수점의 수 역시 ε에만 의존합니다. 예를 들어, 표시된 다이어그램에서 1/4-net의 최대 세 점을 포함하는 단위 사각형의 직사각형은 최대 3/8 + 1/4 = 5/8의 면적을 갖습니다.

ε-넷은 또한 NP-완전 타격 세트 및 세트 커버 문제에 대한 근사 알고리즘을 제공합니다.

확률론

일부 집합 에 대한 확률 분포라고 가정합니다 An -net for a class of subsets of is any subset such that for any

으로 S S는 확률 분포를 근사합니다.

더 강력한 개념은ε displaystyle \varepsilon} - 근사입니다. H displaystyle \varepsilon} - H}에 대한 근사치는 H {\displaystyle H\in H}에대해 되는 집합{\S\subseteq X}입니다.

참고문헌

  1. ^ a b Haussler, David; Welzl, Emo (1987), "ε-nets and simplex range queries", Discrete & Computational Geometry, 2 (2): 127–151, doi:10.1007/BF02187876, MR 0884223.
  2. ^ Brönnimann, H.; Goodrich, M. T. (1995), "Almost optimal set covers in finite VC-dimension", Discrete & Computational Geometry, 14 (4): 463–479, doi:10.1007/BF02570718, MR 1360948.