분할 그래프의 페블링 수와 클래스 0 판정

초록

이 논문은 직경 3의 코라드 그래프인 분할 그래프에 대해 페블링 수 π(G)를 정확히 구하는 식을 제시하고, 이를 O(n^β) (β≈1.41) 시간 안에 계산할 수 있는 알고리즘을 설계한다. 또한 최소 차수가 3 이상인 모든 분할 그래프가 클래스 0(π(G)=|V|)임을 증명한다.

상세 분석

페블링은 두 개의 페블을 한 변을 따라 이동시키면 하나가 소모되는 전송 모델로, 그래프 G의 페블링 수 π(G)는 어떤 초기 배치에서도 임의의 목표 정점 r에 페블을 놓을 수 있는 최소 페블 수이다. 일반 그래프에 대해 π(G)를 구하는 문제는 NP‑complete이며, π(G)≤k 판정은 Π₂^P‑complete이다. 그럼에도 불구하고 완전 그래프, 트리, 사이클, 하이퍼큐브 등 특정 그래프군에서는 다항식 시간에 정확한 값을 알 수 있다.

본 논문은 직경 3의 코라드 그래프인 분할 그래프(정점 집합이 완전 부분그래프 K와 독립 집합 S로 분할되는 그래프)에 초점을 맞춘다. 주요 기여는 다음과 같다.

1. 가중치 함수 전략(Lemma 1)
   저자들은 이전 연구에서 도입된 “전략 트리”와 가중치 함수 w를 활용한다. 트리 T가 루트 r에 대해 w(r)=0, 부모‑자식 관계에서 w(parent)≥2·w(child) 를 만족하면, r‑해결이 불가능한 모든 배치 C에 대해 w(C)≤w(T) 가 성립한다. 여러 전략을 합쳐 전체 가중치 함수를 만든 뒤, 모든 정점 v≠r에 w(v)≥1이면 |C|≤w(C)≤w(T) 가 되므로 π(G,r)≤⌊w(T)⌋+1 을 얻는다.

2. 직경 2·3 경우에 대한 정확한 식

   • r∈K (클릭에 속함): 모든 컷 정점의 개수를 x_r라 하면 π(G,r)=n+x_r 이다. 여기서 n=|V(G)|. 증명은 컷 정점에 3개의 페블을 놓는 하위 최적 배치를 이용한 하한과, 각 이웃에 대해 위의 가중치 전략을 적용한 상한을 일치시킨다. 또한 이 경우는 r‑greedy이며, 모든 이동이 거리 감소를 보장한다.
   • r∈S (콘 정점)이며 ecc(r)=2: 그래프가 r‑Pereyra(특정 3개의 콘 정점이 삼각형을 형성하지 않는 구조)이면 π(G,r)=n+ψ, 여기서 ψ=1, 그렇지 않으면 ψ=0. 즉, 일반적인 경우는 n+|X|+0, 특수 경우는 n+|X|+1 이다. 이때 r‑semigreedy 성질이 유지된다.
   • ecc(r)=3: 보다 복잡한 경우로, 저자들은 “bad cone”과 “good cone”을 구분하고, 각 콘 정점에 대해 2·w 혹은 ½·w 를 할당하는 다중 전략을 구성한다. 귀류법과 귀납적 논증을 통해 모든 배치가 r‑solvable 임을 보이며, 최종적으로 π(G,r)=n+x+ψ 와 동일한 식이 성립한다.

3. 알고리즘적 구현
   가중치 전략을 구성하는 과정은 각 정점의 이웃 관계와 컷 정점 여부만 알면 O(deg(v)) 시간에 수행된다. 전체 그래프에 대해 전략을 합산하면 행렬 곱셈의 현재 최적 지수 ω≈2.376을 이용해 O(n^{2ω/(ω+1)})≈O(n^{1.41}) 시간 복잡도를 얻는다. 이는 기존에 알려진 다항식 시간 알고리즘보다 현저히 빠른 속도이다.

4. 클래스 0 판정
   최소 차수가 δ(G)≥3인 모든 분할 그래프는 π(G)=n, 즉 클래스 0임을 증명한다. 핵심은 δ≥3이면 컷 정점이 존재하지 않으며, 위에서 얻은 π(G,r)=n+x_r 식에서 x_r=0이므로 모든 목표 정점에 대해 n개의 페블만 있으면 해결 가능함을 보이는 것이다.

5. 특수 구조인 Pereyra와 Phoenix 그래프
   Pereyra 그래프는 r‑Pereyra이면서 ecc(r)=2인 경우이며, Phoenix 그래프는 ecc(r)=3이면서 δ* (G,r)≥4인 경우이다. 두 구조는 π(G,r) 식에 ψ=1을 추가하는 유일한 예외이며, 논문은 이들 그래프를 효율적으로 인식하는 절차도 제시한다.

전체적으로 이 논문은 분할 그래프라는 제한된 그래프 클래스에 대해 페블링 수를 정확히 계산하는 이론적 식과 실용적인 알고리즘을 동시에 제공한다. 특히 가중치 함수 전략을 활용한 상한 증명 기법은 다른 코라드 그래프나 직경 제한 그래프에도 확장 가능성을 시사한다.