일반 그래프에서 사탕 전달 게임의 안정화 조건

본 논문은 사탕 전달 게임(candy‑passing game)을 임의의 연결 그래프 G 위에 일반화한 최초의 연구이며, 게임의 장기적인 행동을 분석하여 전체 사탕 수가 충분히 클 경우 모든 정점이 결국 안정화한다는 정리를 제시한다. 먼저 저자들은 게임의 규칙을 명확히 정의한다. 초기에는 양의 정수 c 개의 사탕이 |V(G)| 명의 학생(정점)에게 임의로 배분된다. 매 라운드마다, 각 학생은 자신이 가진 사탕이 이웃 수(정점의 차수)보다 많거나 같을 경우, 각 이웃에게 한 개씩 사탕을 전달한다. 사탕이 부족하면 아무 행동도 하지 않는다. 이 과정을 무한히 반복한다. 핵심 개념으로 “풍부한 정점”을 도입한다. 정점 v 가 \(2\deg(v)\) 개 이상의 사탕을 보유하면 풍부하다고 정의한다. 풍부한 정점은 매 라운드마다 최소 \(\deg(v)\) 개의 사탕을 이웃에게 주고, 동시에 이웃으로부터 최대 \(\deg(v)\) 개의 사탕을 받을 수 있다. 따라서 풍부한 정점이 잃는 사탕의 총량은 감소하지 않으며, 결국 일정 라운드 이후에는 사탕 수가 변하지 않는 “안정화된” 상태에 도달한다. Lemma 1은 위 사실을 정식화한다. 즉, 유한 라운드 이후 풍부한 정점들의 집합이 고정되고, 각 풍부한 정점은 안정화한다는 것을 증명한다. 증명은 풍부한 정점이 보유한 사탕의 총합이 비감소이며, 감소가 일어나면 그 양은 유한하므로 결국 변동이 멈춘다는 단순한 모노톤성 논리를 사용한다. 그 다음, Theorem 2가 제시된다. 그래프 G 가 연결되어 있고 전체 사탕 수 c 가 \