[논문 리뷰] The robber strikes back

Anthony Bonato, Stephen Finbow외 6명|arXiv (Cornell University)|2013. 08. 13.

Advanced Graph Theory Research참고 문헌 13인용 수 6

한 줄 요약

이 논문은 도둑이 한 명의 경찰을 자신의 정점으로 이동함으로써 제거할 수 있는 Cops and Attacking Robbers라는 게임을 소개하고, 확보를 보장하기 위해 필요한 최소 경찰 수 $cc(G)$를 연구한다. 저자들은 이분 그래프에 대해 $cc(G) \leq c(G) + 2$이고, $K_{1,m}$-free이자 지름 2인 그래프에 대해 $cc(G) \leq c(G) + 2m - 2$임을 증명하여, 공격 규칙이 경찰 수를 최대 상수만큼만 증가시킨다는 것을 보여준다.

ABSTRACT

We consider the new game of Cops and Attacking Robbers, which is identical to the usual Cops and Robbers game except that if the robber moves to a vertex containing a single cop, then that cop is removed from the game. We study the minimum number of cops needed to capture a robber on a graph $G$, written $cc(G)$. We give bounds on $cc(G)$ in terms of the cop number of $G$ in the classes of bipartite graphs and diameter two, $K_{1,m}$-free graphs.

연구 동기 및 목표

• 새로운 Cops and Robbers 변형에서 도둑이 정점에 이동함으로써 경찰을 제거할 수 있는 경우, 확보를 보장하기 위해 필요한 최소 경찰 수 $cc(G)$를 연구하는 것.
• 특히 이분 그래프와 $K_{1,m}$-free 그래프와 같은 구조적 그래프 클래스에서 공격 규칙이 경찰 수에 미치는 영향을 이해하는 것.
• 특히 소형 지름과 금지된 부분그래프를 가진 그래프에서 고전적 경찰 수 $c(G)$에 대한 $cc(G)$의 상한 경계를 설정하는 것.
• 핵심 방어자를 공격당하지 않도록 보장하면서도 확보 전략을 유지하기 위해 보조 경찰을 활용한 전략을 개발하는 것.

제안 방법

• 도둑이 한 명의 경찰이 있는 정점으로 이동하면 그 경찰을 제거할 수 있고, 다수의 경찰이 있는 정점으로 이동하면 게임이 끝나는 Cops and Attacking Robbers 게임을 도입한다.
• $cc(G)$를 확보를 보장하기 위해 필요한 최소 경찰 수로 정의하고, 기본 경계를 설정한다: $c(G) \leq cc(G) \leq \min\{2c(G), 2\bar{c}(G), \gamma(G)\}$.
• 이분 그래프에서 영향 전략을 사용한다: 경찰은 부분집합 간에 도둑과 같은 기수를 유지하여, 도둑이 공격하더라도 확보를 보장한다.
• $K_{1,m}$-free이자 지름 2인 그래프의 경우, 두 팀을 배치한다: 팀 1은 고전적 경찰 전략을 펼치고, 팀 2는 이동 가능한 보조 경찰로 기능한다. 중심 정점 $x$를 통해 '점프'를 이용해 보호를 유지한다.
• 팀 1의 경찰이 공격을 당하지 않도록 하기 위해 $x$에 $m-1$명의 보조 경찰을 유지하고, $K_{1,m}$-freeness를 활용해 도둑 근처의 다수의 경찰이 상호로 인접해 있음을 보장한다.
• 경찰 수가 $c(G) + 2m - 2$일 경우, 어떤 팀 1 경찰이 공격을 당하더라도 즉각적으로 팀 2 경찰이 대응하여 승리 전략을 유지함으로써 항상 승리할 수 있음을 증명한다.

실험 결과

연구 질문

• RQ1 도둑이 정점에 이동함으로써 경찰을 제거할 수 있는 능력이 그래프에서 확보를 보장하기 위해 필요한 최소 경찰 수에 어떤 영향을 미치는가?
• RQ2 이분 그래프와 같은 구조적 그래프 클래스에서 고전적 경찰 수 $c(G)$와 새로운 매개변수 $cc(G)$ 사이의 관계는 무엇인가?
• RQ3 $K_{1,m}$-free이자 지름 2인 그래프에서 공격 규칙 하에 경찰 수를 경계로 둘 수 있는가? 만약 가능하면 가장 날카로운 경계는 무엇인가?
• RQ4 보조 경찰을 활용한 백업 전략을 통해 단일 경찰이 공격에 노출되지 않으면서도 도둑을 확보할 수 있는 능력을 유지할 수 있는가?
• RQ5 고전적 경찰 수에 비해 작은 덧셈 상수만큼만 증가하는 전략을 유지하면서 Cops and Attacking Robbers에서 승리 전략을 유지하는 것이 가능한가?

주요 결과

• 이분 그래프의 경우, $cc(G) \leq c(G) + 2$이 성립하여 공격 규칙이 경찰 수를 최대 2명만 증가시킨다는 것을 보여준다.
• $K_{1,m}$-free이자 지름 2인 그래프에서 $m \geq 3$일 경우, $cc(G) \leq c(G) + 2m - 2$라는 경계가 성립하며, 이는 $m$에 대해 다항식 의존성을 제공한다.
• 간선 둘레가 최소 5인 그래프에 대해 $cc(G) \geq \delta(G) + 1$이 성립하여 고전적 $c(G) \geq \delta(G)$ 결과를 확장한다.
• 이분 그래프에서의 '그림자 전략'은 경찰이 도둑과 기수를 유지하고, 도둑이 공격하더라도 확보를 보장함을 보여준다.
• '점프' 메커니즘은 팀 2 경찰이 중심 정점 $x$를 통해 효율적으로 재배치되게 하여 $x$에 $m-1$명의 경찰을 유지하고 신속한 보조를 가능하게 한다.
• 전략은 어떤 팀 1 경찰도 공격을 당하지 않도록 하며, 공격 위협이 사전에 제거되어 고전적 승리 전략이 유지된다.