[논문 리뷰] Distance Preserving Graphs

Emad Zahedi|arXiv (Cornell University)|2015. 07. 13.

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

한 줄 요약

이 논문은 모든 가능한 순서의 등거리 부분그래프를 포함하는 거리보존(이하 dp) 그래프를 도입한다. 이는 호프라인 그래프가 dp임을 보여주는 것으로, dp 그래프에 단순 정점을 추가하는 것은 dp 성질을 유지함을 증명하며, 원환장의 길이 기반 조건(원환장 ≥ 5이고 모든 정점은 절점이거나 사이클에 속함)이 dp가 되지 않음을 밝힌다.

ABSTRACT

Given a graph $G$ then a subgraph $H$ is $isometric$ if, for every pair of vertices $u,v$ of $H$, we have $d_H(u,v) = d_G(u,v)$. We say a graph $G$ is $distance\ preserving\ (dp)$ if it has an isometric subgraph of every possible order up to the order of $G$. We consider how to add a vertex to a dp graph so that the result is a dp graph. This condition implies that chordal graphs are dp. We also find a condition on the girth of $G$ which implies that it is not dp. In closing, we discuss other work and open problems concerning dp graphs.

연구 동기 및 목표

• 모든 순서 1에서 |V(G)|까지의 등거리 부분그래프를 포함하는 거리보존(dp) 그래프를 정의하고 특성화하는 것.
• dp 그래프에 정점을 추가할 때 dp 성질이 유지되는 조건을 조사하는 것.
• 특히 원환장과 정점 유형에 관련된 구조적 제약 조건이 그래프가 dp가 되지 않게 하는 이유를 규명하는 것.
• 나무를 초월하여 특히 호프라인 그래프로 알려진 dp 그래프의 범위를 확장하는 것.
• dp 그래프의 밀도와 구조적 성질에 관한 열린 문제와 추측을 규명하는 것.

제안 방법

• 모든 정점 쌍 간의 거리가 유도 부분그래프에 그대로 유지되는 등거리 부분그래프 개념을 사용한다.
• 정점 수에 대한 귀납법을 사용하여, K₁에서 시작하여 특정 이웃 성질을 가진 정점을 추가함으로써 dp 그래프를 구성한다.
• 이웃이 클리크를 이룰 정점(단순 정점)의 개념을 활용하여 호프라인 그래프가 dp임을 증명한다.
• 유연한 조건을 도입: 정점의 비접속 이웃이 공통의 4사이클에 존재하면, 그러한 정점을 추가해도 dp 성질이 유지됨을 보인다.
• 지오데식 경로의 모순을 이용하여, 특정 이웃 구조를 가진 정점을 제거할 경우 부분그래프가 여전히 등거리임을 보인다.
• 원환장 분석을 적용하여, 원환장 ≥ 5이고 3-또는 4사이클이 없는 그래프에서는 |V|−1 순서의 등거리 부분그래프가 존재하지 않음을 증명함으로써, 이러한 그래프가 dp가 되지 않음을 보였다.

실험 결과

연구 질문

• RQ1 dp 그래프에 정점을 추가할 때 어떤 조건에서 또 다른 dp 그래프가 되는가?
• RQ2 모든 호프라인 그래프가 거리보존인가? 만약 그렇다면 그 이유는 무엇인가?
• RQ3 특히 사이클 길이와 정점 유형과 관련된 어떤 구조적 성질이 그래프가 dp가 되지 않게 하는가?
• RQ4 dp 그래프의 범위를 나무와 호프라인 그래프를 초월하여 확장할 수 있는가?
• RQ5 대부분의 그래프가 직경이 2이므로 거의 모든 그래프가 dp인가?

주요 결과

• 단순 정점 제거 순서를 사용한 귀납법으로 호프라인 그래프가 거리보존임을 증명하였다.
• 그래프 G가 정점 v를 포함하고, v의 모든 비접속 이웃 쌍이 공통의 4사이클에 존재하며 G−v가 dp이면, G는 dp이다.
• 원환장 ≥ 5이고 모든 정점이 절점이거나 사이클에 속해 있으면, G는 |V(G)|−1 순서의 등거리 부분그래프가 없으므로 dp가 아니다.
• 단순 정점 레미마의 역은 성립하지 않는다: dp 그래프에서 단순 정점을 제거하면 비-dp 부분그래프가 될 수 있으며, C₅ 반례로 이를 보였다.
• dp 그래프 G와 임의의 그래프 H의 사전곱은 역시 dp이다.
• 순차적으로 dp인 그래프 G와 임의의 dp 그래프 H의 카르테시안 곱은 dp이며, 이는 곱 연산을 통해 dp 그래프의 범위를 확장한다.