입방 그래프에서 최대 잎 스패닝 트리의 APX 난이도

논문은 Max‑Leaf Spanning Tree (MaxLeaf) 문제의 근사 복잡성을 입방 그래프(cubic graph) 영역으로 확장한다. 서론에서는 MaxLeaf 문제의 정의와 기존 근사 알고리즘(일반 그래프에 대한 2‑approximation, 입방 그래프에 대한 3/2‑approximation) 및 APX‑hardness(일반 그래프에 대해 이미 알려짐)를 소개한다. 또한 MaxLeaf와 최소 연결 지배 집합(MinCDS) 사이의 상호 변환 관계를 설명하고, 입방 그래프에서 MinCDS가 아직 APX‑hard임을 증명하기 위한 전제 조건으로 MaxLeaf의 APX‑hardness가 필요함을 강조한다. 관련 연구 파트에서는 Alimonti‑Kann이 입증한 여러 기본 문제(최소 정점 커버, 최대 독립 집합 등)의 입방 그래프에 대한 APX‑hardness를 인용한다. 특히 Cubic Maximum Independent Set (Cubic MIS) 문제는 본 논문의 핵심 감소 대상이며, 이는 이미 APX‑hard임이 알려져 있다. 본 논문의 핵심 기여는 “Weighted MaxLeaf” 인스턴스를 정의하고, 이를 입방 그래프 형태의 일반 MaxLeaf 인스턴스로 변환하는 과정이다. Weighted MaxLeaf에서는 차수가 3인 정점만을 “가중 정점”으로 간주하고, 스패닝 트리의 잎 중 가중 정점만을 목표 함수에 포함한다. 차수가 2인 정점은 가중 잎에 기여하지 않으며, 이러한 정점들을 1‑터미널 가젯(그림 1(a))으로 교체하면 전체 그래프가 3‑정규가 된다. 다음으로, Cubic MIS 인스턴스를 입력으로 받아 Weighted MaxLeaf 인스턴스를 구성한다. 구체적인 단계는: (1) 입력 그래프를 3‑색으로 색칠하고, 색에 따라 정점을 red, green, blue 로 구분한다. (2) 각 정점 vi에 대응하는 “연결 정점” ci 를 추가하고, vi‑ci 사이에 새로운 차수‑2 정점을 삽입해 모든 간선을 길이 2의 경로로 만든다. (3) 차수가 4인 정점(연결 정점과 원래 정점이 결합된 형태)을 4‑터미널 가젯 H_i 로 교체한다. 이 가젯은 내부에 9개의 정점과 4개의 외부 터미널을 가지며, 하나의 터미널은 차수가 2이므로 가중 잎 계산에서 제외된다. 최종적으로 얻어진 그래프 G는 Δ(G) ≤ 3, δ(G) ≥ 2를 만족하는 Weighted MaxLeaf 인스턴스가 된다. 섹션 4에서는 주어진 스패닝 트리 T가 충분히 많은 가중 잎(≥ 3.75 n + 1.5 x)을 포함하면, 각 가젯에서 “아크 잎”이 존재하는 경우를 이용해 독립 집합 I 를 구성하는 방법을 제시한다. 가젯 내부 구조와 정점 절단(vertex cut) 분석을 통해, 아크 잎이 하나라도 있으면 해당 가젯에서 최소 두 개의 비잎이 존재함을 보이고, 이를 통해 전체 독립 집합의 크기를 하한으로 잡는다. 결과적으로 |I| ≥ x − 1/3 가 증명된다. 섹션 5에서는 반대 방향을 다룬다. 독립 집합 I of size x 가 주어지면, 각 정점 vi∈I에 대응하는 가젯을 “전략적”으로 연결해 스패닝 트리를 구성한다. 이때 가젯 내부의 구조를 이용해 각 가젯이 최소 3.75 n + 1.5 x 개의 가중 잎을 제공하도록 설계한다. 따라서 독립 집합의 크기가 클수록 스패닝 트리의 가중 잎 수도 비례적으로 증가한다. 섹션 6에서는 위 두 방향의 근사 관계를 정량적으로 결합한다. 만약 Cubic MaxLeaf에 (1 − ε)‑approximation 알고리즘이 존재한다면, 이를 이용해 Cubic MIS에 (1 − 141 ε)‑approximation을 얻을 수 있다. 그러나 Cubic MIS는 APX‑hard이므로, 이러한 근사 알고리즘이 존재한다는 가정은 모순이다. 따라서 Cubic MaxLeaf 자체가 APX‑hard임이 증명된다. 결론적으로, 논문은 입방 그래프에서 MaxLeaf 문제가 APX‑hard임을 최초로 확립하고, 이를 통해 입방 그래프에서 MinCDS 역시 APX‑hard임을 즉시 도출한다. 이 결과는 입방 그래프 제한 하에서의 근사 알고리즘 설계에 중요한 이론적 한계를 제공하며, 향후 관련 문제들의 복잡도 분석에 기초 자료가 될 것이다.