[논문 리뷰] The 3x3 rooks graph is the unique smallest graph with lazy cop number 3

Brendan Sullivan, Nikolas Townsend외 1명|arXiv (Cornell University)|2016. 06. 27.

Artificial Intelligence in Games참고 문헌 13인용 수 5

한 줄 요약

이 논문은 3×3 룩 그래프(K₃□K₃)가 레이지 코프 수가 3인 유일한 최소 그래프임을 증명한다. 즉, 도둑을 확보하기 위해 반드시 세 명의 레이지 코프가 필요한 그래프이며, 여덟 개 이하의 정점으로 구성된 그래프에서는 두 명 이하의 레이지 코프로도 충분하다. 증명은 구조적 그래프 분석과 최대 차수와 최소 차수를 제한한 그래프에 대한 케이스별 제거를 통해 이루어지며, 코프 수와 독립 집합 수에 관한 기존 결과를 활용하여 유일성을 입증한다.

ABSTRACT

In the ordinary version of the pursuit-evasion game "cops and robbers", a team of cops and a robber occupy vertices of a graph and alternately move along the graph's edges, with perfect information about each other. If a cop lands on the robber, the cops win; if the robber can evade the cops indefinitely, he wins. In the variant "lazy cops and robbers", the cops may only choose one member of their squad to make a move when it's their turn. The minimum number of cops (respectively lazy cops) required to catch the robber is called the "cop number" (resp. "lazy cop number") of G and is denoted $c(G)$ (resp. $c_L(G)$). Previous work by Beveridge at al. has shown that the Petersen graph is the unique graph on ten vertices with $c(G)=3$, and all graphs on nine or fewer vertices have $c(G)\leq 2$. (This was a self-contained mathematical proof of a result found by computational search by Baird and Bonato.) In this article, we prove a similar result for lazy cops, namely that the 3x3 rooks graph ($K_3\square K_3$) is the unique graph on nine vertices which requires three lazy cops, and a graph on eight or fewer vertices requires at most two lazy cops.

연구 동기 및 목표

• 레이지 코프 수가 3인 최소 그래프를 규명하는 것.
• 여덟 개 이하의 정점을 가진 그래프 중에서 레이지 코프 수가 3인 그래프가 존재하지 않음을 입증하는 것.
• 레이지 코프 수가 3인 그래프 중에서 9개 정점을 가진 K₃□K₃가 유일함을 증명하는 것.
• 작은 정규 그래프에서 레이지 코프 수의 행동 양상을 이해하는 데 기여하는 것.
• Kₙ□Kₙ가 레이지 코프 수가 n인 유일한 최소 그래프임이라는 보다 넓은 추측을 뒷받침하는 것.

제안 방법

• 최대 차수 Δ ≤ 3이고 최소 차수 δ ≥ 2인 9개 정점의 그래프를 분석하기 위해 구조적 그래프 이론을 사용했다.
• 레이지 코프 수가 2를 초과하는 그래프를 제거하기 위해 차수 3인 정점과 그 공통 이웃을 기반으로 케이스 분석을 적용했다.
• 최대 여덟 개의 정점을 가진 그래프는 레이지 코프 수가 2 이하임을 보여주는 정리 3.1을 활용했다.
• cₗ(G) ≤ γ(G) 및 c(G) ≤ cₗ(G)라는 사실을 이용하여 독립 집합 수와 표준 코프 수를 통해 검색 공간을 제한했다.
• 루크 그래프 R₃ = K₃□K₃를 구성하고 직접 전략 분석을 통해 cₗ(R₃) = 3임을 증명했다.
• 정점 제거와 부분그래프 유도를 통해 복잡한 구성 요소를 두 명의 레이지 코프가 승리하는 전략으로 환원했다.

실험 결과

연구 질문

• RQ1 레이지 코프 수가 3인 최소 그래프는 무엇인가?
• RQ2 3×3 룩 그래프는 9개 정점에서 레이지 코프 수가 3인 유일한 그래프인가?
• RQ3 여덟 개 이하의 정점을 가진 그래프 중에서 세 명의 레이지 코프가 필요한 그래프가 존재하는가?
• RQ4 최대 차수가 제한된 그래프의 구조를 이용해 레이지 코프 수를 분류할 수 있는가?
• RQ5 루크 그래프 Kₙ□Kₙ는 레이지 코프 수가 n인 유일한 최소 그래프를 나타내는가?

주요 결과

• 레이지 코프 수가 3인 9개 정점의 그래프로서 K₃□K₃가 유일하다.
• 여덟 개 이하의 정점을 가진 그래프는 모두 레이지 코프 수가 2 이하이며, cₗ(G) ≤ 2이다.
• 최대 차수 ≤ 3이고 최소 차수 ≥ 2인 9개 정점의 그래프 중에서 K₃□K₃만이 세 명의 레이지 코프가 필요한 것으로 입증되었다.
• 이 결과는 Kₙ□Kₙ가 레이지 코프 수가 n인 유일한 최소 그래프임이라는 추측의 n=3 사례를 확인한다.
• 보조 정리로, n개 정점을 가진 그래프에서 최대 차수 Δ ≥ n−9이면 cₗ(G) ≤ 3임을 도출하였다.
• 분석 결과, 최대 15개 정점 이하에서 최대 차수 Δ = 5 또는 Δ = 4인 그래프는 부분그래프 유도 및 코프 배치 전략을 통해 기존 사례로 환원 가능하다.