[논문 리뷰] Characterizations and algorithms for generalized Cops and Robbers games

Anthony Bonato, Gary MacGillivray|arXiv (Cornell University)|2017. 04. 19.

Advanced Graph Theory Research참고 문헌 15인용 수 8

한 줄 요약

이 논문은 관계 구조 위에서의 경찰과 도둑 게임을 위한 일반화된 프레임워크를 제안하며, 추적자가 게임을 고정된 최종 위치 집합으로 유도하도록 하는 통합 모델을 정의한다. 추적자가 승리 전략을 가질 수 있는 조건에 대한 관계적 특성화와 함께, n개 정점의 그래프에서 k-경찰 게임에 대해 시간 복잡도 O(n^{2k+2})인 알고리즘을 제공하며, 위치에 영향을 받지 않는 게임에 대해 정점 제거 순서 특성화도 제시한다.

ABSTRACT

We propose a definition of generalized Cops and Robbers games where there are two players, the Pursuer and the Evader, who each move via prescribed rules. If the Pursuer can ensure that the game enters into a fixed set of final positions, then the Pursuer wins; otherwise, the Evader wins. A relational characterization of the games where the Pursuer wins is provided. A precise formula is given for the length of the game, along with an algorithm for computing if the Pursuer has a winning strategy whose complexity is a function of the parameters of the game. For games where the position of one player does not affect the available moves of he other, a vertex elimination ordering characterization, analogous to a cop-win ordering, is given for when the Pursuer has a winning strategy.

연구 동기 및 목표

• 방향 그래프, 초그래프 및 기타 관계 구조에 적용 가능한 단일 형식 프레임워크로 기존의 경찰과 도둑 게임을 통합하고 일반화하기.
• 일반화된 추적 게임에서 추적자의 승리 전략에 대한 관계적 특성화 제공.
• 게임 매개변수에 따라 시간 복잡도가 달라지는 효율적인 알고리즘 개발을 통한 추적자의 승리 전략 존재 여부 결정.
• 위치에 영향을 받지 않는 설정에서 정점 제거 순서를 통해 복수의 경찰 승리 순서 개념을 일반화한 게임으로 확장하기.

제안 방법

• 플레이어의 턴을 나타내는 식별자와 함께 상태가 쌍 (p_P, q_E)인 이분 상태 방향그래프 D_G를 사용하여 일반화된 경찰과 도둑 게임 정의.
• 재귀적 뒤로 거슬러 올라가는 방식으로 승리 플레이어와 게임 길이를 결정하기 위해 D_G에 레이블링 체계 도입.
• 최적의 플레이 하에 최종 위치로의 도달 가능성에 기반한 추적자의 승리 전략을 위한 관계 조건 수립.
• 각 정점 (p_P, q_E)가 최종 집합 F에 속하거나 후속 이동을 통해 강제 승리로 이어질 경우 제거 가능한 경우, 제품 그래프 R_G에서 정점 제거 순서 제안.
• 추적자가 승리 전략을 가질 수 있는지 여부를 결정하기 위해 제거 가능한 정점 순서의 존재 여부를 검사하는 알고리즘 설계.
• 시간 복잡도를 |P_P|·|P_E|·f_P(|P_P|)·f_E(|P_E|)로 분석하며, 여기서 f_P와 f_E는 각각 이동 그래프의 최대 출발 차수이다.

실험 결과

연구 질문

• RQ1 추적자가 관계 구조 위의 일반화된 추적 게임에서 포획을 보장할 수 있는 조건은 무엇인가?
• RQ2 게임 상태 방향그래프에서 추적자의 승리 전략 존재 여부를 관계 논리로 어떻게 특성화할 수 있는가?
• RQ3 일반화된 경찰과 도둑 게임에서 추적자가 승리 전략을 가질 수 있는지 판단하는 데 필요한 계산 복잡도는 무엇인가?
• RQ4 독립적인 이동 집합을 가진 비전통적 추적 게임에 대해 복수의 경찰 승리 순서 개념을 일반화할 수 있는가?
• RQ5 n개 정점의 그래프에서 k-경찰 게임에 대해 승리 전략 존재 여부를 판단하는 알고리즘의 시간 복잡도는 무엇인가?

주요 결과

• 추적자가 승리 전략을 가질 수 있는 것은, 제품 그래프 R_G에서 제거 가능한 정점 순서가 존재할 때에만 성립하며, 이는 복수의 경찰 승리 순서 개념을 일반화한 것이다.
• 시간 복잡도 O(n^{2k+2})로, n개 정점의 그래프에서 k-경찰 게임에 대해 승리 전략 존재 여부를 결정하는 다항식 시간 알고리즘이 존재한다.
• 이 알고리즘은 기존의 k-경찰 승리 그래프 식별 복잡도 범위와 일치하여, 이 맥락에서 최적임을 확인한다.
• 승리 전략의 관계적 특성화는 기존의 경찰 승리 및 k-경찰 승리 그래프 결과를 일반화한다.
• 위치에 영향을 받지 않는 게임의 경우, 정점 제거 순서는 승리 전략 존재 여부와 동치인 구조적 특성화를 제공한다.
• 이 프레임워크는 표준 경찰과 도둑 게임을 초월하여 방향 그래프, 순서 집합, 초그래프 및 기타 관계 구조에서 널리 적용 가능하다.