플래너 그래프에서의 메트릭 차원: 난이도 한계와 외부 평면 그래프 알고리즘

초록

본 논문은 메트릭 차원(Metric Dimension) 문제의 복잡도 경계를 명확히 규정한다. 최대 차수가 6인 플래너 그래프에 대해 NP‑완전임을 증명하고, 외부 평면(outerplanar) 그래프에 대해서는 다항시간 해결 알고리즘을 제시한다. 핵심은 비국소적 특성을 제한된 영역으로 압축하는 새로운 구조와 동적 계획법이다.

상세 분석

메트릭 차원은 그래프의 모든 정점 쌍을 서로 다른 거리값으로 구분할 수 있는 최소한의 기준점 집합(Landmark)의 크기를 의미한다. 이 문제는 40년 넘게 연구돼 왔지만, 일반 그래프에서의 NP‑완전성은 알려졌으나 플래너 그래프에서는 아직 확정되지 않았다. 저자들은 두 가지 주요 기여를 통해 이 공백을 메운다. 첫째, 최대 차수가 6인 플래너 그래프에 대해 NP‑완전임을 보인다. 이를 위해 1‑Negative Planar 3‑SAT(각 변수는 정확히 한 번 부정적으로, 한두 번 긍정적으로 등장하고, 각 절은 2~3개의 변수로 구성, 절‑변수 그래프가 플래너)이라는 제한된 SAT 변형을 이용한다. 변수와 절을 각각 복잡한 가젯(variable gadget, clause gadget)으로 교체하고, 가젯 사이의 연결을 정교히 설계해 메트릭 차원 문제로 변환한다. 각 변수 가젯은 네 개의 랜드마크를 필요로 하는데, 네 번째 랜드마크의 선택이 true/false/undef 중 하나에 대응한다. 절 가젯은 이 선택에 따라 모든 정점 쌍을 구분할 수 있는지 여부를 판단한다. 따라서 가젯 전체가 해를 제공하면 원래 SAT 인스턴스가 만족가능함을 보이며, 반대로 SAT 해가 있으면 메트릭 차원 해가 존재한다는 일대일 대응을 구축한다. 이 과정에서 플래너 임베딩을 유지하면서 차수를 6 이하로 제한한다는 기술적 난관을 극복한다.

둘째, 외부 평면 그래프에 대해 다항시간 알고리즘을 제시한다. 외부 평면 그래프는 트리폭이 2이지만, 기존의 트리폭 기반 동적 계획법은 비국소성 때문에 적용이 어렵다. 저자들은 그래프를 이중 연결 성분(biconnected component)들의 듀얼 트리 T로 변환하고, 각 트리 노드가 하나의 얼굴(face) 혹은 절단점(cut‑vertex)을 나타내게 한다. 여기서 핵심은 두 종류의 데이터 구조인 “경계 조건(boundary conditions)”과 “구성(configuration)”이다. 경계 조건은 현재까지 선택된 랜드마크가 아직 탐색되지 않은 부분에 미칠 영향을 요약한다. 구성은 한 노드의 여러 자식으로부터 전달된 경계 조건을 결합해 부모 노드로 전달할 새로운 경계 조건을 생성한다. 얼굴의 크기가 크게 변할 수 있음에도 불구하고, 가능한 구성의 총 수는 그래프의 크기에 대해 다항식 수준으로 제한됨을 증명한다. 이를 통해 트리 T를 리프에서 루트로 올라가며 전형적인 동적 계획법을 수행하고, 최종적으로 최소 랜드마크 집합의 크기를 구한다.

이 두 결과는 메트릭 차원 문제의 비국소적 특성을 “지역화”하고, 플래너 및 외부 평면 구조에 맞는 새로운 도구를 개발함으로써 복잡도 경계를 크게 좁힌다. 특히, 변수·절 가젯 설계와 구성 기반 동적 계획법은 다른 비국소 최적화 문제에도 적용 가능성을 시사한다.