[논문 리뷰] The Cops and Robber game on graphs with forbidden (induced) subgraphs

Gwenaël Joret, Marcin Kamiński외 1명|arXiv (Cornell University)|2008. 04. 25.

Advanced Graph Theory Research참고 문헌 14인용 수 33

한 줄 요약

이 논문은 단일 그래프를 부분그래프 또는 부분그래프로 포함하지 않는 그래프 클래스에서의 경찰 수를 특성화한다. 거리 감소 전략과 트리분해 기법을 활용하여, 경찰 수가 유계임과 동치인 조건은 금지된 그래프의 모든 연결 성분이 경로(부분그래프로 포함하지 않는 경우) 또는 최대 3개의 잎을 가진 트리(부분그래프로 포함하지 않는 경우)임을 증명한다. 주요 기여는 금지된 부분그래프 제약 조건 하에서 경찰 수가 유계인 그래프의 완전한 구조적 특성화이다.

ABSTRACT

The two-player, complete information game of Cops and Robber is played on undirected finite graphs. A number of cops and one robber are positioned on vertices and take turns in sliding along edges. The cops win if, after a move, a cop and the robber are on the same vertex. The minimum number of cops needed to catch the robber on a graph is called the cop number of that graph. In this paper, we study the cop number in the classes of graphs defined by forbidding one or more graphs as either subgraphs or induced subgraphs. In the case of a single forbidden graph we completely characterize (for both relations) the graphs which force bounded cop number. In closing, we bound the cop number in terms of the tree-width.

연구 동기 및 목표

• 단일 그래프를 부분그래프 또는 부분그래프로 포함하지 않는 그래프 클래스에서 경찰 수가 유계가 되는 구조적 조건을 규명하는 것.
• 기존의 평면 및 마이너 자유 그래프에 대한 결과를 일반화하여, 경찰 수가 유계가 되게 하는 정확한 금지된 부분그래프를 규명하는 것.
• 경찰 수, 트리너비, 그래프 둘레 사이의 밀접한 연결 고리를 설정하여, 새로운 알고리즘적 및 구조적 통찰을 제공하는 것.
• 경찰 수가 유계인 그래프의 조합적 특성화에 대한 열린 문제를 해결하기 위해, 금지된 부분그래프에 의한 장애물들을 규명하는 것.

제안 방법

• 경찰이 최단경로를 따라 이동하면서 도둑과의 거리를 줄이고, 경로 유사 형성 유지 전략을 단계적으로 적용하는 방식.
• 이웃한 트리버킷 간의 컷셋을 감시하는 전략을 시뮬레이션하기 위해 트리분해 기법을 적용하여 도둑이 탈출하지 못하도록 보장하는 방식.
• 금지된 그래프의 연결 성분 수에 대한 귀납적 추론을 활용하여 문제를 차수 유계인 트리 기반 사례로 축소하는 방식.
• 트리너비에 대한 경찰 수의 기존 상한(cop(G) ≤ tw(G)/2 + 1)을 활용하고, 이와 트리너비와 둘레 사이의 관계(tw(G) ≤ circ(G) − 1)를 연결하여 분석하는 방식.
• 비브지-경로(bibj-paths)와 감시 경로를 활용하여 경찰 이동 중 핵심 정점의 제어를 유지하는 방식.
• 서브디바이전 논법을 적용하여, 금지된 그래프에 고차수 정점 또는 다수의 차수 3 정점이 포함될 경우 경찰 수가 무한히 증가하는 그래프를 구성하는 방식.

실험 결과

연구 질문

• RQ1 어떤 그래프 H에 대해 H-유 free(부분그래프로 포함하지 않는) 그래프에서 경찰 수가 유계가 되는가?
• RQ2 H의 어떤 구조적 성질이 모든 H-유 free 그래프의 경찰 수가 유계가 되게 하는가?
• RQ3 H-유 free 그래프에서 경찰 수는 트리너비와 그래프 둘레와 어떻게 관련되는가?
• RQ4 H가 산림임에도 불구하고 경찰 수가 무한히 증가할 수 있는가, 만약 그렇다면 어떤 조건에서 그러한 일이 발생하는가?
• RQ5 H-부분그래프로 포함하지 않는 그래프의 경찰 수가 유계가 되게 하는 정확한 H의 특성은 무엇인가?

주요 결과

• H-유 free 그래프의 클래스에서 경찰 수가 유계임과 동치인 조건은 H의 모든 연결 성분이 경로임이다.
• H-부분그래프로 포함하지 않는 그래프의 클래스에서 경찰 수가 유계임과 동치인 조건은 H의 모든 연결 성분이 최대 3개의 잎을 가진 트리임이다.
• 모든 ℓ ≥ 3에 대해, Pℓ-유 free 그래프의 경찰 수는 최대 ℓ − 2이며, 이 상한은 특정 그래프 가족에서 정확히 달성된다.
• 그래프의 경찰 수는 그 트리너비의 절반에 1을 더한 값 이하이며, 트리너비가 5 이하일 경우 이 상한은 정확히 달성된다.
• 경찰 수는 그래프의 둘레의 절반 이하이며, 이는 트리너비와 둘레의 관계에서 유도된다.
• 최대 차수 3이지만 강한 제약 조건(예: 3-정규 그래프) 하에서도 경찰 수가 무한히 증가하는 그래프가 존재함을 보여주며, 이는 최대 차수 3만으로는 경찰 수를 유계로 유지할 수 없음을 시사한다. 단, 성분 트리에 대한 구조적 제약 조건이 충족되어야만 가능하다.