분할 그래프와 경로 그래프에서의 m 영원 지배 집합 복잡도 분석

초록

본 논문은 chordal 그래프의 두 하위 클래스인 split 그래프와 undirected path 그래프에서 m‑eternal dominating set 문제의 계산 복잡성을 조사한다. K₁,ₜ‑free split 그래프에 대해 t≤4인 경우 다항시간 알고리즘을 제시하고, t≥5에서는 NP‑완전성을 증명한다. 또한 undirected path 그래프에서도 NP‑hard임을 보이며, 영원 지배 집합(Eternal Dominating Set)과 일반 지배 집합(Dominating Set) 사이의 복잡도 차이를 보여주는 두 개의 특수 그래프 클래스를 제시한다. 마지막으로, 일반적인 Dominating Set은 NP‑hard하지만 m‑eternal dominating set은 다항시간에 해결 가능한 그래프 클래스를 구성한다.

상세 분석

이 연구는 동적 방어 모델인 m‑eternal dominating set 문제를 chordal 그래프의 대표적인 하위 클래스인 split 그래프와 undirected path 그래프에 한정하여 체계적으로 분석한다. 먼저 split 그래프에 대해 K₁,ₜ‑free 조건을 도입한다. 저자들은 Δ_I(G)라는 파라미터(클릭 C에 속한 정점이 독립 집합 I에 인접한 최대 수)를 활용해 K₁,ₜ‑free split 그래프에서 t≤4인 경우 m‑eternal dominating set을 |V|^{3/2} 시간 안에 찾는 알고리즘을 설계한다. 핵심 아이디어는 독립 집합 I의 크기와 Δ_I(G)의 제한을 이용해 가능한 guard 이동을 제한하고, 이를 매칭 이론과 결합해 최소 guard 수를 결정하는 것이다.

반면 t≥5인 경우에는 Exact‑3‑Cover 문제로부터 다항시간 환원을 수행하여 NP‑complete임을 증명한다. 환원 과정에서 각 원소와 집합을 정점으로 매핑하고, K₁,₅ 구조를 강제함으로써 guard가 반드시 특정 패턴으로 이동해야 함을 보인다. 이는 m‑eternal dominating set이 일반적인 Dominating Set보다 더 강한 제약을 갖지만, 여전히 NP‑hard 문제임을 확인한다.

다음으로 undirected path 그래프에 대해 저자들은 3‑Dimensional Matching 문제를 이용해 NP‑hardness를 증명한다. 경로 그래프는 interval 그래프와 chordal 그래프 사이의 중간 클래스이며, 기존 연구에서 Dominating Set이 NP‑hard인 것이 알려져 있었다. 여기서는 각 매칭 요소를 경로의 특정 구간에 대응시켜 guard 이동이 매칭 선택과 일대일 대응하도록 구성한다. 이를 통해 m‑eternal dominating set 문제 역시 동일한 복잡도 경계를 공유함을 보인다.

특히 논문은 세 가지 문제(Dominating Set, Eternal Dominating Set, m‑eternal Dominating Set) 사이의 복잡도 차이를 강조한다. 첫 번째 특수 그래프 클래스에서는 Dominating Set와 m‑eternal Dominating Set은 다항시간에 해결 가능하지만 Eternal Dominating Set은 NP‑hard이다. 이는 guard가 한 번에 여러 명 이동할 수 있는 m‑model이 방어 전략을 크게 완화시킨다는 점을 시사한다. 반대로 두 번째 클래스에서는 Eternal Dominating Set은 다항시간에 solvable하지만, 두 다른 문제는 NP‑hard이다. 이러한 상반된 현상은 문제 정의에 따라 복잡도 구조가 크게 달라질 수 있음을 보여준다.

마지막으로, 일반적인 Dominating Set이 NP‑hard하지만 m‑eternal Dominating Set이 효율적으로 풀리는 그래프 클래스를 제시한다. 이 클래스는 임의의 그래프에 길이 5인 경로 P₅를 n개의 정점마다 중간 정점을 연결해 만든 구조이다. P₅의 특수한 형태가 guard의 이동을 제한하면서도 전체 guard 수를 최소화할 수 있게 하여, m‑eternal 모델에서는 polynomial‑time 알고리즘이 가능하도록 만든다.

전체적으로 이 논문은 m‑eternal dominating set 문제의 복잡도 지도를 세밀하게 그리며, 특히 chordal 그래프 계열에서 어떤 구조적 제한이 문제를 쉽게 만들고, 어떤 제한이 NP‑hard성을 유지시키는지를 명확히 구분한다. 또한, 동적 방어 모델의 다양한 변형이 실제 알고리즘 설계와 복잡도 이론에 미치는 영향을 실증적으로 보여준다.