가장 중심적인 최단 경로 찾기: 알고리즘과 복잡도 분석

초록

본 논문은 무가중 그래프에서 “경로 차수 중심성”(경로에 인접한 정점 수)을 최대로 하는 최단 경로를 찾는 문제를 다룬다. 저자들은 O(|E|·|V|²·Δ(G)) 시간 복잡도를 갖는 다항식 알고리즘을 제시하고, 가중 그래프에서는 동일 문제가 두 가지 가중치만 존재해도 NP‑hard임을 증명한다. 또한, 베트위니스 중심성에 대해서는 가중·무가중 그래프 모두에서 다항식 시간 해결법을 제시하고, 근접 중심성(Closeness) 문제는 그래프 유형에 관계없이 NP‑hard임을 보인다. 실험을 통해 제안 알고리즘이 기존 MVP 알고리즘보다 우수함을 확인한다.

상세 분석

이 논문은 네트워크 분석에서 노드 중심성은 널리 사용되지만, 경로 중심성에 대한 연구는 상대적으로 부족하다는 점을 지적한다. 특히 “경로 차수 중심성(Cd(P))”을 정의하여, 경로 P에 인접한 정점들의 집합 N(P)의 크기로 측정한다. 무가중 그래프 G=(V,E)에서 모든 정점 쌍에 대한 최단 경로 집합 SP(G) 중, Cd(P)를 최대화하는 경로를 찾는 문제를 (1)식으로 공식화한다.

알고리즘 설계는 BFS와 Dijkstra의 아이디어를 결합한다. 각 정점 v에 대해 현재까지 발견된 최단 거리 d_v와 그 거리에서 가장 차수 중심성이 큰 경로 집합 P_v를 유지한다. 정점 u를 팝한 뒤 인접 정점 v에 대해 새 거리 d_new = d_u+1을 계산하고, 기존 d_v와 비교한다. 거리 같거나 더 짧을 경우, 모든 가능한 전임 정점 w∈P_u에 대해 경로 h_{P_w,u,v}의 차수 중심성을 평가한다. 이때 Cd가 더 큰 경우 P_v를 교체하거나 추가한다. 핵심은 Lemma 1·2를 이용해 “부분 경로도 최단이며, 부분 경로가 가장 차수 중심성이 높다면 전체 경로도 최적”임을 보장함으로써 동적 계획법 형태의 최적 부분 구조를 확보한 것이다.

시간 복잡도 분석에서는 각 정점에 대해 최대 |V|개의 전임 정점을 저장하고, 각 가장자리마다 O(|V|)번의 비교가 발생한다. 따라서 전체 복잡도는 O(|E|·|V|²·Δ(G))이며, Δ(G)는 최대 차수를 의미한다. 이 복잡도는 기존 MVP 알고리즘(O(|E|·|V|²))보다 Δ(G)만큼 추가되지만, 실제 실험에서는 그래프의 희소성에 따라 오히려 더 빠른 수행을 보인다.

가중 그래프에 대한 NP‑hardness 증명은 두 가지 가중치만 허용하는 경우에도 최소 비용 최단 경로와 차수 중심성 최적화를 동시에 만족시키는 것이 “Subset Sum” 혹은 “Partition” 문제와 귀납적으로 동일함을 보인다. 즉, 가중치가 다르면 최단 경로 자체가 선택에 큰 영향을 주어 조합 최적화 문제로 귀결된다.

베트위니스 중심성(Cb(P))에 대해서는 경로에 포함된 정점들이 전체 그래프에서 다른 정점 쌍 사이의 최단 경로에 얼마나 자주 등장하는지를 측정한다. 저자들은 모든 정점 쌍에 대해 최단 경로 트리를 구축하고, 각 경로에 대한 베트위니스 점수를 누적하는 O(|E|·|V|²) 알고리즘을 제시한다. 이는 가중·무가중 모두 적용 가능하며, 차수 중심성 알고리즘과 구조적으로 유사하지만 경로 길이와 관계없이 모든 최단 경로를 탐색한다는 점에서 차이가 있다.

마지막으로 근접 중심성(Cc(P))은 경로에 포함된 정점들의 평균 최단 거리 합을 최소화하는 문제로 정의된다. 논문은 이 문제가 그래프가 가중이든 무가중이든 “k‑Center” 혹은 “Facility Location” 문제와 동형임을 증명해 NP‑hard임을 보인다. 따라서 근접 중심성 최적화는 근사 알고리즘이나 휴리스틱이 필요함을 시사한다.

실험 섹션에서는 합성 랜덤 그래프(ER, BA)와 실제 소셜·인프라 네트워크(예: Facebook, 전력망)를 대상으로 알고리즘 1, MVP, 베트위니스 알고리즘을 비교한다. 결과는 제안 알고리즘이 차수 중심성 측면에서 평균 15‑30% 높은 값을 얻으며, 실행 시간도 평균 20% 이상 단축됨을 보여준다. 특히 고차수 정점이 많이 존재하는 스케일프리 네트워크에서 Δ(G)의 영향이 크게 나타나, 기존 방법보다 효율성이 두드러진다.

전체적으로 이 논문은 “경로 중심성”이라는 새로운 연구 영역을 체계화하고, 차수·베트위니스·근접 중심성 각각에 대해 복잡도 경계를 명확히 제시함으로써 향후 네트워크 설계·보안·전파 모델링 등에 활용 가능한 이론적·실용적 기반을 제공한다.