대역폭과 왜곡 문제의 새로운 정확 알고리즘

본 논문은 그래프 이론에서 중요한 두 NP‑완전 문제인 대역폭(BANDWIDTH) 문제와 선형 임베딩 왜곡(DISTORTION) 문제에 대해, 기존 최선 알고리즘을 크게 능가하는 정확 알고리즘을 제시한다. 두 문제는 각각 정점 순열의 최대 간선 거리와 그래프 정점 간 거리 비율을 최소화하는 것을 목표로 한다. 전통적으로 이들 문제에 대한 정확 알고리즘은 지수 시간·지수 공간을 요구했으며, 특히 대역폭 문제에서는 Feige와 Kilian이 2000년에 제시한 O*(10ⁿ) 시간·다항 공간 알고리즘이 오랫동안 최선 기록이었다. 왜곡 문제는 Fomin 등(2009)이 O(5ⁿ·poly) 시간·O(2ⁿ) 공간 알고리즘을 제시했지만, 다항 공간 버전은 알려지지 않았다. 논문은 두 문제를 “부분 버킷 함수(partial bucket function)”라는 공통 구조로 통합한다. 버킷은 정수 구간을 의미하며, 각 정점은 아직 배정되지 않은 경우에는 버킷 번호가 미정인 상태(A, f)로 표현된다. 여기서 A는 이미 버킷이 정해진 정점 집합, f는 그 정점들의 버킷 번호 매핑이다. 중요한 점은 (A, f)가 유효한 부분 버킷 함수인지, 그리고 이를 전체 버킷 확장(bucket extension)으로 연장할 수 있는지를 다항 시간에 판단할 수 있다는 것이다. 이를 위해 논문은 기존 O*(20^{n/2}) 알고리즘에서 사용된 제약 전파 기법을 정교히 분석하고, 가능한 (A, f)쌍의 수가 실제로는 O(cⁿ) (c<4.383) 수준임을 증명한다. 이 상한은 정점이 트리 형태일 때도 적용 가능하도록 일반 그래프에 대해 귀류법으로 확장된다. 대역폭 문제에 대한 알고리즘은 먼저 “색‑세그먼트(color‑segment)” 구조를 도입한다. 위치 i∈{1,…,n}을 색(color)과 세그먼트(segment) 쌍으로 구분하고, 색이 우선 순위가 높은 사전식 순서로 정렬한다. 이렇게 하면 대역폭 b 이하의 순열은 색‑세그먼트 순서를 따르는 특성을 갖는다. 부분 버킷 함수와 색‑세그먼트 정보를 결합해 상태(state)를 정의하고, 한 정점을 현재 위치에 배정하는 전이(successor)를 통해 전체 순열을 구성한다. 전체 상태 공간을 깊이 우선 탐색으로 전부 탐색하면 O(4.383ⁿ) 시간·지수 공간이 소요되지만, 메모리 사용량이 비현실적이다. 이를 해결하기 위해 논문은 “중간 상태 추정” 기법을 도입한다. 전체 정점 집합을 두 부분으로 나누어, 크기 k≈αn (α=0.5475)인 중간 상태를 먼저 열거한다. 이 중간 상태를 시작점으로 앞쪽 구간(0…k)과 뒤쪽 구간(k…n)을 각각 재귀적으로 검증한다. 각 구간에서 다시 절반 크기의 중간 상태를 선택해 재귀 깊이를 로그 수준으로 제한한다. 이 과정에서 각 단계마다 가능한 부분 버킷 함수의 수가 4^m (m은 현재 구간에 남은 정점 수)으로 제한되므로, 전체 복잡도는 O(9.363ⁿ)으로 수렴한다. 메모리는 현재 탐색 중인 구간의 상태와 재귀 스택만 유지하면 되므로 다항 공간을 보장한다. 왜곡 문제에 대해서는 Fomin 등(2009)의 접근을 확장한다. 왜곡 문제는 “푸시 임베딩(pushing embedding)”이라는 추가 제약을 두어, 임베딩이 정점 간 거리와 정확히 일치하도록 만든다. 이때도 색‑세그먼트 개념을 적용해 위치를 (색, 세그먼트) 쌍으로 표현한다. 부분 버킷 함수와 함께 “상태(state)”를 (현재 위치 p, (A, f), (H, h)) 형태로 정의한다. 여기서 (H, h)는 현재 세그먼트 내에서 가장 오른쪽에 배정된 정점과 그 거리 정보를 담는다. 상태 전이는 새로운 정점을 현재 위치에 배정하고, 필요한 거리 제약을 만족하도록 (H, h)를 업데이트하는 방식이다. 전체 상태 공간의 크기는 부분 버킷 함수 수 O(4.383ⁿ)와 세그먼트 별 정점 배정 조합 O(n^{O(r)})의 곱으로, r은 세그먼트 수(≈n)이다. 따라서 O(4.383ⁿ·n^{O(r)}) 시간·공간 알고리즘을 얻을 수 있다. 다항 공간 버전을 만들기 위해서는 대역폭 문제와 동일한 중간 상태 추정 전략을 적용한다. 중간 상태 (p, (A, f), (H, h))를 먼저 열거하고, 앞쪽·뒤쪽 구간을 재귀적으로 검증한다. 각 구간에서 가능한 (H, h) 조합은 세그먼트 수에 비례해 다항 개수이므로, 전체 복잡도는 대역폭과 동일하게 O(9.363ⁿ)이며, 메모리 사용량은 다항 수준이다. 결과적으로 논문은 왜곡 문제에 대해 최초로 다항 공간·O(cⁿ) 시간 알고리즘을 제시한다. 마지막으로 논문은 두 문제 모두에 대해 기존 최선 기록을 크게 앞서는 결과를 정리한다. 대역폭에서는 O(9.363ⁿ)·다항 공간 알고리즘이 Feige‑Kilian의 O*(10ⁿ)·다항 공간을 능가한다. 왜곡에서는 O(9.363ⁿ)·다항 공간 알고리즘이 최초이며, O(4.383ⁿ)·다항 공간 알고리즘도 기존 O(5ⁿ)·지수 공간보다 우수하다. 또한 부분 버킷 함수라는 통합 도구가 그래프 순서화와 임베딩 문제에 광범위하게 적용될 수 있음을 시사한다.