[논문 리뷰] A survey on the generalized connectivity of graphs

Xueliang Li, Yaping Mao|arXiv (Cornell University)|2012. 07. 08.

Interconnection Networks and Systems참고 문헌 97인용 수 19

한 줄 요약

이 종합적 서베이는 그래프에서 일반화된 연결성과 간선연결성을 포괄적으로 개괄하며, 고전적 연결성의 자연스러운 연장선으로서 $\kappa_k(G)$와 $\lambda_k(G)$의 개념을 도입한다. 임의의 $k$-정점 부분집합에 대해 $\ell$ 개의 간선 분리 스티너 트리가 존재하도록 보장하는 $n$ 개의 정점을 가진 그래프에서 최소 간선 수에 대해 정확한 값을 $f(n,k,\ell) = (k-1)\ell + n - k$ 로 설정하고, 모든 이러한 최적 그래프가 세 가지 특정 연산을 사용하여 초기 별기반 그래프에서 구성될 수 있음을 증명한다.

ABSTRACT

The generalized $k$-connectivity $κ_k(G)$ of a graph $G$ was introduced by Hager before 1985. As its a natural counterpart, we introduced the concept of generalized edge-connectivity $λ_k(G)$, recently. In this paper we summarize the known results on the generalized connectivity and generalized edge-connectivity. After an introductory section, the paper is then divided into nine sections: the generalized (edge-)connectivity of some graph classes, algorithms and computational complexity, sharp bounds of $κ_k(G)$ and $λ_k(G)$, graphs with large generalized (edge-)connectivity, Nordhaus-Gaddum-type results, graph operations, extremal problems, and some results for random graphs and multigraphs. It also contains some conjectures and open problems for further studies.

연구 동기 및 목표

• 고전적 연결성 개념을 확장하여 일반화된 연결성 $\kappa_k(G)$와 일반화된 간선연결성 $\lambda_k(G)$에 관한 알려진 결과들을 체계화하고 요약하기.
• 실제로 강건한 네트워크 설계가 요구하는 바를 충족시키기 위해, 주어진 $k$-정점 부분집합에 대해 $\ell$ 개의 간선 분리 스티너 트리를 보장하기 위해 필요한 최소 간선 수를 규명하기.
• 간선 수에 대한 이론적 하한을 달성하는 $(k,\ell)$-최소 연결 그래프의 구조를 규명하기.
• 일반화된 연결성 분야에서의 열린 문제들과 추측들을 종합하여 향후 연구의 기초를 마련하기.

제안 방법

• 정점 제거 후 최소 $k$ 개의 연결 요소 또는 $k$ 개 미만의 정점을 남기도록 보장하는 최소 수의 정점을 제거할 때의 일반화된 $k$-연결성 $\kappa_k(G)$를 도입한다.
• 간선 제거에 대해 유사하게 정의된 일반화된 간선연결성 $\lambda_k(G)$를 제안하며, 제거 후 최소 $k$ 개의 연결 요소를 확보한다.
• 순서 $n$ 인 연결 그래프에서 어떤 $k$-부분집합 $S$에 대해 $\ell$ 개의 간선 분리 $S$-스티너 트리가 포함된 최소 간선 수를 나타내는 매개변수 $f(n,k,\ell)$를 제안한다.
• 별 $K_{1,k-1}$ 의 각 간선을 $\ell$ 개의 평행 간선으로 대체하여 $\ell$ 개의 간선 분리 $K_{1,k-1}$ 트리를 형성하는 $(k,\ell)$-초기 그래프를 정의한다.
• 모든 최적 그래프를 생성하기 위한 세 가지 그래프 연산—연산 I(사이클 생성 및 간선 제거), 연산 II(한 명의 이웃을 가진 정점 분할), 연산 III(두 명의 이웃을 가진 정점 분할)—을 정의한다.
• 모든 $(k,\ell)$-최소 연결 그래프는 이 세 가지 연산의 순서를 통해 초기 그래프에서 구성될 수 있음을 증명한다.

실험 결과

연구 질문

• RQ1 순서 $n$ 인 연결 그래프에서 임의의 $k$-정점 부분집합에 대해 $\ell$ 개의 간선 분리 스티너 트리를 보장하기 위해 필요한 최소 간선 수는 얼마인가?
• RQ2 $\ell$ 개의 간선 분리 스티너 트리를 위한 이론적 하한을 달성하는 그래프의 구조는 무엇인가?
• RQ3 모든 이러한 최적 그래프는 기초 구조에서 체계적으로 어떻게 생성할 수 있는가?
• RQ4 일반화된 연결성과 간선연결성과 관련된 날카운 경계와 계산 복잡도는 무엇인가?
• RQ5 일반화된 연결성에 대해 다양한 그래프 클래스에서 노르도하우스-가덤 타입 부등식과 최적 결과는 무엇이 성립하는가?

주요 결과

• 순서 $n$ 에 대해 $3 \leq k \leq n$ 인 경우 최소 간선 수의 정확한 값은 $f(n,k,\ell) = (k-1)\ell + n - k$ 이다.
• 모든 $(k,\ell)$-최소 연결 그래프는 연산 I, II, III의 순서를 통해 $(k,\ell)$-초기 그래프에서 구성될 수 있다.
• $(k,\ell)$-초기 그래프는 중심 정점과 $k-1$ 개의 잎을 $\ell$ 개의 평행 간선으로 연결하여 $\ell$ 개의 간선 분리 별 트리를 형성한다.
• 연산 I는 트리를 수정하기 위해 간선을 추가하여 사이클을 만들고, 다른 간선을 제거하여 트리의 구조를 유지한다.
• 연산 II는 정점을 두 개로 분할하여 연결성을 유지하고, $S$-트리 성질을 유지하면서 구조적 정교화를 가능하게 한다.
• 연산 III는 유사한 정점 분할을 수행하지만 두 새 정점 간에 간선을 연결하여 더 복잡한 그래프 변환을 가능하게 한다.