홀프와 다트와 불이 없는 그래프의 최대 가중 독립 집합

초록

본 논문은 정점 가중치를 갖는 최대 가중 독립 집합(MWIS) 문제를, 홀(길이가 5이상인 무방향 사이클)이 없고 동시에 다트 혹은 불 구조를 배제한 그래프 클래스에서 다항 시간으로 해결할 수 있음을 보인다. 저자는 클리크 분리자 분해와 모듈러 분해를 결합하여 그래프의 구조를 정밀히 분석하고, 이를 기반으로 효율적인 동적 계획법을 설계한다. 홀만 배제한 경우보다 더 강력한 구조적 결과와 개선된 시간 복잡도를 얻는다.

상세 분석

MWIS 문제는 일반 그래프에서 NP‑완전이며, 근사 알고리즘조차 제한적인 난이도를 가진다. 특히 “홀”이라 불리는 5이상 길이의 유도 사이클이 존재하지 않는 그래프, 즉 홀프‑프리 그래프에서의 복잡도는 아직 미해결 상태였다. 이 논문은 이러한 미해결 영역을 두 개의 세부 클래스—odd‑hole‑free ∧ dart‑free 그래프와 odd‑hole‑free ∧ bull‑free 그래프—로 좁힌 뒤, 각각에 대해 다항 시간 알고리즘을 제시한다. 핵심 아이디어는 클리크 분리자 분해와 모듈러 분해를 동시에 활용하는 것이다.

클리크 분리자는 그래프를 완전 그래프(클리크)와 그 외의 부분으로 나누어, 각 부분을 독립적으로 처리한 뒤 결과를 결합할 수 있게 해준다. 이때 클리크 자체는 MWIS에 거의 영향을 주지 않으며, 분리된 서브그래프들에 대해 재귀적으로 동일한 절차를 적용한다. 모듈러 분해는 그래프를 모듈(동일한 외부 인접성을 갖는 정점 집합)로 분할함으로써, 모듈 내부 구조를 압축하고 전체 문제의 차원을 크게 줄인다.

odd‑hole‑free ∧ dart‑free 그래프에서는, 다트 구조가 존재하면 특정 모듈이 복잡한 교차 패턴을 만들지만, 다트가 금지되면 모든 모듈이 완전 이분 그래프 혹은 완전 그래프 형태로 제한된다. 이는 각 모듈 내에서 MWIS를 선형 시간에 해결할 수 있음을 의미한다. 또한, 클리크 분리자를 적용하면 남은 서브그래프는 트리‑폭이 2 이하인 구조가 되며, 이는 기존에 알려진 동적 계획법(예: 트리‑폭 기반 DP)으로 쉽게 처리할 수 있다.

odd‑hole‑free ∧ bull‑free 그래프에 대해서는, 불 구조가 금지되면 그래프는 완전 이분 그래프와 별도의 완전 그래프들의 합성 형태로 변환된다. 불이 포함될 경우 발생할 수 있는 “삼각형‑꼬리” 패턴이 사라지면서, 모듈 간의 연결 관계가 단순한 별형(Star) 혹은 경로형으로 제한된다. 이때도 클리크 분리자와 모듈러 분해를 순차적으로 적용하면, 최종적으로는 단일 트리‑폭 1인 구조(즉, 포레스트)로 축소된다. 포레스트에서는 MWIS를 각 트리마다 독립적으로 해결하고, 결과를 합산하는 것이 최적임을 보장한다.

논문은 또한 홀프‑프리(hole‑free) 그래프, 즉 모든 홀을 배제한 경우에 대해 더 강력한 구조적 정리를 제시한다. 이 경우 클리크 분리자와 모듈러 분해만으로도 그래프를 완전 이분 그래프와 완전 그래프의 교차곱 형태로 완전 분해할 수 있다. 결과적으로 알고리즘의 시간 복잡도는 (O(n^3))에서 (O(n^2)) 수준으로 개선된다.

전체적으로 이 연구는 두 가지 중요한 기여를 한다. 첫째, 특정 금지 서브그래프(다트, 불)를 추가함으로써 odd‑hole‑free 그래프 클래스가 충분히 구조화되어 다항 시간 MWIS 알고리즘이 가능함을 증명한다. 둘째, 클리크 분리자와 모듈러 분해라는 두 강력한 그래프 분해 기법을 결합하는 새로운 방법론을 제시함으로써, 향후 다른 금지 서브그래프 기반 문제에도 적용 가능한 일반적인 틀을 제공한다.