[논문 리뷰] Distance domination, guarding and vertex cover for maximal outerplanar graph

Santiago Canales, Gregorio Hernández Peñalver외 2명|arXiv (Cornell University)|2013. 07. 08.

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

한 줄 요약

이 논문은 최대 외부 평면 그래프에서 2거리 감시, 2거리 독립 집합, 2거리 정점 커버의 개념을 도입하고 체계화하며, 날카러운 경계를 확립한다: 2거리 감시 수와 2거리 독립 집합 수는 모두 ⌊n/5⌋이며, 2거리 정점 커버 수는 어떤 n-정점 최대 외부 평면 그래프에 대해서도 ⌊n/4⌋이다.

ABSTRACT

This paper discusses a distance guarding concept on triangulation graphs, which can be associated with distance domination and distance vertex cover. We show how these subjects are interconnected and provide tight bounds for any n-vertex maximal outerplanar graph: the 2d-guarding number, g_{2d}(n) = n/5; the 2d-distance domination number, gamma_{2d}(n) = n/5; and the 2d-distance vertex cover number, beta_{2d}(n) = n/4.

연구 동기 및 목표

• 삼각분할 그래프, 특히 최대 외부 평면 그래프에 대해 거리 기반 감시의 개념을 체계화하는 것.
• 최대 외부 평면 그래프에서 2거리 감시, 2거리 독립 집합, 2거리 정점 커버에 대해 날카러운 조합적 경계를 확립하는 것.
• 이 그래프 유형에서 거리 기반 감시, 거리 기반 독립 집합, 거리 기반 정점 커버 간의 상호작용과 동치성을 보여주는 것.
• 이 세 거리 기반 그래프 매개변수에 대해 점근적으로 최적인 날카러운 상한과 하한을 제공하는 것.

제안 방법

• 삼각분할 평면 그래프의 모든 유한 면을 2거리로 커버하는 정점 집합으로서 2d-감시를 체계화하는 것.
• 모든 정점이 집합 D의 어떤 정점으로부터 거리 2 이내에 있을 때, D를 2d-거리 독립 집합으로 정의하는 것.
• 모든 간선이 집합 C의 어떤 정점으로부터 거리 2 이내에 있을 때, C를 2d-거리 정점 커버로 정의하는 것.
• 내부 간선을 이용해 최대 외부 평면 그래프를 더 작은 부분그래프로 분해하는 구조적 분해 방법을 사용하는 것.
• 정점 수에 대한 귀납법을 적용하며, 부분그래프의 외부 간선 수에 따라 경우를 분석하는 것.
• 내부 간선으로 형성된 오각형과 삼각형을 포함한 최대 외부 평면 그래프의 기하학적 및 조합적 성질을 활용하는 것.

실험 결과

연구 질문

• RQ1 최대 외부 평면 그래프에서 2거리 감시 수의 날카러운 경계는 무엇인가?
• RQ2 이 유형의 그래프에서 2거리 독립 집합 수와 2거리 정점 커버 수는 2거리 감시 수와 어떻게 관련이 있는가?
• RQ3 최대 외부 평면 그래프에서 이 세 거리 기반 매개변수(감시, 독립 집합, 정점 커버)에 대해 날카러운 경계를 설정할 수 있는가?
• RQ4 이 경계는 최대 외부 평면 그래프를 초월한 일반적인 삼각분할 그래프로 확장 가능한가?
• RQ5 이러한 그래프에서 더 높은 거리(예: 3거리)에 대해 이 매개변수들은 어떻게 행동하는가?

주요 결과

• 모든 n-정점 최대 외부 평면 그래프의 2d-감시 수는 정확히 ⌊n/5⌋이다.
• 모든 n-정점 최대 외부 평면 그래프의 2d-거리 독립 집합 수는 정확히 ⌊n/5⌋이다.
• 모든 n-정점 최대 외부 평면 그래프의 2d-거리 정점 커버 수는 정확히 ⌊n/4⌋이다.
• 2d-거리 정점 커버에 대한 상한 ⌊n/4⌋이 날카럽다는 것은, 각 굵은 간선이 별개의 감시자 필요성을 보여주는 구성에 의해 입증된다.
• 2d-감시와 2d-거리 독립 집합에 대한 경계 역시 날카롭며, ⌊n/5⌋의 하한을 달성하는 구성이 존재한다.
• 결과적으로 이 세 개념은 삼각분할 그래프, 특히 최대 외부 평면 그래프에서 깊이 연결되어 있음을 시사한다.