P2 패킹을 위한 파라미터화된 접근과 7k 커널

초록

본 논문은 그래프에서 정점이 겹치지 않는 길이 2인 경로(P₂)들의 최대 집합을 찾는 문제를 파라미터 k(패킹 크기) 관점에서 연구한다. 최대 P₂‑패킹을 시작점으로 2.5j개의 정점을 재사용할 수 있음을 보이고, 새로운 7k 크기의 커널을 설계한다. 이를 기반으로 O⁎(2.482^{3k}) 시간에 해를 구하는 알고리즘을 제시한다.

상세 분석

논문은 먼저 P₂‑패킹 문제를 매칭의 일반화로 정의하고, 기존 연구에서 알려진 NP‑완전성 및 3‑셋 패킹과의 관계를 정리한다. 핵심 기여는 두 가지이다. 첫째, 최대 P₂‑패킹 P(크기 j)에서 크기 j+1인 패킹 Q가 존재한다면 Q가 P의 정점 중 최소 2.5j개를 반드시 포함한다는 ‘재사용 정리’를 증명한다. 이 정리는 기존 3‑셋 패킹에서 2j개의 재사용만 보장하던 결과를 크게 개선한다. 증명 과정에서는 P와 Q 사이의 교차 구조를 정밀히 분석하고, 교차 횟수를 최소화하는 Q(1), 그 다음으로 교차 에지를 최대화하는 Q(2)를 단계적으로 정의한다. 또한 ‘foldable’ 경로와 ‘mid‑point’, ‘end‑point’ 개념을 도입해 교체 연산을 정형화함으로써, 어떠한 경우에도 최소 2.5j개의 정점이 유지됨을 보인다.

둘째, 커널화 기법을 제시한다. 그래프 G와 현재의 최대 P₂‑패킹 P를 기준으로 Q₀(단일 정점으로 남은 컴포넌트)와 Q₁(단일 에지로 남은 컴포넌트)를 정의하고, 두 개의 감소 규칙(Rule 1, Rule 2)을 적용한다. Rule 1은 P의 두 정점이 서로 다른 Q₀‑정점에 연결될 때 Q₀를 2개 감소시키고 Q₁을 1개 증가시키며, Rule 2는 두 정점이 서로 다른 Q₁‑에지에 연결될 때 Q₁을 2개 감소시키고 P의 크기를 1 증가시킨다. 이러한 규칙은 각각 O(n/2)와 O(k)번만 적용될 수 있으므로 전체 과정은 다항시간이다. 규칙 적용이 더 이상 불가능해지면 Q₀와 Q₁의 개수가 각각 2k‑3, k‑1 이하가 된다. 이때 그래프의 정점 수는 최대 7k‑8이 되며, 이는 7k 크기의 커널을 보장한다. 커널 존재를 보이기 위해 ‘double crown’과 ‘fat crown’ 구조를 활용한다. Double crown은 독립 집합 I와 그 이웃 N(I) 사이에 |I|≥2|N(I)|인 경우에 존재하고, fat crown은 K₂ 집합 J와 그 이웃 사이에 |J|≥|N(J)|인 경우에 존재한다. 논문은 이 두 구조를 선형 시간에 찾는 알고리즘을 제시하고, 각각 Lemma 1, Lemma 2와 결합해 커널을 축소한다.

이후 재사용 정리와 커널을 결합해, 크기 k의 P₂‑패킹을 찾는 전체 알고리즘을 설계한다. 커널 단계에서 그래프를 7k 이하로 축소한 뒤, 동적 프로그래밍을 이용해 최대 j까지의 패킹을 차례로 확장한다. 각 확장 단계에서 앞서 증명한 2.5j 정점 재사용 특성을 활용해 탐색 공간을 크게 줄인다. 최종 시간 복잡도는 O⁎(2.482^{3k})이며, 이는 이전 최선인 O⁎(3.403^{3k})(Prieto‑Sloper)와 O⁎(4.61^{3k})(Liu et al.)를 크게 앞선다. 또한, 총 에지 커버 문제에 대한 파라미터화된 이중 결과도 도출하여 1.5k 정점 커널을 얻는다. 전체적으로 이 논문은 조합적 극값 분석과 구조적 커널링을 결합해 P₂‑패킹 문제의 파라미터화 복잡도 지도를 크게 전진시켰다.