[논문 리뷰] Surrounding cops and robbers on graphs of bounded genus

Peter Bradshaw, Seyyed Aliasghar Hosseini|arXiv (Cornell University)|2019. 09. 22.

Advanced Graph Theory Research참고 문헌 16인용 수 4

한 줄 요약

이 논문은 유한 성질을 가진 그래프의 둘레 코프 수에 대해 날카러운 경계를 설정하며, 평면 그래프는 최대 7명의 코프가 필요하고 토러스 그래프는 최대 8명이 필요함을 보이며, 이중 그래프의 경우 개선된 경계를 제시한다. 저자들은 2~3명의 코프를 각 경로에 배치하여 지오데식 경로를 수호하는 전략을 사용하여 도둑의 영역을 반복적으로 줄여 결국 둘러싸게 한다.

ABSTRACT

We consider a surrounding variant of cops and robbers on graphs of bounded genus. We obtain bounds on the number of cops required to surround a robber on planar graphs, toroidal graphs, and outerplanar graphs. We also obtain improved bounds for bipartite planar and toroidal graphs. We briefly consider general graphs of bounded genus and graphs with a forbidden minor.

연구 동기 및 목표

• 유한 성질을 가진 그래프, 특히 평면 및 토러스 그래프에서 도둑을 둘러싸기 위해 필요한 최소 코프 수를 결정하는 것.
• 기존의 코프 수 전략을 도둑을 둘러싸는 코프와 도둑 게임의 변형으로 확장하여, 코프가 도둑을 둘러싸서 고립시키는 것으로 승리하는 경우를 다루는 것.
• 이중 평면 및 토러스 그래프에 대해 개선된 경계를 확립하고, 마이너를 포함하지 않는 그래프로 결과를 일반화하는 것.
• 엄밀한 상한 경계를 설정하고, 명시적 구성 예시를 통해 그 경계의 날카러움을 입증하는 것.

제안 방법

• 코프가 특정 경로에 접근하는 것을 방지하기 위해 코프를 배치하는 지오데식 경로 수호 전략을 핵심 전략으로 사용한다.
• 일반적인 그래프에서는 지오데식 경로를 수호하기 위해 3명의 코프를 사용하고, 이중 그래프에서는 거리 그림자 기반 및 경로 제어 기반으로 2명의 코프를 사용한다.
• 지속적으로 지오데식 경로를 수호함으로써 도둑이 소속된 연결 성분의 영역을 반복적으로 축소시키는 전략을 적용한다.
• 유한 성질을 가진 그래프 및 마이너를 포함하지 않는 그래프의 코프 수에 대한 기존 결과를 활용하고, 수호된 경로 전략을 사용하여 이를 둘레 코프 수 변형에 적응시킨다.
• 거리 기반 그림자 기반 전략: 코프가 경로의 끝점으로부터 도둑의 접근을 추적하여 접근을 방지한다.
• 명시적 구성 예시를 통해 경계의 날카러움을 입증한다. 예를 들어, 8개 정점을 가진 격자 $P_1 \square P_3$는 이중 외평면 그래프에서 $s(G) = 3$임을 보여주며 경계의 날카러움을 입증한다.

실험 결과

연구 질문

• RQ1 평면 그래프의 최대 둘레 코프 수는 얼마이며, 7은 날카로운가?
• RQ2 토러스 그래프의 최대 둘레 코프 수는 얼마이며, 8은 날카로운가?
• RQ3 동일한 수호 전략을 사용하여 이중 평면 및 토러스 그래프에 대해 개선된 경계를 확립할 수 있는가?
• RQ4 둘레 코프 수 경계는 더 높은 성질을 가진 그래프 및 마이너를 포함하지 않는 그래프로 어떻게 일반화되는가?
• RQ5 이동 제한(예: 한 턴에 이동 가능한 코프 수 제한)은 둘레 코프 수에 어떤 영향을 미치는가?

주요 결과

• 모든 평면 그래프의 둘레 코프 수는 최대 7이며, 이 경계는 날카롭다. 6명의 코프가 필요한 평면 그래프가 존재하기 때문이다.
• 토러스 그래프의 경우, 둘레 코프 수는 최대 8이며, 예시를 통해 최대 7까지 도달할 수 있음을 보여준다.
• 이중 평면 및 토러스 그래프의 경우, 개선된 경계가 확립되었다: 각각 $s(G) \leq 4$ 및 $s(G) \leq 5$이다.
• 성질 $g$를 가진 그래프의 경우, 둘레 코프 수는 $s(G) \leq 4g + 10$로 경계되며, 이중 그래프의 경우 $s(G) \leq \lfloor \frac{8}{3}g + \frac{20}{3} \rfloor$로 경계된다.
• 마이너 $H$를 포함하지 않는 그래프의 경우, 둘레 코프 수는 일반 그래프에 대해 $s(G) \leq 3|E(H - h)|$로 경계되고, 이중 그래프에 대해서는 $s(G) \leq 2|E(H - h)|$로 경계된다.
• 외평면 그래프의 경우 경계의 날카러움을 입증하기 위해, $s(G) = 3$인 이중 외평면 그래프 $G = P_1 \square P_3$가 구성되었다.