사이클 순위와 LIFO 탐색 게임 방향 그래프에서의 새로운 측정법

초록

본 논문은 무방향 그래프용으로 제안된 LIFO(마지막‑입력‑첫‑출력) 탐색 게임을 방향 그래프에 확장한다. 게임의 모든 변형(정점/간선, 가시/비가시, 단조/비단조)이 동일한 탐색자 수를 요구함을 보이고, 그 최소값이 해당 그래프의 사이클 순위에 1을 더한 값과 정확히 일치함을 증명한다. 또한 사이클 순위에 대한 최소‑최대 이중성 정리를 제시하여, 이를 방해하는 구조(폐쇄된 서브다이그래프)의 정밀한 특성을 규명한다.

상세 분석

LIFO‑search는 기존에 무방향 그래프에서 탐색자들이 “마지막에 들어온 탐색자를 먼저 빼는” 스택 구조를 이용해 파괴자를 잡는 게임으로 정의되었다. 이 논문은 그 모델을 방향 그래프(digraph)로 일반화하면서, 탐색자와 파괴자 사이의 움직임 규칙을 세밀히 재정의한다. 우선 파괴자는 현재 탐색자가 차지하고 있지 않은 정점으로만 이동할 수 있으며, 방향성을 고려해 간선의 방향에 따라 이동 가능성이 제한된다. 탐색자는 정점에 배치하거나 제거할 때 스택에 push·pop 연산을 적용한다는 점에서 기존 LIFO‑search와 일관성을 유지한다.

논문은 네 가지 주요 변형을 고려한다. (1) 정점‑탐색 vs. 간선‑탐색, (2) 파괴자 가시성(visible) vs. 비가시성(invisible), (3) 단조(monotone) vs. 비단조(non‑monotone) 전략, (4) 파괴자 이동 제한(프리플라이트 vs. 제한된 이동)이다. 각각의 경우에 대해 상하한을 분석한 결과, 모든 변형이 동일한 최소 탐색자 수를 필요로 함을 보인다. 이는 탐색자 수가 그래프 구조 자체에 의해 결정된다는 강력한 구조적 특성을 의미한다.

핵심 정리는 “LIFO‑search number = cycle‑rank + 1”이다. 사이클 순위는 재귀적으로 정의되는 그래프 복잡도 측정값으로, 비순환 그래프는 0, 한 단계 사이클을 포함하면 1, 그보다 복잡한 구조는 순차적으로 증가한다. 논문은 두 방향의 증명을 제공한다. 먼저, 사이클 순위가 k인 그래프에 대해 k+1명의 탐색자를 이용해 항상 파괴자를 포획할 수 있음을 귀납적으로 구성한다. 반대로, k명의 탐색자로 파괴자를 잡을 수 없는 경우, 그래프는 사이클 순위가 최소 k임을 보인다. 이 과정에서 “프리플라이트”와 “스택 제한”을 적절히 활용해 파괴자의 최적 이동 경로를 차단한다.

또한, 최소‑최대 이중성 정리를 통해 사이클 순위에 대한 정확한 방해 구조를 규정한다. 저자는 “사이클‑차단 집합”(cycle‑blocking set)과 “허븐”(haven) 개념을 도입해, 탐색자 수가 k보다 작을 때 존재하는 파괴자의 영구적인 회피 전략을 형식화한다. 이때 허븐은 파괴자가 언제든지 이동할 수 있는 무한히 큰 “안전 영역”을 제공하며, 이러한 허븐이 존재하면 탐색자 수는 사이클 순위보다 작을 수 없다는 것을 증명한다. 결과적으로, 사이클 순위는 그래프의 구조적 복잡성을 정확히 포착하는 동시에, LIFO‑search 게임의 최적 전략 수와 일치한다는 강력한 이중성을 확보한다.

이론적 기여 외에도, 논문은 알고리즘적 함의를 논의한다. 사이클 순위는 기존에 NP‑hard 문제로 알려졌지만, LIFO‑search 게임을 통한 구성적 접근은 특정 그래프 클래스(예: 트리폭이 제한된 그래프)에서 다항시간 알고리즘을 설계할 수 있는 기반을 제공한다. 또한, 허븐 기반의 증명은 그래프 분해 기법과 결합해 사이클 순위 상한을 효율적으로 추정하는 휴리스틱을 제시한다.