그래프와 유클리드 공간에서의 멀티패킹 복잡도와 근사 알고리즘

초록

멀티패킹 문제는 그래프의 정점 집합이 각 반경 r 볼 안에 최대 r 개의 정점만 포함하도록 하는 집합을 찾는 문제이다. 본 논문은 이 문제가 무방향 그래프에서도 NP‑완전이며, 해의 크기를 매개변수로 할 때 W

상세 분석

멀티패킹은 “볼 안에 포함되는 멀티패킹 정점 수 ≤ 반경”이라는 제약을 갖는 독특한 독립 집합 개념으로, 방송 지배(broadcast domination)와 쌍대 관계에 있다. 기존 연구에서는 강 chordal 그래프와 격자 그래프 등 제한된 클래스에서 다항식 시간 알고리즘이 알려졌지만, 일반 무방향 그래프에 대한 복잡도는 오랫동안 미해결이었다. 본 논문은 먼저 3‑SAT의 변수‑절 클라우스 구조를 변형한 그래프 G를 구성해, G가 주어진 k‑크기의 멀티패킹을 포함한다는 것이 원래 논리식의 만족 가능성과 동치임을 보임으로써 NP‑완전성을 증명한다. 이 구성은 각 변수와 절을 각각 작은 “가젯”으로 구현하고, 이들 사이의 거리 제약을 통해 반경 r 볼 안에 최대 r 개의 멀티패킹 정점만 들어갈 수 있도록 설계되었다.

매개변수화 관점에서는, 해의 크기 k를 파라미터로 하는 문제를 k‑크기 독립 집합 문제와 유사하게 변환하여, W