[논문 리뷰] The Steiner 4-diameter of a graph

Zhao Wang, Yaping Mao외 2명|arXiv (Cornell University)|2017. 02. 19.

Graph theory and applications참고 문헌 28인용 수 3

한 줄 요약

이 논문은 비절단 정점과 사이클 구성의 구조를 분석하여 스티너 4-지름이 3, 4, 또는 n−1인 그래프를 특성화한다. 비절단 정점과 사이클의 교차 조건에 기반하여, sdiam₄(G) = n−1이 되는 것은 G가 여섯 가지 특정 그래프 유형 중 하나인 T_{a,b,c,d}, △_{a,b,c,d}, △′_{a,b,c,d}, G₁, G₂, 또는 G₃와 동형일 때에만 성립함을 입증한다.

ABSTRACT

The Steiner distance of a graph, introduced by Chartrand, Oellermann, Tian and Zou in 1989, is a natural generalization of the concept of classical graph distance. For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d_G(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. Let $n,k$ be two integers with $2\leq k\leq n$. Then the \emph{Steiner $k$-eccentricity $e_k(v)$} of a vertex $v$ of $G$ is defined by $e_k(v)=\max \{d(S)\,|\,S\subseteq V(G), \ |S|=k, \ and \ v\in S \}$. Furthermore, the \emph{Steiner $k$-diameter} of $G$ is $sdiam_k(G)=\max \{e_k(v)\,|\, v\in V(G)\}$. In 2011, Chartrand, Okamoto and Zhang showed that $k-1\leq sdiam_k(G)\leq n-1$. In this paper, graphs with $sdiam_4(G)=3,4,n-1$ are characterized, respectively.

연구 동기 및 목표

• 순서 n인 연결 그래프 G 중에서 스티너 4-지름 sdiam₄(G) = 3인 그래프를 특성화하는 것.
• 순서 n인 연결 그래프 G 중에서 sdiam₄(G) = 4인 그래프를 특성화하는 것.
• 순서 n인 연결 그래프 G 중에서 sdiam₄(G) = n−1인 그래프를 특성화하고, 이 최대값을 도달하는 정확한 그래프 가족을 규명하는 것.
• 스티너 4-지름을 결정하는 데 영향을 주는 비절단 정점과 사이클 교차에 대한 구조적 조건을 설정하는 것.
• k=4인 경우에 대해 이전의 스티너 k-지름에 대한 경계를 개선하고 정확한 특성화를 제공하는 것.

제안 방법

• 비절단 정점의 개념을 사용하고, 부분그래프 H의 비절단 정점에서 전체 그래프 G의 비절단 정점으로의 단사 사상(매핑)을 적용하여 구조적 제약 조건을 유지한다.
• 코로나리 2와 코로나리 3을 적용하여 사이클 길이와 교차 성질에 기반해 비절단 정점의 수를 제한한다.
• 길이가 3 또는 4인 사이클 Cᵢ에 대해 G∖V(Cᵢ)의 구조를 분석하여, 이들이 상호 독립적인 경로들의 합집합이어야 한다고 보여준다.
• 원주 c(G)에 기반한 케이스 분석을 수행하며, c(G)=3, c(G)=4, 및 c(G)≥5의 경우를 구분한다.
• c(G) ≥ 5이면 sdiam₄(G) ≤ n−2임을 이용하여, 이러한 그래프가 최대 지름을 도달할 수 없음을 증명한다.
• T_{a,b,c,d}, △_{a,b,c,d}, △′_{a,b,c,d}, G₁, G₂, G₃와 같은 명시적 그래프 가족을 구성하여 sdiam₄(G) = n−1인 모든 가능한 그래프를 표현한다.

실험 결과

연구 질문

• RQ1 어떤 그래프가 가능한 최소 스티너 4-지름 sdiam₄(G) = 3을 도달하는가?
• RQ2 어떤 그래프가 가능한 다음으로 작은 스티너 4-지름 sdiam₄(G) = 4를 도달하는가?
• RQ3 순서 n인 연결 그래프 G에서 sdiam₄(G) = n−1이 되는 정확한 구조적 조건은 무엇인가?
• RQ4 사이클의 수와 교차 패턴은 스티너 4-지름에 어떤 영향을 미치는가?
• RQ5 비절단 정점은 스티너 4-지름을 결정하는 데 어떤 역할을 하는가?

주요 결과

• sdiam₄(G) = 3인 그래프는 모든 4개 정점의 부분집합이 크기 3인 스티너 트리를 가지며, 이는 매우 중심화된 구조를 의미한다.
• sdiam₄(G) = 4인 그래프는 최대 네 개의 비절단 정점만을 가지며, 길이 5 이상의 사이클을 포함하지 않는다.
• 가능한 최대 스티너 4-지름 sdiam₄(G) = n−1은 G가 T_{a,b,c,d}, △_{a,b,c,d}, △′_{a,b,c,d}, G₁, G₂, 또는 G₃ 중 하나와 동형일 때에만 성립한다.
• G가 길이 5 이상의 사이클을 포함하면 sdiam₄(G) ≤ n−2이므로, 이러한 그래프는 최대 지름을 도달할 수 없다.
• G의 원주가 4이면 비절단 정점의 수는 정확히 네 개이며, 그래프는 G₁, G₂, 또는 G₃와 동형이어야 한다.
• 원주가 3인 경우, 그래프의 구조는 삼각형의 수와 교차 패턴에 의해 결정된다; 삼각형이 하나일 경우 G ≅ △_{a,b,c,d}이며, 두 개의 서로소 또는 교차하는 삼각형이 있을 경우 G ≅ △′_{a,b,c,d}이다.