[논문 리뷰] On problems related to crossing families

Dumitrescu, Adrian, Pach, János|arXiv (Cornell University)|2019. 06. 01.

Computational Geometry and Mesh Generation참고 문헌 19인용 수 1

한 줄 요약

이 논문은 점 집합에서 교차 가족의 크기 상한을 n/4에서 5⌈n/24⌉으로 향상시켰으며, 날카운 가족, 스피크 집합, M-반대칭 경로와 같은 일반화된 개념을 도입한다. 1-회피 점 집합에서의 기하 이중성과 분리 성질을 활용하여 더 견고한 상한을 도출하며, 임의의 n점 집합에서 가장 큰 날카운 가족의 크기가 정확히 n/2임을 증명한다.

ABSTRACT

A complete geometric graph consists of a set P of n points in the plane, in general position, and all segments (edges) connecting them. It is a well known question of Bose, Hurtado, Rivera-Campo, and Wood, whether there exists a positive constant c < 1, such that every complete geometric graph on n points can be partitioned into at most cn plane graphs (that is, noncrossing subgraphs). We answer this question in the affirmative in the special case where the underlying point set P is dense, which means that the ratio between the maximum and the minimum distances in P is of the order of Θ(√n).

연구 동기 및 목표

• 점 집합에서 교차 가족의 크기 상한을 n/4에서 5⌈n/24⌉으로 향상시키는 것.
• 기하학적 및 조합적 확장(날카운 가족, 스피크 집합 포함)을 통해 교차 가족 개념을 일반화하는 것.
• 1-회피 점 집합의 구조적 성질을 연구하고, 그들의 분리 행동을 활용하여 교차 가족이 작은 극한 점 집합을 구성하는 것.
• 선 배열과 이중 쐐기의 이중 표현을 사용하여 일반화된 교차 구조의 상한을 도출하는 것.
• 날카운 가족과 M-반대칭 경로의 날카로운 상한을 확립하여 기하 교차 패턴에 대한 보다 광범위한 이해를 기여하는 것.

제안 방법

• A, B, C가 A가 B를 C로부터 분리하는 조건을 만족할 경우, 모든 교차 가족의 선분은 반드시 A, B 또는 C에 인cidnet해야 한다는 분리 성질을 이용해 극한 점 집합을 구성하는 것.
• 기하 이중성을 적용하여 원시 평면의 선분을 이중 평면에서 이중 쐐기로 변환하며, 교차와 날카움이 포함 관계와 비포함 관계에 대응하도록 하는 것.
• 이중 배열에 90도 회전을 적용하여 비교교차 매칭을 날카운 가족으로 변환함으로써, 날카운 가족의 크기에 대해 n/2 상한을 증명하는 것.
• 측면 호환 부분집합과 M-반대칭 경로의 개념을 도입하여 1-회피 구성에서 교차 유사 구조를 일반화하고 상한을 구하는 것.
• 햄 샌드위치 컷과 이중 배열에서의 비교교차 이중색 매칭의 귀납적 구성 기법을 활용하여 구조적 일관성을 확보하는 것.
• 1-회피 집합에서는 완전한 비교교차 이중색 매칭이 존재하며, 이는 이중성에 의해 원시 평면에서 날카운 가족으로 변환된다는 것을 증명하는 것.

실험 결과

연구 질문

• RQ1 일반 위치에 있는 n개 점의 집합에서 교차 가족의 최대 크기는 얼마인가?
• RQ2 교차 가족 크기에 대한 상한 n/4는 향상시킬 수 있으며, 만약 가능하면 얼마나 향상될 수 있는가?
• RQ3 날카운 가족, 스피크 집합, M-반대칭 경로와 같은 일반화된 구조는 고전적 교차 가족과 어떻게 관련이 있는가?
• RQ4 1-회피 점 집합에서 교차 가족의 크기를 제한하는 구조적 제약 조건은 무엇인가?
• RQ5 임의의 n점 집합에서 날카운 가족의 최대 크기는 얼마이며, 이를 날카로운 상한으로 제시할 수 있는가?

주요 결과

• 교차 가족 크기의 상한이 기존의 n/4에서 5⌈n/24⌉으로 향상되었으며, 이는 알려진 최악의 경우 상한을 크게 강화한 것이다.
• 일반 위치에 있는 임의의 n점 집합에서 날카운 가족의 최대 크기는 정확히 n/2이며, 이 상한은 날카로운 것이다.
• 1-회피 점 집합에서는 완전한 비교교차 이중색 매칭이 존재하며, 이는 이중성에 의해 원시 평면에서 날카운 가족으로 변환된다.
• 스피크 집합의 크기는 최대 n/4 + 1로 확립되었으며, 이는 이전의 상한 9n/20보다 향상된 것이다.
• 논문은 Schnider의 1-회피 집합에 대한 n/4 스피크 집합 상한 주장에서 오류를 밝혀내었으며, 그 증명이 타당하지 않음을 보였다.
• M-반대칭 경로는 일반화된 이중 구조로 도입되었으며, 다른 기하 구조와의 연결을 통해 새로운 상한을 도출하였다.