제네럴라이즈드 네마우저 트로터 정리와 제한 차수 삭제 문제

초록

이 논문은 네마우저‑트로터 정리를 정점 삭제와 그래프 포장 문제에 일반화한다. 순수 조합론적 기법으로 제한 차수 삭제(Bounded‑Degree Deletion) 문제에 적용해 상수 d에 대해 선형 크기의 커널을 얻고, 별 포장 문제에도 확장한다. 또한 d가 제한되지 않을 때는 W

상세 분석

본 연구는 기존 네마우저‑트로터 정리가 선형 프로그램(LP) 이중성에 기반해 정점 커버 문제에만 적용된 한계를 극복하고, 순수 조합론적 방법으로 일반화한다는 점에서 혁신적이다. 핵심 아이디어는 그래프를 “안전한” 정점 집합과 “불확실한” 정점 집합으로 분할하고, 불확실한 부분에 대해 반복적인 로컬 최적화 과정을 수행함으로써 전체 문제를 작은 핵심 인스턴스로 축소한다는 것이다. 이때 사용되는 로컬 규칙은 정점의 차수와 인접 관계만을 이용해 정의되며, LP 해석 없이도 동일한 구조적 보장을 제공한다.

특히 제한 차수 삭제 문제는 d=0일 때 정점 커버와 동치이지만, d가 커짐에 따라 문제의 복잡도가 급격히 변한다. 저자들은 임의의 상수 d에 대해 “차수‑제한 핵심 정리”를 증명한다. 이 정리는 그래프를 세 부분(A, B, C)으로 나누어 A는 이미 차수 ≤d인 정점, B는 반드시 삭제해야 하는 정점, C는 선택 여부가 남아 있는 정점으로 구성한다. B와 C 사이의 이분 그래프 구조를 이용해 매칭 기반의 하한을 계산하고, 매칭 크기와 비교해 B의 크기가 전체 최적 해의 2배 이하임을 보인다. 결과적으로 |B|+|C| ≤ 2·OPT이며, C의 크기는 O(d·|B|) 로 제한된다. 따라서 전체 정점 수는 O(d·OPT) 로 선형적인 커널을 얻는다.

또한 별 포장 문제에 대한 확장은 흥미롭다. 저자들은 “k‑리프 별”을 일정 개수만큼 포장하는 문제를, 제한 차수 삭제와 유사한 매칭‑커버 구조로 변환한다. 이 변환을 통해 별 포장에 대한 커널 크기도 d와 k에 대한 다항식으로 제한됨을 보인다. 마지막으로 d가 입력에 따라 가변적일 때는 문제를 파라미터 d와 k에 대해 W