[논문 리뷰] Smoothed Analysis of Order Types

Ivor van der Hoog, Tillmann Miltzow외 1명|arXiv (Cornell University)|2019. 07. 10.

Computational Geometry and Mesh Generation참고 문헌 34인용 수 6

한 줄 요약

이 논문은 계산 기하학에서 추상 순서 유형의 실현 가능성을 부드러운 분석(smoothed analysis)를 적용하여 다루며, 악성 경우 점 집합에 대해 작은 무작위 편향을 가미한 후, 순서 유형이 $ n $ 및 $ 1/\delta $에 대해 다항식 크기의 격자와 비트 복잡도로 실현 가능하다고 보여준다. 여기서 $ \delta $는 편향의 크기를 나타낸다. 핵심 결과는 실현 가능성이 기대값 기반으로 다루기 쉬워지며, $ \exists\mathbb{R} $-완전 문제는 '기대값 NP 시간' 내에서 해결 가능해진다.

ABSTRACT

Consider an ordered point set $P = (p_1,\ldots,p_n)$, its order type (denoted by $χ_P$) is a map which assigns to every triple of points a value in $\{+,-,0\}$ based on whether the points are collinear(0), oriented clockwise(-) or counter-clockwise(+). An abstract order type is a map $χ: \left[\substack{n\\3} ight] ightarrow \{+,-,0\}$ (where $\left[\substack{n\\3} ight]$ is the collection of all triples of a set of $n$ elements) that satisfies the following condition: for every set of five elements $S\subset [n]$ its induced order type $χ_{|S}$ is realizable by a point set. To be precise, a point set $P$ realizes an order type $χ$,if $χ_P(p_i,p_j,p_k) = χ(i,j,k)$, for all $i

연구 동기 및 목표

• 악성 경우 이중 지수적 실현 가능성과 평균 경우 다항식 경계 사이의 격차를 메우기 위해.
• 편향이 추상 순서 유형 실현 복잡도에 미치는 영향을 분석하기 위해.
• 실제적인 경우의 순서 유형 실현 가능성이 부드러운 분석 하에서 계산적으로 다루기 쉬운지 보여주기 위해.
• 추상 순서 유형 실현 가능성의 결정 문제는 '기대값 NP 시간' 내에서 해결 가능하다는 것을 입증하기 위해.

제안 방법

• 실제 값의 점 집합을 균일하게 $ \delta $ 크기로 편향시켜 현실적인 노이즈를 모델링한다.
• 편향된 좌표를 정수 격자로 매핑하면서 순서 유형을 유지하는 스냅핑 알고리즘을 사용한다.
• 세 가지 비용 척도를 분석한다: 최소 격자 폭, 실현의 노름, 좌표당 비트 복잡도.
• 농도 불등식을 사용하여 비트 길이의 尾확률을 제한하고, 지수적 감소를 보여준다.
• 부드러운 분석을 적용하여 이전의 고확률 유한점 집합 결과를 일반화한다.
• 기대 비용이 $ 1/\delta $에 대해 선형으로 증가함을 증명하여, 작은 편향 하에서도 안정성을 입증한다.

실험 결과

연구 질문

• RQ1 편향 후 부드러운 분석을 통해 추상 순서 유형을 실현하기 위해 필요한 격자 크기는 어떻게 변하는가?
• RQ2 편향된 점 집합의 좌표를 유지하면서 순서 유형을 표현하기 위해 필요한 기대 비트 복잡도는 얼마인가?
• RQ3 부드러운 분석 하에서 순서 유형 실현 가능성의 $ \exists\mathbb{R} $-완전 문제는 '기대값 NP 시간' 내에서 해결 가능한가?
• RQ4 편향된 점 집합의 노름은 $ n $과 $ \delta $에 대해 어떻게 변화하는가? 악성 경우의 이중 지수적 경계와 비교하여.
• RQ5 실제적인 편향이 순서 유형 실현 가능성의 계산 가능성을 어느 정도 향상시키는가?

주요 결과

• 고확률로 편향된 점 집합의 노름은 $ \frac{1}{\delta} n^{3+\varepsilon} $ 이하이며, 악성 경우와 평균 경우 경계 사이를 조화롭게 연결한다.
• 편향된 점 집합의 순서 유형을 기술하기 위해 필요한 기대 비트 수는 $ O(n \log n) $ 이며, 이는 이전 결과와 일치하지만 더 단순한 증명을 제공한다.
• 스냅핑 후 임의의 좌표의 기대 비트 길이는 $ O(\log(n^2 / \delta)) $ 이며, 정밀도에 대해 로그 성장함을 보여준다.
• 순서 유형 실현의 기대 비용은 $ 1/\delta $에 대해 선형으로 증가하므로, 편향 감소에 대해 안정적임을 시사한다.
• 추상 순서 유형 실현 가능성의 결정 문제는 '기대값 NP 시간' 내에서 해결 가능하며, 이는 두 번째로 알려진 이 성질을 갖는 $ \exists\mathbb{R} $-완전 문제이다.
• Fabila-Monroy & Huemer 및 Devillers 등이 이전에 수행한 작업을 일반화하고 단순화하며, 하나의 부드러운 분석 프레임워크 아래 통합하였다.