목격자 그래프와 드로네이 그래프의 확장 연구

초록

**
본 논문은 기존 근접 그래프의 한계를 보완하기 위해 ‘목격자 그래프’라는 새로운 일반화를 제안한다. 두 가지 구체적인 사례, 즉 목격자 드로네이 그래프와 변형된 드로네이 그래프를 중심으로 정의, 성질, 알고리즘적 구현 및 그래프 그리기 응용을 탐구한다. 또한 목격자를 이용한 기하학적 물체 교차(stabbing) 문제와 점 집합 구분 문제를 형식화하여, 이론적 복잡도와 실용적 활용 가능성을 제시한다.

**

상세 요약

**
논문은 먼저 근접 그래프(예: 가시성 그래프, 상대적 근접 그래프, 드로네이 그래프)의 기본 개념을 재정리하고, 이들 그래프가 “두 점 사이에 다른 점이 존재하면 연결을 차단한다”는 단일 기준에 의해 제한되는 점을 지적한다. 이를 극복하기 위해 저자들은 ‘목격자(witness)’라는 제3의 점 집합 W 를 도입한다. 기존 근접 그래프에서는 입력 점 집합 P 만을 고려했지만, 목격자 그래프에서는 P 와 W 가 동시에 존재하며, 두 점 u, v ∈ P 사이의 연결 여부는 W 에 포함된 점들의 위치 관계에 의해 결정된다. 구체적으로, (u,v) 가 그래프에 포함되려면 W 의 어떤 점 w 가 사전에 정의된 ‘증명 영역(proof region)’에 들어가야 한다(또는 들어가면 안 된다).

두 번째 섹션에서는 이 일반 틀을 Delaunay 그래프에 적용한 두 가지 변형을 제시한다. 첫 번째는 목격자 Delaunay 그래프(Witness Delaunay Graph)로, 전통적인 Delaunay 삼각형에서 원의 내부에 P 의 다른 점이 없다는 조건을, 대신 W 의 점이 원 내부에 존재하면 연결을 허용하거나 차단하는 방식으로 바꾼다. 여기서 원은 u와 v를 지나는 최소 원이며, 원 내부에 W 의 점이 존재하면 (u,v) 는 그래프에 포함된다. 두 번째는 목격자 상대 Delaunay 그래프(Witness Relative Delaunay Graph)로, 원 대신 원판(또는 원뿔) 형태의 증명 영역을 사용해, W 가 특정 영역을 ‘스턴(stab)’했는지 여부에 따라 연결을 결정한다.

논문은 이러한 정의가 기존 Delaunay 그래프와는 다른 연결 구조를 만들어, 특히 W 가 P 와 겹치지 않을 때 그래프가 매우 희소해지거나, 반대로 W 가 촘촘히 배치될 경우 완전 그래프에 가까워지는 특성을 보인다고 분석한다. 또한, 목격자 집합을 조절함으로써 그래프 그리기에서의 레이아웃 자유도를 크게 늘릴 수 있음을 강조한다. 예를 들어, 특정 정점 쌍을 강제로 연결하거나 차단함으로써, 원하는 시각적 클러스터링이나 경로 강조를 구현할 수 있다.

알고리즘적 측면에서는, 목격자 Delaunay 그래프를 구축하는 데 O(n log n + m) 시간(여기서 n = |P|, m = |W|)의 전처리와, 각 쌍에 대해 원의 최소 반경을 계산하고 W 의 존재 여부를 범위 탐색 트리(예: kd‑tree)로 확인하는 절차를 제시한다. 이는 기존 Delaunay 삼각형 구축과 동일한 복잡도를 유지하면서도, 목격자 검증 단계만 추가된 형태다. 또한, 목격자 상대 Delaunay 그래프의 경우, 원뿔 영역에 대한 반쯤 선형 시간의 범위 쿼리를 지원하는 데이터 구조(예: range tree)를 활용해 전체 그래프를 O(n log n + k) 시간에 생성할 수 있음을 증명한다(k는 최종 그래프의 엣지 수).

마지막으로, 논문은 두 가지 응용 문제를 제시한다. 첫 번째는 기하학적 스턴 문제(stabbing geometric objects)로, 주어진 직사각형·원·다각형 집합에 대해 최소한의 목격자 집합을 찾는 최적화 문제이다. 이는 NP‑hard임을 보이며, 근사 알고리즘과 휴리스틱을 제안한다. 두 번째는 점 집합 구분 문제(point set discrimination)로, 두 개의 점 집합 A, B 가 주어졌을 때, W 를 선택해 A와 B 사이에 목격자 그래프가 서로 다른 연결 구조를 갖도록 하는 문제이다. 이 문제는 그래프 이론과 기하학적 차원에서 새로운 구분 기준을 제공한다.

전반적으로, 목격자 그래프는 기존 근접 그래프의 제한적인 ‘점 사이에 다른 점이 있으면 차단한다’는 규칙을 완화하고, 외부의 제3 집합을 활용해 그래프 구조를 세밀하게 조정할 수 있는 강력한 프레임워크를 제공한다. 이는 그래프 그리기, 네트워크 시각화, 그리고 기하학적 최적화 문제에 새로운 연구 방향을 제시한다.

**