[논문 리뷰] Subgraphs and Colourability of Locatable Graphs

Richard A. B. Johnson, Sebastian Koch|arXiv (Cornell University)|2014. 02. 12.

Advanced Graph Theory Research참고 문헌 11인용 수 3

한 줄 요약

이 논문은 거리 질의를 통해 도둑을 특정할 수 있는 캐릭터(코프)가 존재하는 그래프인 locatable 그래프를 연구한다. 일반적인 locatable 그래프에 대해 금지된 부분그래프 또는 유도된 부분그래프 특성화가 존재하지 않음을 증명한다. 직경이 2 이하인 그래프에 대해 완전한 특성화를 제시하고, 모든 locatable 그래프는 4색 가능하지만 반드시 3색 가능하지는 않음을 보이며, 비-locatable한 구조를 식별하기 위해 '히든아웃 그래프'의 개념을 도입한다.

ABSTRACT

We study a game of pursuit and evasion introduced by Seager in 2012, in which a cop searches the robber from outside the graph, using distance queries. A graph on which the cop wins is called locatable. In her original paper, Seager asked whether there exists a characterisation of the graph property of locatable graphs by either forbidden or forbidden induced subgraphs, both of which we answer in the negative. We then proceed to show that such a characterisation does exist for graphs of diameter at most 2, stating it explicitly, and note that this is not true for higher diameter. Exploring a different direction of topic, we also start research in the direction of colourability of locatable graphs, we also show that every locatable graph is 4-colourable, but not necessarily 3-colourable.

연구 동기 및 목표

• locatable 그래프가 금지된 부분그래프 또는 유도된 금지된 부분그래프로 특성화될 수 있는지 여부를 규명함으로써, Seager의 열린 질문에 대해 부정적인 답변을 제공하는 것.
• 직경이 2 이하인 locatable 그래프에 대한 완전한 특성화를 제공하여, 코프가 승리 전략을 확보할 수 있는 구조적 조건을 규명하는 것.
• locatable 그래프의 색칠 가능성에 대한 연구를 수행하여 크로마틱 수의 범위를 규명하고, 3색 불가능한 예시를 식별하는 것.
• 코프가 승리할 수 없게 만드는 그래프, 특히 $K_4$ 또는 $K_{3,3}$를 유도된 부분그래프로 포함하는 그래프를 '히든아웃 그래프'로 도입하고 분석하는 것.
• 도둑 전략의 강건성 탐구, 특히 $H$가 히든아웃 그래프일 경우 $G$가 $H$를 부분그래프로 포함하고 있어도 도둑이 항상 하위그래프 $H$에 국한하여 움직일 수 있는지 여부를 탐색하는 것.

제안 방법

• 코프가 정점들을 질의하고 도둑의 위치까지의 거리를 수신하는 거리 질의 게임을 기반으로 한 게임 이론적 분석을 수행한다.
• 인도적 및 구조적 추론을 적용하여 $K_4$ 또는 $K_{3,3}$를 유도된 부분그래프로 포함하는 그래프의 비-locatability를 증명하고, 이러한 그래프를 '히든아웃 그래프'로 정의한다.
• 직경이 2인 그래프에서 코프를 위한 구축 전략을 적용하여 전략적 정점에서 순차적 질의를 통해 도둑의 위치를 고립시키는 방법을 제시한다.
• 그래프 색칠 기법을 활용하여, locatable 그래프가 모두 4색 가능하다는 것을 증명하고, 코프의 질의 전략에서 유도된 구조적 제약 조건을 활용한다.
• 다이아몬드 고리와 솔넷과 같은 대칭 그래프 가족을 분석하여 최소성과 비-locatability를 입증하고, 히든아웃 그래프 프레임워크를 뒷받침한다.
• 확률적 추론을 사용하여 무작위 3정점 그래프가 일반적으로 비-locatable하다는 것을 시사하며, 이는 긍정적인 locatability 확률을 가진 제한된 하위가족을 찾는 데 동기를 부여한다.

실험 결과

연구 질문

• RQ1 locatable 그래프의 클래스는 금지된 부분그래프 또는 유도된 금지된 부분그래프로 특성화될 수 있는가? (답: 일반적으로 아님.)
• RQ2 직경이 2 이하인 그래프에 대해 locatable 그래프의 완전한 구조적 특성화가 존재하는가? (응: 본 논문에서 제공됨.)
• RQ3 locatable 그래프의 크로마틱 수는 얼마인가? (모든 그래프는 4색 가능하지만 반드시 3색 가능하지는 않음.)
• RQ4 H가 히든아웃 그래프일 경우, G가 H를 부분그래프로 포함하고 있어도 도둑이 항상 하위그래프 H에 국한하여 움직일 수 있는가? (열린 문제.)
• RQ5 locatable 확률이 양수인 제한된 하위가족을 가진 3정점 그래프의 하위가정이 존재하는가? (열린 문제.)

주요 결과

• 모든 locatable 그래프의 클래스에 대해 금지된 부분그래프 또는 유도된 부분그래프 특성화가 존재하지 않으며, 이는 Seager의 질문에 대한 부정적 답변이다.
• 직경이 2 이하인 locatable 그래프에 대한 완전한 특성화가 제공되며, 코프가 승리할 수 있도록 보장하는 특정 구조적 조건이 규명된다.
• 모든 locatable 그래프는 4색 가능하지만, 3색 불가능한 locatable 그래프가 존재하므로 이 경계는 날카롭다.
• $K_4$ 또는 $K_{3,3}$를 유도된 부분그래프로 포함하는 그래프는 비-locatable하며, '히든아웃 그래프'로 간주되며, 이러한 그래프를 식별하는 일반적인 프레임워크가 제시된다.
• 순서 $n$의 다이아몬드 고리—각 변이 다이아몬드로 대체된 사이클—는 최소 히든아웃 그래프이며, 도둑은 이 하위그래프에 국한하여 움직임으로써 승리할 수 있다.
• 무작위 3정점 그래프는 渐近적으로 거의 확실히 비-locatable하며, 이는 locatability 확률이 양수인 제한된 하위가족을 얻기 위해 3정점 그래프의 가족을 제한하는 것이 필요할 수 있음을 시사한다.