[논문 리뷰] Long Alternating Paths Exist

Wolfgang Mulzer, Pável Valtr|arXiv (Cornell University)|2020. 01. 01.

Computational Geometry and Mesh Generation참고 문헌 8인용 수 2

한 줄 요약

이 논문은 n개의 빨간 점과 n개의 파란 점을 가진 볼록 위치에 있는 2n개의 점으로 이루어진 집합이 항상 (1 + ε)n 이상의 길이를 가진 교차 없는 번갈아가는 경로를 포함함을 증명한다. 여기서 ε > 0은 절대적인 상수이다. 이 결과는 기존의 n에 대한 자명한 하한을 선형 항으로 초과하는, 최소 (1/2 + ε)n개의 간선을 가진 분리된 이색 매칭의 존재를 보여줌으로써 달성된다. 주요 기법은 점 집합의 구조적 분할을 기반으로 한 조각 분해와 랜덤 매칭에 대한 확률적 분석을 포함한다.

ABSTRACT

Let $P$ be a set of $2n$ points in convex position, such that $n$ points are colored red and $n$ points are colored blue. A non-crossing alternating path on $P$ of length $\ell$ is a sequence $p_1, \dots, p_\ell$ of $\ell$ points from $P$ so that (i) all points are pairwise distinct; (ii) any two consecutive points $p_i$, $p_{i+1}$ have different colors; and (iii) any two segments $p_i p_{i+1}$ and $p_j p_{j+1}$ have disjoint relative interiors, for $i eq j$. We show that there is an absolute constant $\varepsilon > 0$, independent of $n$ and of the coloring, such that $P$ always admits a non-crossing alternating path of length at least $(1 + \varepsilon)n$. The result is obtained through a slightly stronger statement: there always exists a non-crossing bichromatic separated matching on at least $(1 + \varepsilon)n$ points of $P$. This is a properly colored matching whose segments are pairwise disjoint and intersected by common line. For both versions, this is the first improvement of the easily obtained lower bound of $n$ by an additive term linear in $n$. The best known published upper bounds are asymptotically of order $4n/3+o(n)$.

연구 동기 및 목표

• 비교적 오랫동안 미해결된 문제인, 이중색 볼록 점 집합에서 교차 없는 번갈아가는 경로의 하한을 자명한 n을 초월해 개선하는 것.
• 교차 없는 번갈아가는 경로와 분리된 매칭에 대해, n에 대한 초과하는 초선형 항의 첫 번째 개선을 확립하는 것.
• 분리된 이색 매칭과 단색 매칭에 대해, 볼록 점 집합에서 최소 (1/2 + ε)n개의 간선을 가지는 구성 가능한 하한을 제시하는 것.
• 빨간 점과 파란 점의 수가 다를 수 있는 일반적인 경우로 결과를 확장하여, 단색 분리 매칭에 대해 유사한 하한을 증명하는 것.
• 기하학적 경로 문제를 원형 이진 문자열의 반팔린드롬 부분수열 문제와 연결함으로써 이산 기하학과 문자열 이론을 연결하는 것.

제안 방법

• 2n개의 점을 k-조각으로 분할하며, k는 국소적 및 전반적 구조의 균형을 이루기 위해 n의 함수로 선택된다.
• 이 k-조각들 위에서 랜덤한 조각 매칭 과정을 정의하며, 매칭된 조각들은 균일하게 랜덤하게 선택된다.
• 매칭된 조각들 간의 간선을 조합하여 분리된 이색 매칭을 구성한다. 각 조각에서 색상 우세도를 기반으로 하여, 주로 우세한 색상을 사용해 서로 겹치지 않는 간선을 형성한다.
• 확률적 분석을 통해 결과 매칭의 기대 간선 수를 계산하며, 이는 n/2를 초과하는 Ω(n) 항을 포함함을 보여준다.
• 불균형한 조각 구성에 대응하기 위해 일련의 보조정리를 적용하여, 비대칭적인 경우에도 큰 분리 매칭을 추출할 수 있음을 보장한다.
• 조각 매칭 프레임워크를 수정하여 단색 경우로 결과를 확장하고, 빨간 점과 파란 점의 수가 다를 경우에도 큰 분리된 단색 매칭의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 n개의 빨간 점과 n개의 파란 점을 가진 이중색 볼록 점 집합에서 교차 없는 번갈아가는 경로의 최선의 가능한 하한은 무엇인가?
• RQ2 교차 없는 번갈아가는 경로와 분리된 매칭에 대해, 자명한 하한 n을 n에 대한 선형 항으로 초과할 수 있는가?
• RQ3 모든 이중색 볼록 점 집합이 최소 (1/2 + ε)n개의 간선을 가진 분리된 이색 매칭을 포함하는 상수 ε > 0가 존재하는가?
• RQ4 이러한 매칭의 존재가 교차 없는 번갈아가는 경로의 길이에 대해 어떤 개선을 이끌어내는가?
• RQ5 빨간 점과 파란 점의 수가 같지 않을 경우, 유사한 하한을 분리된 단색 매칭에 대해 확립할 수 있는가?

주요 결과

• 논문은 임의의 n개의 빨간 점과 n개의 파란 점을 가진 이중색 볼록 점 집합이 최소 (1 + ε)n의 길이를 가진 교차 없는 번갈아가는 경로를 포함함을 증명한다. 여기서 ε > 0은 상수이다.
• 이러한 구성에서 최소 (1/2 + ε)n개의 간선을 가진 분리된 이색 매칭이 존재하며, 이는 바로 레마 1.1에 의해 개선된 경로 길이를 암시한다.
• 이 결과는 기존의 자명한 하한 n을 n에 대한 선형 항으로 초과하는 최초의 개선이며, 이전의 n + Ω(√n) 장벽을 뛰어넘는다.
• 단색 경우에 대해선, 충분히 큰 n에 대해 2n개의 점(각각 n개의 빨간 점과 파란 점)을 가진 임의의 볼록 점 집합에서 최소 (1/2 + ε)n개의 정점을 가진 분리된 단색 매칭이 존재한다.
• 분리된 매칭의 최대 크기에 대한 상한은 (2 − √2)n ≈ 0.5858n로 알려져 있으며, 이는 현재의 하한이 최적에 대해 일정 요인 내에 있음을 시사한다.
• 조각 분해와 확률적 분석에 기반한 증명 기법은 이중색 및 단색 설정에 모두 일반적으로 적용되며, 단색 경우는 비대칭적인 색상 수에 대응하기 위해 별도의 처리가 필요하다.