[논문 리뷰] The generalized 3-connectivity of Cartesian product graphs

Hengzhe Li, Xueliang Li외 1명|arXiv (Cornell University)|2011. 03. 31.

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

한 줄 요약

이 논문은 카르테시안 곱 그래프의 일반화된 3-연결성에 대해 연구하며, 인자 그래프의 3-연결성과 표준 연결성에 기반하여 $\kappa_3(G\Box H)$에 대한 날것의 하한을 확립한다. $\kappa(G) > \kappa_3(G)$일 경우 $\kappa_3(G\Box H) \geq \kappa_3(G) + \kappa_3(H)$임을 증명하고, $\kappa(G) = \kappa_3(G)$일 경우 $\kappa_3(G\Box H) \geq \kappa_3(G) + \kappa_3(H) - 1$임을 보이며, 이 두 하한이 구성과 예시를 통해 날것임을 입증한다.

ABSTRACT

The generalized connectivity of a graph, which was introduced recently by Chartrand et al., is a generalization of the concept of vertex connectivity. Let $S$ be a nonempty set of vertices of $G$, a collection $\{T_1,T_2,...,T_r\}$ of trees in $G$ is said to be internally disjoint trees connecting $S$ if $E(T_i)\cap E(T_j)=\emptyset$ and $V(T_i)\cap V(T_j)=S$ for any pair of distinct integers $i,j$, where $1\leq i,j\leq r$. For an integer $k$ with $2\leq k\leq n$, the $k$-connectivity $κ_k(G)$ of $G$ is the greatest positive integer $r$ for which $G$ contains at least $r$ internally disjoint trees connecting $S$ for any set $S$ of $k$ vertices of $G$. Obviously, $κ_2(G)=κ(G)$ is the connectivity of $G$. Sabidussi showed that $κ(G\Box H) \geq κ(G)+κ(H)$ for any two connected graphs $G$ and $H$. In this paper, we first study the 3-connectivity of the Cartesian product of a graph $G$ and a tree $T$, and show that $(i)$ if $κ_3(G)=κ(G)\geq 1$, then $κ_3(G\Box T)\geq κ_3(G)$; $(ii)$ if $1\leq κ_3(G)< κ(G)$, then $κ_3(G\Box T)\geq κ_3(G)+1$. Furthermore, for any two connected graphs $G$ and $H$ with $κ_3(G)\geqκ_3(H)$, if $κ(G)>κ_3(G)$, then $κ_3(G\Box H)\geq κ_3(G)+κ_3(H)$; if $κ(G)=κ_3(G)$, then $κ_3(G\Box H)\geq κ_3(G)+κ_3(H)-1$. Our result could be seen as a generalization of Sabidussi's result. Moreover, all the bounds are sharp.

연구 동기 및 목표

• 카르테시안 곱 그래프에 대해 사비두시의 고전적 그래프 연결성 결과를 일반화된 3-연결성 설정으로 확장하기.
• 인자 그래프 $G$와 $H$의 3-연결성과 표준 연결성에 따라 $G\Box H$의 3-연결성에 대한 날것의 하한을 결정하기.
• 특히 $\kappa_3$와 $\kappa$ 값이 그래프의 내부 구조에 어떻게 영향을 미쳐, 임의의 세 정점 간에 내부적으로 분리된 트리로 연결되는 그래프의 강건성에 영향을 주는지 규명하기.

제안 방법

