Y4 서브그래프의 평면성·연결성·스패너 특성 분석

초록

본 논문은 Yao 그래프 k=4 (Y₄)의 네 개 사분면별 서브그래프를 연구한다. 한 사분면만 포함한 서브그래프(Y{i})는 평면이며 포레스트 형태이지만 일반적으로 연결되지 않는다. 인접한 두 사분면을 합친 서브그래프(Y{i,i+1})는 연결성을 갖지만 평면성을 잃을 수 있다. 무방향 버전은 스패너가 아니며, 방향 버전에서는 Y{i}가 √2‑스패너인 반면 Y{i,i+1}은 어떤 상수 t 도 만족하지 못한다는 결과를 제시한다.

상세 분석

Yao 그래프는 평면에 임의의 점 집합 P 에 대해 각 점 p 에서 네 개의 사분면(Q₀~Q₃) 각각에 가장 가까운 이웃을 연결하는 방식으로 정의된다. k=4일 때는 각 점이 최대 네 개의 유향 간선을 갖게 되며, 방향을 무시하면 무방향 그래프 Y₄가 된다. 논문은 두 가지 “일반 위치” 가정을 두어(1) 거리 중복 없음, (2) 수평·수직 좌표 중복 없음) 증명을 단순화한다.

먼저 한 사분면만을 허용한 서브그래프 Y{i}에 대해 Lemma 1을 통해 서로 교차하는 간선이 존재하지 않음을 보인다. 교차가 발생하려면 두 간선 ab, cd 가 각각 자신의 사분면 Q(a,b), Q(c,d) 내에 다른 점이 없어야 하는데, 경우 분석을 통해 모순이 도출된다. 따라서 Y{i}는 평면 포레스트이며, 연결성은 보장되지 않는다. 실제로 점들을 부정 기울기의 직선에 배치하면 모든 간선이 서로 다른 트리로 분리되어 완전히 단절된 그래프가 된다.

다음으로 인접한 두 사분면을 합친 서브그래프 Y{i,i+1}을 살펴본다. 여기서는 Lemma 2를 이용해 Y{i,i+1}이 항상 연결 그래프임을 귀납적으로 증명한다. 가장 낮은 y‑좌표를 가진 점 a 를 제거하고 귀납 가정에 의해 나머지 점 집합이 연결된다는 전제 하에, a 가 추가되더라도 기존 간선이 끊어지지 않으며, a 는 반드시 위쪽 사분면(Q₀ 또는 Q₁)에서 적어도 하나의 출발 간선을 갖는다. 따라서 전체 그래프는 연결성을 유지한다. 그러나 평면성은 보장되지 않는다. 그림 4에서 네 점이 정밀히 배치될 경우 두 간선이 교차하는 상황이 발생한다. 이러한 교차는 매우 특수한 경우에만 일어나지만 존재함을 보여준다.

스패너 특성에 대해서는 무방향과 유향 두 경우를 구분한다. 무방향 Y{i}는 연결되지 않을 수 있으므로 스패너가 될 수 없으며, Y{i,i+1}도 ‘Λ’ 형태로 점을 배치하면 양쪽 끝점 사이의 그래프 거리와 유클리드 거리 비율이 임의로 커질 수 있다. 따라서 두 서브그래프 모두 무방향 스패너가 아니다.

유향 그래프에서는 Lemma 3을 통해 Y{i}가 √2‑스패너임을 증명한다. 임의의 두 점 a, b 사이의 경로는 xy‑단조이며, 사각형 R(a,b) 내에 머무른다. 따라서 경로 길이는 사각형 둘레의 절반, 즉 대각선 길이의 √2 배 이하가 된다. 반면 Lemma 4는 Y{i,i+1}이 어떤 상수 t 도 만족하지 못하는 비스패너임을 보인다. 네 점 a, b, c, d 를 이용해 경로 a→b→c→d 를 만든 뒤, d 와 e 주변에 거의 수직인 “탑” 구조를 반복적으로 삽입하면 a와 d 사이의 유일한 유향 경로가 임의로 길어지게 된다. 이렇게 구성된 그래프에서는 a와 d 사이의 최단 유향 경로 길이가 |ad|에 비해 무한히 커질 수 있다.

결과적으로, 한 사분면만을 이용한 서브그래프는 평면이지만 연결되지 않으며, 인접 두 사분면을 이용하면 연결성은 확보되지만 평면성을 잃을 수 있다. 무방향 버전은 스패너가 아니며, 유향 버전에서는 Y{i}가 √2‑스패너인 반면 Y{i,i+1}은 스패너가 아니다. 이러한 차이는 Y₄ 전체 그래프의 스패너 여부를 판단하는 데 중요한 힌트를 제공한다.