고정방향 정삼각형 매칭과 그래프 구조 연구

초록

본 논문은 일반 위치에 있는 점 집합 P에 대해, 아래쪽을 향한 고정방향 정삼각형(∇)을 이용해 정의되는 그래프 G∇(P)의 매칭 크기와 구조적 특성을 탐구한다. G∇(P)는 반‑Θ₆ 그래프이자 TD‑Delaunay 그래프와 동형이며, 저자들은 G∇(P)가 최소 ⌈(n‑2)/3⌉ 크기의 매칭을 항상 포함하고, 이 한계는 ⌈(n‑1)/3⌉를 초과할 수 없음을 보인다. 또한 위·아래 정삼각형을 모두 허용하는 G★(P) (=Θ₆ 그래프)의 블록‑컷 포인트 트리가 단순히 경로임을 증명하고, 이를 통해 Θ₆ 그래프의 최대 변수는 5n‑11임을 도출한다.

상세 분석

논문은 먼저 점 집합 P에 대해 “한 삼각형 안에 정확히 두 점만 포함”하는 관계를 이용해 그래프 G𝒞(P)를 정의한다. 여기서 𝒞는 아래쪽을 향한 정삼각형(∇)의 전체 클래스이며, 일반 위치(general position)라는 가정은 (i) 동일한 x좌표를 갖는 두 점이 없고, (ii) 세 점이 정삼각형의 변과 평행한 방향(기울기 ±√3) 상에 놓이지 않는다는 의미다. 이러한 가정 하에 G∇(P)는 기존에 연구된 반‑Θ₆ 그래프와 TD‑Delaunay 그래프와 동형임을 보인다. 반‑Θ₆ 그래프는 각 점을 중심으로 6개의 원뿔을 나누고, 각 원뿔에서 가장 가까운 점과만 연결하는 구조인데, 여기서는 그 중 하반부 3개의 원뿔만을 사용한다. 이 그래프는 평면성을 유지하면서 각 정점의 차수가 최대 6, 특히 외부 원뿔에 속하는 변은 최대 3개이다.

매칭 하한 ⌈(n‑2)/3⌉는 두 단계의 증명으로 구성된다. 첫째, G∇(P)가 삼각형 형태의 작은 블록(3‑vertex 사이클)들로 분해될 수 있음을 보이고, 각 블록은 최소 하나의 매칭을 제공한다. 둘째, 블록 간 연결은 단일 절단점(cut‑vertex)만을 통해 이루어지므로, 블록들을 순차적으로 탐색하면서 그리디하게 매칭을 선택하면 전체 매칭 크기가 ⌈(n‑2)/3⌉ 이상이 된다.

반면, 상한 ⌈(n‑1)/3⌉는 특정 구성의 점 집합을 통해 보여진다. 저자들은 “꼬리‑형” 배치를 설계했는데, 각 꼬리 구간은 3개의 점이 서로만 연결되는 작은 삼각형을 형성하고, 이들 사이에 절단점이 하나씩 존재한다. 이러한 구조에서는 매칭이 각 삼각형당 하나씩밖에 선택될 수 없으므로 전체 매칭 크기가 ⌈(n‑1)/3⌉를 초과하지 않는다.

다음으로, 위와 아래 두 방향의 정삼각형을 모두 허용하는 클래스 ★(즉, Θ₆ 그래프)로 확장한다. G★(P)는 반‑Θ₆ 그래프에 상향 원뿔을 추가한 형태이며, 블록‑컷 포인트 트리(BCPT)가 단순히 경로라는 사실은 중요한 구조적 통찰을 제공한다. 이는 G★(P)의 모든 블록이 순차적으로 연결되고, 각 블록이 최소 두 개의 절단점을 공유한다는 것을 의미한다. 결과적으로 그래프는 “사슬형” 구조를 가지며, 복잡한 교차가 발생하지 않는다.

마지막으로, Θ₆ 그래프의 변 상한 5n‑11을 도출한다. 평면 그래프의 기본 식인 |E| ≤ 3|V|‑6을 적용할 수 없으므로, 저자들은 각 블록이 내부적으로 최대 5|Vᵢ|‑8개의 변을 가질 수 있음을 증명하고, 블록 간 절단점이 겹치는 부분을 정확히 계산해 전체 변 수를 합산한다. 그 결과, 모든 일반 위치 점 집합에 대해 |E(Θ₆)| ≤ 5n‑11이 성립한다. 이 상한은 기존에 알려진 6n‑12보다 약간 더 강력하며, Θ₆ 그래프가 실제로는 더 희소한 구조임을 시사한다.

이러한 결과는 고정방향 정삼각형 매칭 문제를 그래프 이론과 계산기하학의 교차점에서 새롭게 조명하고, 매칭 하한·상한, 블록 구조, 그리고 변 밀도에 대한 정밀한 경계를 제공한다는 점에서 의미가 크다.