전역 희소 그래프에서 거리 d 지배 집합의 효율적 해결

초록

본 논문은 이제까지 구조적 분해에 의존해 온 지배 집합 문제를, 이제는 ‘전역 희소(지금까지는 희소)’ 그래프 클래스에 대해 균일하게 quasi‑wide 성질만을 이용해 해결한다. 특히 거리‑d 지배 집합(또는 (k,d)‑센터) 문제를, 유도 부분그래프에 대해 닫힌 전역 희소 그래프에서 파라미터 k에 대해 고정‑파라미터 트랙터블(FPT)임을 증명한다. 이 결과는 H‑마이너 자유, 로컬 마이너 제외, 그리고 확장된 경계(expansion) 그래프 등 기존에 알려진 특수 경우들을 일반화한다. 또한, 확장된 경계 클래스에 대한 열린 질문에 답을 제시한다.

상세 분석

논문은 먼저 전역 희소 클래스가 ‘균일 quasi‑wide’ 라는 핵심 성질을 가짐을 상기한다. 이 성질은 임의의 반경 r에 대해, 충분히 큰 그래프에서 작은 크기의 ‘전역 차단 집합’ S를 제거하면 남은 그래프가 r‑거리에서 서로 멀리 떨어진 다수의 ‘핵심’ 정점 집합을 포함한다는 것을 의미한다. 저자들은 이 구조를 이용해 거리‑d 지배 집합 문제를 커버링 문제로 변환한다. 구체적으로, 후보 중심 정점들의 집합 C를 선택하고, 각 정점 v에 대해 반경 d 이내에 있는 C의 원소가 존재하도록 하는 제약을 만든다. 균일 quasi‑wide 성질에 의해, 작은 차단 집합 S를 제거하면 남은 그래프는 ‘r‑분리된’ 클러스터들로 나뉘어, 각 클러스터는 상수 크기의 커버링 문제로 축소된다. 이때 각 클러스터에 대해 Brönnimann‑Goodrich 형태의 ε‑넷 기술을 적용하면, 전체 문제를 k‑파라미터에 대한 FPT 알고리즘으로 해결할 수 있다. 중요한 점은, 이 과정에서 전통적인 그래프 분해(예: 트리폭, 그래프 마이너)나 복잡한 구조적 정리를 전혀 사용하지 않았다는 것이다. 대신, 전역 희소 클래스가 제공하는 ‘전역 차단 집합 존재성’과 ‘클러스터의 균일 bounded‑size’를 활용한다. 또한, 저자들은 이 방법이 기존에 알려진 H‑마이너 자유 그래프, 로컬 마이너 제외 그래프, 그리고 확장된 경계 그래프에 그대로 적용될 수 있음을 보인다. 특히, 확장된 경계 클래스에 대해 거리‑d 지배 집합이 FPT라는 질문에 대해, 균일 quasi‑wide 성질이 이미 확장된 경계에서 보장되므로, 동일한 알고리즘이 그대로 작동함을 증명한다. 최종적으로, 알고리즘의 시간 복잡도는 f(k,d)·n^O(1) 형태이며, 여기서 f는 k와 d에만 의존하는 함수이다. 이는 파라미터화된 복잡도 관점에서 매우 강력한 결과이며, 전역 희소 클래스 전반에 걸친 지배 집합 문제의 새로운 통일된 해법을 제공한다.