하이퍼큐브와 이분배치가능 그래프에서 탐험‑감독 게임의 거리·경로 변형 비교

초록

**
본 논문은 기존 탐험‑감독 게임의 거리 기반 규칙을 일반화하여 토큰이 지정된 길이의 경로를 따라 이동하도록 허용하는 ‘경로 변형’(fₚ)을 정의한다. 이 변형과 원래 거리 변형(f_d)의 차이를 조사하고, 특히 이분배치가능(bipanpositionable) 그래프와 하이퍼큐브(Qₙ)에서 fₚ와 f_d가 서로 크게 차이날 수 있음을 보인다. 모든 이분배치가능 그래프에서 fₚ=4임을 증명하고, 하이퍼큐브에서는 f_d의 상·하한을 제시함으로써 두 파라미터 사이의 차이가 임의의 크기로 확대될 수 있음을 입증한다.

**

상세 분석

**
논문은 먼저 기존의 Explorer‑Director 게임을 복습하고, 토큰이 현재 정점 u에 있을 때 탐험자가 “거리 d”를 선언하면 감독자가 거리 d인 정점으로 이동시키는 규칙을 f_d(G,v)로 정의한다. 이어서 경로 변형을 도입하여 탐험자가 “경로 길이 ℓ”을 선언하면 감독자는 ℓ길이의 uv‑경로가 존재하는 모든 정점 v 중 하나로 토큰을 이동시킬 수 있게 한다. 이때 최적 플레이를 가정한 방문 정점 수를 f_p(G,v)라 한다.

핵심 결과는 두 파라미터가 그래프 구조에 따라 크게 달라질 수 있다는 점이다. 먼저 이분배치가능(bipanpositionable) 그래프에 대해 f_p(G,v)=4임을 증명한다. 증명은 임의의 시작 정점 a에 대해 a를 포함하는 C₄(사각형) 부분그래프가 존재함을 보이고, 감독자가 언제든지 토큰을 {a,b,c,d} 네 정점 안에 머물게 할 수 있음을 보여준다. 거리 1·2의 경우는 원래 거리 규칙과 동일하고, ℓ≥3에 대해서도 이 사각형 내에서 적절한 경로를 찾아 이동시킬 수 있음을 논증한다. 하이퍼큐브 Qₙ은 모든 n≥2에 대해 이분배치가능이므로 f_p(Qₙ,v)=4가 된다.

다음으로 f_d(Qₙ)를 분석한다. 하이퍼큐브는 정점 전이등변이며 모든 정점의 원심 반경(ecc)=n이다. 최소 폐집합(closed set)의 크기가 f_d와 동일하므로, 최소 폐집합의 존재 하한은 n+1이다. 또한 모든 정점 쌍 사이의 거리 합이 짝수라는 사실을 이용해 f_d(Qₙ)는 항상 짝수임을 보인다. 상한에 대해서는 두 가지 접근법을 제시한다. 첫째, Qₙ을 2ⁿ 길이의 순환 그래프(C_{2ⁿ})에 동형시켜 폐집합을 구성하면 f_d(Qₙ) ≤ 2ⁿ가 된다. n이 2의 거듭제곱이 아닌 경우, n의 최소 홀수 소인수 p를 이용해 f_d(Qₙ) ≤ ⌈2ⁿ·(p−1)/p⌉라는 더 강한 상한을 얻는다. 둘째, n을 절반 이하인 x와 비교하여 f_d(Qₙ) ≤ 2·f_d(Qₓ)임을 증명함으로써 재귀적 상한을 만든다.

마지막으로 두 파라미터의 차이를 무한히 크게 만들 수 있음을 보인다. f_p은 모든 이분배치가능 그래프에서 상수 4에 고정되는 반면, f_d는 그래프 크기에 따라 선형 또는 지수적으로 증가한다. 따라서 임의의 n에 대해 f_p(G,v)−f_d(G,v) > n 혹은 그 반대인 경우를 구현하는 그래프 군을 구성한다. 이는 두 게임 변형이 근본적으로 다른 탐색 능력을 갖는다는 강력한 결론을 제공한다.

**