정점 님: 그래프 위 승패 판정의 효율적 알고리즘

초록

본 논문은 정점에 양의 정수 가중치를 부여하고 토큰이 현재 정점에서 인접 정점으로 이동하면서 가중치를 감소시키는 게임 ‘Vertexnim’을 정의한다. 무방향 그래프에서는 승패 판단을 O(|V|·|E|) 시간, 즉 이차 시간 안에 해결할 수 있음을 보였으며, 이는 기존 Vertex NimG의 지수시간 알고리즘을 개선한다. 방향 그래프에 대해서는 회로형 구조와 자기루프가 있는 경우에 다항시간 전략을 제시한다.

상세 분석

Vertexnim은 전통적인 님(Nim) 게임을 그래프 구조와 결합한 변형으로, 각 정점 v에 양의 정수 가중치 w(v)와 현재 토큰이 놓인 정점 u가 주어진다. 한 턴에서 플레이어는 현재 정점 u의 가중치를 1 이상 감소시킨 뒤, 인접한 정점 v로 토큰을 이동한다. 가중치가 0이 된 정점은 그래프에서 삭제되고, 그 정점의 이웃들은 완전 그래프(클리크)를 형성한다는 점이 핵심적인 규칙이다. 이러한 규칙은 게임 진행 중 그래프의 구조가 동적으로 변한다는 특징을 만든다.

논문은 먼저 무방향 그래프에 대해 승패 판단 문제를 다룬다. 기존 연구인 Stockman(2004)의 Vertex NimG는 지수시간 복잡도를 갖는 알고리즘만 제시했는데, 저자들은 정점의 가중치를 기준으로 “핵심 정점 집합”(core set)을 정의하고, 각 정점이 제거될 때 발생하는 클리크 변환을 미리 계산한다. 이를 통해 현재 토큰 위치와 남은 가중치들의 멀티셋을 정규형으로 압축할 수 있다. 핵심 아이디어는 그래프가 클리크로 수축될 때 게임의 상태가 Nim-합(Nim-sum) 형태로 표현 가능하다는 점이다. 구체적으로, 각 정점의 가중치를 이진수로 표현하고, 인접성에 따라 XOR 연산을 적용하면 전체 게임 상태의 Grundy 수를 O(|V|·|E|) 시간에 계산할 수 있다. 이 과정에서 사용되는 “가중치 전파”와 “클리크 합성” 절차는 각각 O(|E|)와 O(|V|) 시간 복잡도를 갖으며, 전체 알고리즘은 이차 시간 안에 승패를 판정한다.

다음으로 방향 그래프에 대한 분석을 전개한다. 방향성 때문에 토큰 이동이 제한되며, 일반적인 클리크 변환 규칙이 그대로 적용되지 않는다. 저자들은 특수한 구조, 즉 사이클(회로) 형태와 자기루프가 존재하는 경우를 별도로 고려한다. 사이클 그래프에서는 토큰이 순환하면서 각 정점의 가중치를 차례로 감소시키는 패턴이 반복되므로, 전체 가중치의 합을 사이클 길이로 나눈 나머지를 이용해 Grundy 수를 직접 계산한다. 자기루프가 있는 정점은 사실상 “정지 상태”를 제공하므로, 해당 정점에서의 선택은 게임을 즉시 종료시키는 옵션으로 작용한다. 이러한 특수 구조에 대해 저자들은 다항시간(보통 O(n³) 이하) 알고리즘을 설계하고, 이를 일반적인 방향 그래프에 대한 근사 전략으로 확장한다.

마지막으로 복합적인 그래프(예: 여러 사이클이 연결된 DAG)에서는 위의 두 기법을 조합해 부분 그래프별 Grundy 수를 구하고, 부분 게임들의 XOR 합을 통해 전체 게임의 승패를 판단한다. 이때 각 부분 그래프의 경계 정점에 대한 “전이 함수”(transition function)를 미리 계산해 두면 전체 복합 그래프에 대한 분석이 효율적으로 수행된다. 논문은 이러한 알고리즘이 실제로 무방향 그래프에서는 이차 시간, 방향 그래프의 특수 경우에서는 다항 시간 내에 해결 가능함을 실험적으로 검증한다.

전체적으로 이 연구는 그래프 기반 님 게임의 복잡도 이론에 중요한 공헌을 한다. 특히, 동적 그래프 변환(정점 삭제 후 클리크 형성)을 Grundy 수 계산에 효과적으로 통합함으로써, 기존 지수시간 알고리즘을 크게 개선하였다. 또한, 방향 그래프에 대한 새로운 다항시간 전략은 향후 더 일반적인 유향 그래프에 대한 연구의 토대를 제공한다.