[논문 리뷰] The generalized connectivity of complete bipartite graphs

Shasha Li, Wei Li외 1명|arXiv (Cornell University)|2010. 12. 28.

Interconnection Networks and Systems참고 문헌 2인용 수 37

한 줄 요약

이 논문은 일반화된 연결성의 개념을 확장하여, 모든 $k \in [2, a+b]$에 대해 완전 이분 그래프 $K_{a,b}$의 $k$-연결성을 결정한다. 먼저 $K_{a,b}$가 정확히 $\lfloor ab/(a+b-1) \rfloor$ 개의 간선으로 분리된 스패닝 트리를 포함한다는 것을 증명한 후, $a-b+k$의 기수성과 $k$가 $b-a+2$에 비해 어떤 값인지에 따라 달라지는 닫힌 형태의 표현식을 유도한다. 이는 임의의 $k$-정점 부분집합을 연결하는 최소 간선으로 분리된 트리의 수를 정확히 제공한다.

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$. Moreover, $κ_{n}(G)$ is the maximum number of edge-disjoint spanning trees of $G$. This paper mainly focus on the $k$-connectivity of complete bipartite graphs $K_{a,b}$. First, we obtain the number of edge-disjoint spanning trees of $K_{a,b}$, which is $\lfloor\frac{ab}{a+b-1} floor$, and specifically give the $\lfloor\frac{ab}{a+b-1} floor$ edge-disjoint spanning trees. Then based on this result, we get the $k$-connectivity of $K_{a,b}$ for all $2\leq k \leq a+b$. Namely, if $k>b-a+2$ and $a-b+k$ is odd then $κ_{k}(K_{a,b})=\frac{a+b-k+1}{2}+\lfloor\frac{(a-b+k-1)(b-a+k-1)}{4(k-1)} floor,$ if $k>b-a+2$ and $a-b+k$ is even then $κ_{k}(K_{a,b})=\frac{a+b-k}{2}+\lfloor\frac{(a-b+k)(b-a+k)}{4(k-1)} floor,$ and if $k\leq b-a+2$ then $κ_{k}(K_{a,b})=a. $

연구 동기 및 목표

• 모든 $k \in [2, a+b]$에 대해 완전 이분 그래프에서 $k$-연결성 $\kappa_k(K_{a,b})$를 결정하는 것.
• $K_{a,b}$에 포함된 간선으로 분리된 스패닝 트리의 정확한 수를 확립하는 것. 이는 $\lfloor ab/(a+b-1) \rfloor$로 주어진다.
• $K_{a,b}$에 $\lfloor ab/(a+b-1) \rfloor$ 개의 간선으로 분리된 스패닝 트리를 명시적으로 구성하는 것.
• $a$, $b$, $k$의 값에 기반한 $\kappa_k(K_{a,b})$의 닫힌 형태 표현식을 도출하는 것. 특히 $a-b+k$의 기수성과 임계값 $k \leq b-a+2$에 따른 경우를 구분하는 것.

제안 방법

• 저자들은 $k$-정점 부분집합 $S$를 연결하는 간선으로 분리된 트리의 최대 수를 $\kappa(S)$로 정의하며, 트리는 $S$ 이외의 부분에서 내부적으로 분리되어 있다.
• 인접도-도수 목록을 사용하여 $K_{a,b}$에 $\lfloor ab/(a+b-1) \rfloor$ 개의 간선으로 분리된 스패닝 트리를 명시적으로 구성한다. 이는 모든 정점이 커버되고 간선이 중복되지 않도록 보장한다.
• $k$-연결성 $\kappa_k(G)$는 모든 $k$-부분집합 $S$에 대해 $\kappa(S)$의 최솟값으로 계산되며, 대칭성에 기반한 추론을 통해 $\kappa(S_{k-i}) \geq \kappa(S_i)$임을 보여, 탐색 공간을 $i \leq \lfloor k/2 \rfloor$로 줄인다.
• 상황에 따라 $k$가 $b-a+2$에 비해 어떤가에 따라 세 가지 경우로 나누어 분석한다. $a-b+k$의 기수성과 부등식을 사용한 최소화된 트리 수의 경계를 구하기 위해 floor 함수를 포함한 조각 함수 표현식을 도출한다.
• 유도 과정은 $\kappa(S_i)$와 $\kappa(S_{i+1})$를 비교하여 단조성의 성질을 보여주며, 최솟값이 $k$-연결성임을 확인한다.
• 최종 공식은 $k = a+b$일 때 알려진 결과 $\kappa_{a+b}(K_{a,b}) = \lfloor ab/(a+b-1) \rfloor$와 일관됨을 보여 검증된다.

실험 결과

연구 질문

• RQ1 완전 이분 그래프 $K_{a,b}$에 포함된 간선으로 분리된 스패닝 트리의 최대 수는 얼마인가?
• RQ2 $2 \leq k \leq a+b$ 범위에서 $k$-연결성 $\kappa_k(K_{a,b})$는 $k$, $a$, $b$에 따라 어떻게 변화하는가?
• RQ3 $a-b+k$의 기수성과 $k$가 $b-a+2$에 비해 어떤가에 따라 구분되는 닫힌 형태의 표현식을 $\kappa_k(K_{a,b})$에 대해 도출할 수 있는가?
• RQ4 임의의 $k$-정점 부분집합을 연결하는 간선으로 분리된 트리의 최소 수는 얼마이며, 이는 어떻게 결정되는가?

주요 결과

• $K_{a,b}$에 포함된 간선으로 분리된 스패닝 트리의 수는 정확히 $\lfloor ab/(a+b-1) \rfloor$이며, 이는 $\kappa_{a+b}(K_{a,b})$와도 같다.
• $k \leq b - a + 2$일 경우, $K_{a,b}$의 $k$-연결성은 $\kappa_k(K_{a,b}) = a$로, $k$에 관계없이 동일하다.
• $k > b - a + 2$ 이며 $a - b + k$가 홀수일 경우, $\kappa_k(K_{a,b}) = \frac{a+b-k+1}{2} + \left\lfloor \frac{(a-b+k-1)(b-a+k-1)}{4(k-1)} \right\rfloor$.
• $k > b - a + 2$ 이며 $a - b + k$가 짝수일 경우, $\kappa_k(K_{a,b}) = \frac{a+b-k}{2} + \left\lfloor \frac{(a-b+k)(b-a+k)}{4(k-1)} \right\rfloor$.
• $\kappa_k(K_{a,b})$에 대한 유도된 공식은 $k = a+b$일 때 알려진 결과와 일관되며, 정확성을 확인한다.
• 모든 $k$-부분집합 $S$에 대해 $\kappa(S)$의 최솟값은 대칭적 구성에서 달성되며, 분석은 대칭성과 단조성을 활용하여 탐색 공간을 줄이는 데 기여한다.