최소 가중치 유클리드 t 스패너는 NP 하드

초록

본 논문은 평면상의 점 집합 P에 대해, 주어진 상수 t > 1에 대해 모든 쌍의 거리 비율을 t 이하로 보존하면서 전체 간선 길이가 w 이하인 유클리드 t‑스패너가 존재하는지를 판정하는 문제가 NP‑하드임을 증명한다. 또한 스패너가 평면 그래프(플래너)이어야 하는 경우에도 동일한 난이도를 보인다. 이를 위해 PARTITION 문제로부터의 다항식 시간 감소를 구성하고, 가중치 제한을 정확히 맞추는 복잡한 기하학적 가젯을 설계한다.

상세 분석

논문은 먼저 Euclidean t‑spanner의 정의와 “weight”를 전체 간선 길이의 합으로 정량화한다. 기존 연구에서는 t‑spanner의 존재와 근사 알고리즘에 초점을 맞추었으나, 최소 가중치 스패너의 최적화 문제는 아직 복잡도 측면에서 명확히 규명되지 않았다. 저자들은 이 공백을 메우기 위해, NP‑완전 문제인 PARTITION을 선택한다. 각 PARTITION 인스턴스는 정수 집합 A={a₁,…,aₙ}와 목표값 B=½∑aᵢ 로 구성된다. 이를 평면상의 점 집합 P로 변환하는 과정에서, 각 정수를 대응하는 “수직 막대”와 “수평 막대” 형태의 기하학적 가젯을 만든다. 이 가젯들은 두 종류의 경로, 즉 “선택 경로”와 “비선택 경로”를 제공하는데, 선택 경로를 이용하면 해당 정수의 무게가 스패너의 전체 가중치에 정확히 반영된다. 반대로 비선택 경로를 택하면 그 무게는 제외된다.

핵심 아이디어는 전체 스패너의 가중치를 w = w₀ + B 로 설정하고, w₀는 가젯 자체가 반드시 포함해야 하는 고정 길이(예: 기본 사각형 테두리)의 합으로 정의한다. 만약 PARTITION 인스턴스가 해를 갖는다면, 정확히 B 만큼의 추가 길이를 선택 경로를 통해 채울 수 있어 전체 가중치 제한을 만족한다. 반대로 PARTITION에 해가 없으면 어떤 경로 선택 조합도 w를 초과하게 된다.

또한 저자들은 평면성 요구를 만족시키기 위해 가젯들을 서로 겹치지 않도록 배치하고, 모든 추가 간선이 기존 점 사이의 직선 구간에만 놓이도록 설계한다. 이를 위해 “교차 방지 라인”과 “연결 브리지”를 도입해, 스패너가 평면 그래프가 되도록 강제한다. 이러한 설계는 가중치 계산에 영향을 주지 않으면서도 플래너 조건을 유지한다는 점에서 기술적으로 정교하다.

복잡도 분석에서는 변환 과정이 입력 크기 n에 대해 다항식 시간에 수행됨을 보이고, 생성된 점 집합의 크기가 O(n)임을 증명한다. 따라서 최소 가중치 Euclidean t‑spanner 존재 여부 판정 문제가 NP‑하드임을 결론짓는다.

이 결과는 t‑spanner 설계에서 최적 가중치를 찾는 것이 근본적으로 어려운 문제임을 시사하며, 근사 알고리즘이나 파라메트릭 접근법에 대한 연구 필요성을 강조한다.