다양한 트리 그래프의 페깅 수와 최적 페깅 수 연구

초록

본 논문은 그래프 게임인 페깅에서 트리 구조에 대한 두 가지 핵심 지표인 페깅 수 P(G)와 최적‑페깅 수 p(G)를 정의하고, 완전 이진 트리, 무한 차수 트리, 캣터펠 및 로브스터 트리 등에 대해 엄격한 상·하한을 구한다. 특히 완전 이진 트리의 경우 P(T_h) ≥ |V(T_h)| − 172 (대규모 h) 를 증명하고, 최적‑페깅 수는 피보나치 수열과 연관된 형태임을 보인다. 또한, 잎을 제거하면 최적‑페깅 수가 증가하는 트리의 존재를 제시한다.

상세 분석

논문은 먼저 페깅 게임을 그래프 이론에 정형화하여, 정점에 하나의 페그만 놓을 수 있는 ‘분포’와 여러 개를 겹쳐 놓을 수 있는 ‘다중‑분포’를 구분한다. 핵심 도구는 거리 d(v,t) 에 대한 가중치 ω^{d(v,t)} (여기서 ω = (√5 − 1)/2, 즉 골든 레이시오의 보수) 를 이용한 ‘무게 함수’이며, 이 함수는 페깅 이동에 대해 단조 감소한다는 Lemma 2.3, 2.4 로 보장된다. 이러한 단조성은 Theorem 2.5의 ‘무게 ≥ 1’ 조건을 통해 특정 정점이 도달 가능하려면 초기 분포의 무게가 최소 1이어야 함을 도출한다. 이 논리를 이용해 하한을 구하는 방법은, 목표 정점 집합 L을 선택하고 w_L(D) ≥ |L| 을 만족시키지 못하는 분포 D를 구성함으로써 P(G) 또는 p(G) 의 최소값을 제한한다.

완전 이진 트리 T_h 에 대해서는 루트에 대한 전체 무게 w_r(V(T_h)) = ((2ω)^{h+1} − 1)/(2ω − 1) 을 계산하고, 특정 깊이 k ≥ 8 인 서브트리를 이용해 목표 정점 t 에 대한 무게를 조절한다. 이를 통해 ‘특정 깊이 이하의 정점들을 제외한 나머지에 페그를 배치한 분포 D’를 만들고, w_t(D) < 1 임을 보임으로써 t 가 도달 불가능함을 증명한다. 결과적으로 |D| = |V(T_h)| − |V(T_7)| + 83 이므로 P(T_h) ≥ |V(T_h)| − 172 (충분히 큰 h) 를 얻는다. 또한, Corollary 4.3을 통해 P(T_h)/|V(T_h)| → 1 임을 확인한다.

무한 차수 트리(완전 ∞‑ary tree)의 경우, 최적‑페깅 수 p(T_∞) 가 피보나치 수열 F_{h+2} − 1 과 동일함을 보인다. 이는 각 레벨마다 필요한 페그 수가 이전 두 레벨의 합으로 증가한다는 구조적 특성에서 비롯된다. 흥미롭게도, 이러한 트리에서 잎을 하나 제거하면 최적‑페깅 수가 오히려 증가한다는 반례를 제시함으로써, 일반적인 그래프에서는 ‘잎 제거 → 최적‑페깅 수 감소’라는 직관이 항상 성립하지 않음을 증명한다.

캣터펠 트리(주 줄기에 잎이 붙은 형태)에 대해서는 정확한 최적‑페깅 수 p(C_n) = ⌈n/2⌉ 임을 구하고, 로브스터 트리(캣터펠에 추가적인 가지가 붙은 형태)에 대해서는 p(L_n) ≤ ⌈2n/3⌉ 와 같은 상한을 제시한다. 이러한 결과는 트리의 구조적 복잡도가 증가할수록 최적‑페깅 수가 어떻게 변하는지를 정량적으로 보여준다.

전반적으로 논문은 무게 함수와 단조성 레마를 활용해 트리 그래프의 페깅 문제에 대한 강력한 도구를 제공하고, 구체적인 트리 클래스에 대해 정확하거나 거의 정확한 상·하한을 도출함으로써 그래프 게임 이론과 조합 최적화 분야에 의미 있는 기여를 한다.