• 저자들은 세 정점의 집합 $S$에 대해 내부적으로 분리된 $S$-트리의 정의와 활용을 통해 일반화된 3-연결성 $\kappa_3(G)$를 측정하며, 표준 정점 연결성의 일반화를 수행한다.
• 메르거의 정리와 경로 분해 기법을 적용하여, $\kappa(G) > \kappa_3(G)$일 경우 $G\Box T$에 $k+1$개의 내부적으로 분리된 트리를 구성하며, $T$의 트리 구조를 활용해 분리성을 보장한다.
• 일반적인 그래프 $G$와 $H$에 대해, $G$와 $H$의 트리를 공유된 정점 복사본을 기반으로 결합하여 $G\Box H$에 $\kappa_3(G) + \kappa_3(H)$ 또는 $\kappa_3(G) + \kappa_3(H) - 1$개의 내부적으로 분리된 $S$-트리를 구성한다.
• 세 정점 $x,y,z$의 위치에 따라 경우의 수를 나누어 분석하며, 이들이 서로 다른 복사본, 두 개의 동일한 복사본, 또는 동일한 복사본 $G$에 속해 있는지에 따라 경우를 구분한다.
• 저자들은 재귀적 구성 기법을 사용하여 각 하위그래프 $G_{i} = G\Box T_i$에 $k_i - k_{i-1} + 1$개의 분리된 트리를 구축하며, 전체 곱 그래프에 걸쳐 전역적인 분리성을 확보한다.
• 하한의 날것임을 명시적인 구성과 예시를 통해 입증하며, $K_n \Box P_m$과 예제 3.1에 포함된 특정 그래프를 포함한다.

실험 결과

연구 질문

• RQ1 연결된 그래프 $G$와 $H$에 대해 $\kappa_3(G\Box H)$의 최소 가능한 값은 $\kappa_3(G)$, $\kappa_3(H)$, $\kappa(G)$, $\kappa(H)$에 대해 어떻게 표현될 수 있는가?
• RQ2 $\kappa(G)$와 $\kappa_3(G)$의 관계는 카르테시안 곱 $G\Box H$의 3-연결성에 어떻게 영향을 주는가?
• RQ3 카르테시안 곱 그래프의 일반화된 3-연결성을 사비두시의 부등식 $\kappa(G\Box H) \geq \kappa(G) + \kappa(H)$를 일반화하는 방식으로 아래에서 유계로 만들 수 있는가?
• RQ4 어떤 조건에서 $\kappa_3(G\Box H) \geq \kappa_3(G) + \kappa_3(H)$의 하한이 날것이며, 언제 $\kappa_3(G\Box H) \geq \kappa_3(G) + \kappa_3(H) - 1$이 최적의 하한이 되는가?

주요 결과

• 모든 연결 그래프 $G$와 트리 $T$에 대해, $\kappa_3(G) = \kappa(G) \geq 1$이면 $\kappa_3(G\Box T) \geq \kappa_3(G)$이며, $1 \leq \kappa_3(G) < \kappa(G)$이면 $\kappa_3(G\Box T) \geq \kappa_3(G) + 1$이다. 이 두 하한 모두 날것이다.
• 일반적인 연결 그래프 $G$와 $H$에 대해 $\kappa_3(G) \geq \kappa_3(H)$일 때, $\kappa(G) > \kappa_3(G)$이면 $\kappa_3(G\Box H) \geq \kappa_3(G) + \kappa_3(H)$이며, 이 하한은 날것이다.
• $\kappa(G) = \kappa_3(G)$이면 $\kappa_3(G\Box H) \geq \kappa_3(G) + \kappa_3(H) - 1$이며, 이 하한 역시 날것이다.
• 등호가 성립하는 경우로 $K_n \Box P_m$이 있으며, 이 경우 $\kappa_3(K_n) = n-2$, $\kappa_3(P_m) = 1$, $\kappa_3(K_n \Box P_m) = n-1$이다.
• 내부적으로 분리된 트리의 구성은 $H$에 있는 $\ell$개의 내부적으로 분리된 $\{v_1,v_2,v_3\}$-트리 $T_i$에 대해 곱 그래프를 $G\Box T_i$로 분해함으로써 이루어지며, $G(v_1), G(v_2), G(v_3)$의 공유된 정점 집합을 통해 분리성을 확보한다.
• 논문은 명시적인 예시를 통해 하한이 날것임을 확인하며, $K_n \Box P_m$과 예제 3.1을 포함하여 등호가 성립하는 경우를 모두 입증한다.