네트워크 최적 단축선 찾기

초록

본 논문은 평면 유클리드 네트워크에 하나의 선분(단축선)을 추가하여 네트워크 전체 직경을 최소화하는 문제를 연속적인 설정에서 다룬다. 기존 연구는 주로 정점 사이에만 삽입 가능한 이산형 모델에 초점을 맞추었으나, 저자들은 모든 네트워크 상의 점을 고려하는 연속형 모델을 제안하고, 일반 네트워크에 대해 최적 단축선을 다항 시간 안에 찾는 알고리즘과 근사화를 위한 이산화 기법을 제공한다. 또한 경로 형태의 네트워크에 대해 고정 방향 단축선과 단순 단축선(교차 없이 삽입) 경우를 각각 O(n)·O(n²) 시간에 해결하는 개선된 방법을 제시한다.

상세 분석

논문은 먼저 평면 유클리드 네트워크(N)의 연속 직경(diam(N)) 정의와, 단축선(s)이 네트워크에 삽입될 때 발생하는 구조적 변화를 상세히 분석한다. 기존 연구에서 제시된 ‘highway model’과 달리, 저자들은 ‘planar model’을 채택하여 단축선과 기존 에지의 교차점도 새로운 정점으로 취급한다. 이 모델에서는 단축선이 부분적으로만 사용될 수 있기 때문에, 거리 함수가 비선형적으로 변하고, 최적 단축선의 존재 여부를 판단하기 위한 탐색 공간이 복잡해진다.

핵심 기술은 Lemma 1에서 제시된 거리 함수 f₍w,z₎^{α,β}(a,b)의 선형성이다. 이 함수는 단축선이 정의하는 직선 y = ax + b를 평행 이동할 때, 해당 직선이 교차하는 두 에지(e, e′)의 교점 p, q와 네트워크 내 정점·에지 α, β 사이의 거리 합을 표현한다. f는 b에 대해 선형이므로, 각 ‘hourglass’ 형태의 영역(Pₑ,ₑ′(m)) 내에서 최적값을 경계선만 평가하면 된다. 저자들은 모든 가능한 에지 쌍(e, e′)와 모든 정점·에지 쌍(α, β)에 대해 이러한 함수를 구성하고, 각 영역마다 상한선을 구해 전역 최소값을 찾는다.

이 과정에서 탐색 공간을 O(n⁴)개의 영역으로 제한하고, 각 영역당 O(n⁶)개의 함수 평가를 수행한다. 개별 함수 평가는 O(n²) 시간이 소요되므로 전체 복잡도는 O(n¹⁰)으로 매우 높은 편이다. 그러나 이는 다항 시간 안에 최적 단축선을 보장한다는 점에서 이론적 의의를 가진다.

실용성을 위해 저자들은 문제를 이산화하여 근사 알고리즘을 제안한다. 가장 직관적인 이산화는 네트워크 정점 쌍 사이의 선분을 후보로 삼는 것이지만, 그림 4(a)에서 보듯이 최적 해와 크게 차이날 수 있다. 대신 ‘최대 연장(maximal extension)’ 개념을 도입해, 후보 선분을 해당 선분이 포함될 수 있는 가장 긴 선분으로 확장한다. 경로에 대해서는 Yang