[논문 리뷰] The minimal size of a graph with generalized connectivity $κ_3 = 2$

Shasha Li, Xueliang Li외 1명|arXiv (Cornell University)|2011. 01. 20.

Interconnection Networks and Systems참고 문헌 1인용 수 15

한 줄 요약

이 논문은 일반화된 3-연결성 $\kappa_3 = 2$를 달성하기 위해 필요한 간선의 최소 수를 규명하며, 이에 따라 순서 $n$을 가진 임의의 그래프는 최소 $\frac{6}{5}n$ 개의 간선을 가져야 한다고 증명한다. 저자들은 이 경계를 달성하는 그래프의 가족을 구성하여 이 경계가 날카롭고, $\kappa_3 = 2$인 그래프에 대해 날카로운 하한을 제공함을 보여준다.

ABSTRACT

Let $G$ be a nontrivial connected graph of order $n$ and $k$ an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $κ(S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$ such that $V(T_i)\cap V(T_j)=S$ for every pair $i,j$ of distinct integers with $1\leq i,j\leq \ell$. Chartrand et al. generalized the concept of connectivity as follows: The $k$-$connectivity$, denoted by $κ_k(G)$, of $G$ is defined by $κ_k(G)=$min$\{κ(S)\}$, where the minimum is taken over all $k$-subsets $S$ of $V(G)$. Thus $κ_2(G)=κ(G)$, where $κ(G)$ is the connectivity of $G$. This paper mainly focuses on the minimal number of edges of a graph $G$ with $κ_{3}(G)= 2$. For a graph $G$ of order $v(G)$ and size $e(G)$ with $κ_{3}(G)= 2$, we obtain that $e(G)\geq 6/5v(G)$, and the lower bound is sharp by showing a class of examples attaining the lower bound.

연구 동기 및 목표

• 일반화된 3-연결성 $\kappa_3 = 2$를 유지하는 그래프에서의 최소 간선 수를 규명하는 것.
• 이러한 그래프의 크기에 대한 순서에 따라 날카로운 하한을 설정하는 것.
• 이론적 최소 간선 수를 달성하는 명시적 그래프 가족을 구성하는 것.
• 하한이 달성되는 구조적 조건을 규명하는 것.
• 간선 수와 $\kappa_3$ 값 사이의 괴리를 해결하기 위해, $\frac{6}{5}n$ 개의 간선이 충분하지 않은 경우(예: 순서 10인 그래프)를 특정하는 것.

제안 방법

• $\kappa_3(G)$를 정의: 모든 3정점 부분집합 $S$에 대해, $S$만을 공유하는 간선이 서로 다른 두 개의 트리로 연결되는 최소 수로 정의한다.
• 도수 제약 조건 적용: $\kappa_3(G) = 2$ 이므로 최소 도수 $\delta(G) \geq 2$이며, 도수 2인 정점들은 안정 집합을 이룬다.
• 정점을 $X$(도수 2)와 $Y$(도수 $\geq 3$)로 분할하고, $e(G) = 2|X| + m'$로 간선 수를 유도한다. 여기서 $m'$은 $Y$ 내부의 간선 수이다.
• 도수 합 제약 조건에서 유도된 부등식 $5|X| + 2m' \geq 3n$을 적용하여 $e(G) \geq \frac{6}{5}n$을 도출한다.
• $H_k$라는 그래프 가족을 구성하여 $5k$개의 정점과 $6k$개의 간선을 가진다($e(H_k) = \frac{6}{5}v(H_k)$), 이는 $k \neq 2$일 때 경계가 날카로운 것을 보여준다.
• 크기 3인 정점 부분집합 $S$에 대한 케이스 분석을 통해, 각 $S$에 대해 두 개의 내부적으로 분리된 트리를 명시적으로 구성함으로써 $\kappa_3(H_k) = 2$임을 확인한다.

실험 결과

연구 질문

• RQ1 일반화된 3-연결성 $\kappa_3(G) = 2$를 유지하는 그래프에서 최소 몇 개의 간선을 가져야 하는가?
• RQ2 하한 $e(G) \geq \frac{6}{5}v(G)$는 달성 가능한가? 만약 그렇다면 어떤 구조적 조건에서 달성되는가?
• RQ3 순서 10인 그래프에서 $e(G) = \frac{6}{5}v(G)$를 만족함에도 불구하고 이 경계가 실패하는 이유는 무엇인가?
• RQ4 generalized 3-connectivity $\kappa_3(G) = 2$에 대해 간선 수 경계에서 등호가 성립하는 필수 및 필요 조건은 무엇인가?
• RQ5 도수 분포와 정점 분할이 3-집합에 대한 내부적으로 분리된 트리의 존재에 어떤 영향을 미치는가?

주요 결과

• $\kappa_3(G) = 2$인 그래프의 최소 크기는 $e(G) \geq \frac{6}{5}v(G)$이며, 이 경계는 날카롭다.
• 등호는 정확히 $\frac{3}{5}v(G)$개의 도수 2 정점으로 이루어진 안정 집합이 존재하고, 나머지 모든 정점의 도수가 3이며, 고도수 집합 내부에 간선이 존재하지 않을 때에만 성립한다.
• $H_k$라는 그래프 가족은 $5k$개의 정점과 $6k$개의 간선을 가지며, 모든 $k \neq 2$에서 이 경계를 달성한다. 이는 경계의 날카로움을 증명한다.
• $k = 2$일 때, 그래프 $H_2$는 10개의 정점과 12개의 간선을 가지지만 $\kappa_3(H_2) = 1$을 만족한다. 이는 $\frac{6}{5}n$ 개의 간선이 $\kappa_3 = 2$를 보장하지는 않음을 보여준다.
• 모든 3정점 부분집합 $S$에 대해 두 개의 내부적으로 분리된 트리를 구성함으로써 $k \neq 2$일 때 $\kappa_3(H_k) = 2$임을 확인한다.
• 순서 10인 그래프에서는 이 경계를 달성할 수 없다. 10개의 정점과 12개의 간선을 가진 임의의 연결 그래프가 $\kappa_3 = 1$을 만족함으로써 반례가 제시된다.