고정‑모바일 이분그래프의 평면 그리기와 굽힘 제한

초록

본 논문은 고정된 위치를 가진 정점 집합(V_f)과 자유롭게 배치 가능한 모바일 정점 집합(V_m)으로 구성된 평면 이분그래프(FM‑bigraph)의 평면성 및 각 변당 굽힘(k‑bend) 수 제한 문제를 연구한다. 일반 경우에 0‑bend(직선) 그리기 문제는 NP‑hard임을 보이며, 고정 정점이 모두 한 직선 위에 있거나 모바일 정점이 이웃 정점들의 볼록 껍질 내부에 제한될 때는 다항식 시간 알고리즘을 제시한다. 또한, 수평 스트립으로 구분된 레이어드 모델에서 1‑bend 그리기의 존재 여부를 선형 시간에 판단하는 방법을 제공한다.

상세 분석

이 논문은 평면 이분그래프 G=(V_f,V_m,E)에서 V_f에 속하는 정점들의 좌표가 사전에 고정되어 있는 상황을 모델링한다. 목표는 각 모바일 정점 u∈V_m을 적절히 배치하고, 모든 변을 최대 k개의 굽힘(bend)으로 표현하면서 교차 없는 평면 그리기를 찾는 것이다. 저자들은 먼저 k=0, 즉 직선 변만 허용하는 경우를 중심으로 복잡도 경계를 탐구한다.

첫 번째 주요 결과는 0‑bend FM‑bigraph 문제의 NP‑hardness이다. 이를 위해 1‑bend 점 집합 임베딩(1‑BPSEWC) 문제로부터 다항식 시간 감소를 수행한다. 1‑BPSEWC는 각 정점이 미리 지정된 점에 일대일 대응되는 평면 그래프를 1‑bend 이하로 그릴 수 있는지를 묻는 문제이며, 기존 연구에서 NP‑hard임이 알려져 있다. 논문은 각 원래 그래프의 변 e=(u,v)를 모바일 정점 w_e로 대체하고, w_e와 u, v 사이에 두 변을 추가함으로써 0‑bend FM‑bigraph 인스턴스로 변환한다. 이 변환은 변에 존재하는 굽힘을 모바일 정점의 위치 선택으로 치환하므로, 원래 인스턴스가 해를 갖는 경우와 변환된 인스턴스가 해를 갖는 경우가 동치임을 보인다. 따라서 0‑bend 문제는 NP‑hard이며, k≥0에 대해서는 (2k+1)-BPSEWC와 동등한 난이도를 가진다.

두 번째로, 고정 정점이 모두 한 직선 ℓ 위에 놓인 특수 경우를 고려한다. 이 경우, 고정 정점들을 ℓ상의 순서대로 연결하는 사이클을 그래프에 추가하면, 전체 그래프의 평면성 여부는 기존 그래프에 사이클을 삽입한 뒤의 평면성 검사와 동일해진다. 사이클 삽입은 O(n) 시간에 수행될 수 있으므로, 이 경우 0‑bend 존재 여부를 선형 시간에 결정할 수 있다.

세 번째 주요 기여는 모바일 정점이 자신의 이웃 정점들의 볼록 껍질(convex hull) 내부에 제한되는 상황이다. 이 제약은 실무에서 “속성은 관련 위치들의 무게중심 근처에 배치한다”는 직관과 일치한다. 저자들은 고정 정점들의 모든 쌍에 대해 정의되는 선분 배열 A를 구성하고, A가 만든 셀(cell)들을 이산화된 후보 위치 집합으로 활용한다. Lemma 1에 의해 같은 셀 안에 있는 두 위치는 모바일 정점의 이동이 교차를 일으키지 않으므로, 각 모바일 정점을 O(n_f^4)개의 셀 중 하나에 배정하는 문제로 환원된다. 이때 각 모바일 정점이 차지할 셀을 선택하면, 전체 배치는 교차 없이 구현 가능하다.

이를 그래프 이론적 구조로 정리하면, (i) 각 모바일 정점 u에 대해 볼록 껍질 CH(u)와 셀들의 교집합을 클러스터 C(u)로 정의하고, (ii) 서로 볼록 껍질이 겹치지 않는 모바일 정점 쌍 (u,v) 사이에 셀 간 인접성을 부여해 셀 그래프 G_c를 만든다. G_c의 스켈레톤(skeleton)은 각 클러스터에서 하나의 셀을 선택해 모든 인접성을 만족시키는 부분 그래프이며, 스켈레톤이 존재하면 0‑bend 볼록 껍질 그리기가 가능함을 Lemma 2가 보인다. 그러나 일반적인 G_c에서 스켈레톤 존재 여부는 NP‑hard(정리 6)이다.

다행히도, CH 교차 그래프 G_x가 카키드(cactus) 구조일 경우, 즉 교차 관계가 트리·사이클·카키드 형태로 제한될 때는 다항식 시간 알고리즘을 설계한다(정리 5). 이는 G_x가 경로인 경우(Lemma 3)와 사이클·트리인 경우(Lemma 4)를 재귀적으로 결합해 해결한다. 따라서 실무에서 모바일 정점들의 볼록 껍질이 제한된 영역에 겹치지 않거나 제한된 형태로만 겹치는 경우, 효율적인 해법을 제공한다.

마지막으로, 1‑bend 그리기에 대한 “h‑strip” 모델을 제시한다. 여기서는 고정 정점들을 여러 개의 수평 스트립에 배치하고, 모바일 정점은 스트립 외부에 놓이며, 변은 스트립을 위·아래로만 통과하도록 제한한다. 이 모델은 라벨링 시스템에서 라벨(모바일 정점)이 특정 레이어 외부에 위치해야 하는 상황을 반영한다. 저자들은 스트립 순서를 기반으로 그래프를 두 부분으로 나누고, 각 부분에 대해 순서 그래프와 매칭을 이용해 교차 없는 1‑bend 배치를 선형 시간에 검증한다(섹션 3).

전체적으로 논문은 FM‑bigraph의 평면성 판단을 굽힘 제한과 정점 위치 제약이라는 두 축으로 체계화하고, NP‑hardness와 다항식 시간 알고리즘 사이의 경계를 명확히 제시한다. 특히, 고정 정점이 일직선에 있거나 모바일 정점이 볼록 껍질 내부에 제한되는 경우, 그리고 레이어드 1‑bend 모델에서 실용적인 테스트 알고리즘을 제공함으로써 이론적 난이도와 실제 응용 사이의 격차를 메우는 데 기여한다.