[논문 리뷰] Cops and robber on grids and tori

Fabrizio Luccio, Linda Pagli|arXiv (Cornell University)|2017. 08. 28.

Advanced Graph Theory Research참고 문헌 20인용 수 7

한 줄 요약

이 논문은 2차원 격자와 반토러스, 토러스에 대한 죽음의 게임에 대해 기존 결과를 재유도하고 확장하기 위해 '포위'와 '그림자 원뿔'이라는 새로운 개념을 도입한다. 임의의 수의 경찰을 위한 효율적인 포위 알고리즘을 제안하고 포위 시간의 범위를 계산하며, 경찰 수를 늘일 경우 초선형적 속도 향상이 발생할 수 있음을 보여주며, 비균형적인 격자와 토러스에서 작업 지표를 통해 효율성이 향상됨을 입증한다.

ABSTRACT

This paper is a contribution to the classical cops and robber problem on a graph, directed to two-dimensional grids and toroidal grids. These studies are generally aimed at determining the minimum number of cops needed to capture the robber and proposing algorithms for the capture. We apply some new concepts to propose a new solution to the problem on grids that was already solved under a different approach, and apply these concepts to give efficient algorithms for the capture on toroidal grids. As for grids, we show that two cops suffice even in a semi-torus (i.e. a grid with toroidal closure in one dimension) and three cops are necessary and sufficient in a torus. Then we treat the problem in function of any number k of cops, giving efficient algorithms for grids and tori and computing lower and upper bounds on the capture time. Conversely we determine the minimum value of k needed for any given capture time and study a possible speed-up phenomenon.

연구 동기 및 목표

• 2차원 격자에서 알려진 결과를 '포위'와 '그림자 원뿔'이라는 새로운 개념적 도구를 사용하여 재유도함으로써 고전적인 경찰과 도둑 문제에 대한 새로운 접근 방식을 제시한다.
• 분석을 반토러스(실린더형 격자)와 완전 토러스로 확장하여 최소 경찰 수와 효율적인 포위 전략을 규명한다.
• 경찰 수 $ k $ 를 변화시켰을 때 포위 시간에 미치는 영향을 연구하고, 주어진 $ k $ 에 대해 하한과 상한을 계산한다.
• 제안된 알고리즘을 사용하여 특정 시간 제한 내에 포위를 달성하기 위해 필요한 최소 경찰 수를 결정한다.
• 작업 지표 $ w_k = k \cdot t_k $ 를 통해 속도 향상 효과를 분석하고, 경찰 배치에서 초선형적 속도 향상의 가능성을 규명한다.

제안 방법

• 경찰의 효과적 커버리지 영역을 모델링하기 위해 '그림자 원뿔' 개념을 도입하고, 도둑을 둘러싸는 협동적 위치를 묘사하기 위해 '포위' 개념을 제안한다.
• 이 개념들을 적용하여 2차원 격자에서 알려진 경찰 수 2를 재유도하고, 반토러스(경찰 수 2)와 토러스(경찰 수 3)로 확장한다.
• 격자와 토러스에서 임의의 $ k $ 명의 경찰을 위한 알고리즘 TGRID-K 를 설계하며, 예비 포위 구성, 포위 확립, 포위 단계로 구성된다.
• 짝수와 홀수의 경우를 별도로 다루는 조각별 분석을 통해 포위 시간 $ t_k $ 의 범위를 정의하며, $ \lceil n/(k-1) \rceil $ 가 짝수인지 홀수인지에 따라 다른 경우를 고려한다.
• 상한과 하한을 더욱 정밀하게 유도하기 위해 첨수 함수와 하한 함수의 근사값을 사용하여 포위 시간 $ t_k $ 의 닫힌 형태의 범위를 유도한다.
• 효율성과 속도 향상을 평가하기 위해 작업 $ w_k = k \cdot t_k $ 를 정의하고, 다양한 $ k $ 에 대해 $ w_k $ 를 비교하여 성능 향상을 평가한다.

실험 결과

연구 질문

• RQ1 2차원 격자에서 경찰 수와 포위 시간을 '포위'와 '그림자 원뿔'과 같은 새로운 기하 개념을 사용하여 재유도할 수 있는가?
• RQ2 반토러스와 토러스에서 도둑을 포위하기 위해 필요한 최소 경찰 수는 얼마이며, 이러한 경우에 대해 효율적인 알고리즘을 구성할 수 있는가?
• RQ3 경찰 수 $ k $ 가 증가함에 따라 포위 시간은 어떻게 변화하는가? 격자와 토러스에서 이 시간에 대한 가장 날카로운 이론적 상한과 하한은 무엇인가?
• RQ4 고정된 포위 시간 $ t^* $ 가 주어졌을 때, 제안된 알고리즘을 사용하여 포위를 보장하기 위해 필요한 최소 경찰 수는 얼마인가?
• RQ5 경찰 수를 늘일 경우, 작업 지표 $ w_k = k \cdot t_k $ 를 통해 초선형적 속도 향상이 발생하는가?

주요 결과

• 논문은 새로운 '포위'와 '그림자 원뿔' 개념을 사용하여 2차원 격자에서 경찰 수 2를 재유도하며, 새로운 증명 프레임워크를 제시한다.
• 반토러스의 경우 최소 경찰 수는 2이며, 완전 토러스의 경우 3이며, 두 경우 모두 효율적인 포위 알고리즘이 제시된다.
• 토러스 $ T_{7,15} $ 에서 4명의 경찰은 11라운드 내에 포위를 달성하지만, 3명의 경찰은 15라운드가 필요하다. 이는 작업 기반 효율성 향상을 보여주며 ($ w_3 = 45 $, $ w_4 = 44 $) 작업 지표에서 유리함을 입증한다.
• 격자에서 $ k $ 명의 경찰에 대한 포위 시간 $ t_k $ 는 $ n $, $ m $, $ k $ 를 포함하는 조각별 표현식으로 제한되며, 보다 정밀한 근사값을 통해 개선된 상한이 도출된다.
• $ T_{7,15} $ 에서 목표 포위 시간 $ t^* = 12 $ 이라면, 유도된 부등식을 통해 필요한 경찰 수는 4에서 5 사이에 있음을 밝혀냈다.
• 작업 지표 $ w_k $ 는 경찰 수를 늘릴 경우 초선형적 속도 향상이 발생할 수 있음을 드러내며, $ T_{7,15} $ 에서 $ w_4 < w_3 $ 의 사례에서 이를 확인할 수 있다.