최소 아웃도 degree 2ℓ이면 (2,ℓ) 스파이더 보장

초록

저자들은 모든 정점의 최소 아웃도-degree가 2ℓ 이상인 방향 그래프는 (2,ℓ)-스파이더, 즉 ℓ개의 잎을 가진 1‑세분화된 인‑스타를 반드시 포함한다는 것을 증명한다. 이 한계는 정점이 2ℓ 개인 완전 방향 그래프에서 더 이상 개선할 수 없으며, 기존 결과(3.23·ℓ)보다 최적에 가깝게 끌어올렸다. 또한 거의 선형 시간 알고리즘을 제시한다.

상세 분석

논문은 먼저 (k,ℓ)-스파이더를 정의하고, k=2인 경우에 집중한다. 핵심 아이디어는 “extender”라는 개념이다. 정점 x가 루트 r에 대해 i‑extender라면, x와 r 사이에 i개의 서로 다른 2‑경로가 존재한다는 뜻이며, 이는 x를 스파이더의 잎으로 확장할 후보가 충분히 많다는 정보를 제공한다. Lemma 3은 f개의 정점이 각각 서로 다른 강도( f+2s+i−1 )‑extender일 때, 이미 존재하는 (2,s)-스파이더를 이용해 (2,f+s)-스파이더를 만들 수 있음을 귀납적으로 증명한다. 여기서 강도는 모든 정점이 최소한 (2ℓ−1)개의 extenders를 갖는 경우를 “strong extender”라 부른다.

다음 단계에서는 그래프를 두 집합 A와 B로 분할한다. A는 들어오는 차수가 2ℓ 이상인 정점, B는 그보다 작은 정점이다. 루트 r을 A 안에서 d·|A_r|+|V_B(r)| 를 최대화하는 정점으로 선택한다(여기서 d=2ℓ, A_r은 r의 직접적인 in‑neighbor이며 V_B(r)는 r를 끝점으로 하는 B‑중심 2‑경로 집합). 이 선택은 평균값 논법을 통해 존재함을 보이며, r에 대해 충분히 많은 strong extender가 확보된다.

그 후, A∪C(다른 strong extender) 를 제외한 나머지 정점들로 구성된 무방향 그래프 H를 만든다. H의 각 간선은 두 정점 x,y가 r를 통해 연결되는 2‑경로(x→y→r 혹은 y→x→r)를 의미한다. 강도 조건 덕분해 H의 최대 차수는 2ℓ−2 이하이며, Vizing 정리를 적용해 2ℓ−1 색으로 간선을 색칠한다. 가장 큰 색 클래스 T_r는 서로 독립적인 2‑경로 집합이므로, 이를 이용해 (2,s)-스파이더 S_r를 만든다( s=|T_r| ). 색 클래스의 크기는 |Q_r|/(2ℓ−1) 이상이며, Q_r는 강도 정점들을 제외한 2‑경로들의 집합이다. 계산을 통해 s와 강도 정점 수 a+c가 ℓ를 초과하지 않으면 a+c+s≥ℓ가 된다.

마지막으로 Corollary 4를 적용한다. 강도 정점 집합 F를 ℓ−s 개만 선택하고, 기존의 S_r와 결합하면 (2,ℓ)-스파이더가 완성된다. 따라서 최소 아웃도-degree 2ℓ 이면 반드시 (2,ℓ)-스파이더가 존재한다는 명제가 증명된다.

알고리즘적 측면에서는, 모든 정점의 아웃도-degree를 정확히 d=2ℓ 로 맞추는 서브그래프를 O(nℓ) 시간에 추출하고, 루트 r 선택 및 집합 A_r, C_r 구성도 선형 시간에 수행한다. 최신 근접선형 시간 엣지 컬러링 알고리즘을 이용해 H를 색칠하면 전체 복잡도는 m^{1+o(1)} 에 가깝다.

마지막으로 논문은 extremal 예시(정점 2ℓ 개의 완전 방향 그래프)와 일반 (k,ℓ)-스파이더에 대한 Giant Spider Conjecture의 향후 연구 방향을 제시한다. 특히, 방향 그래프가 아니라 오리엔티드 그래프일 경우 √2·ℓ 정도 낮은 임계값이 가능할지에 대한 추측도 언급한다.