[논문 리뷰] Generalized Measures of Fault Tolerance in (n,k)-star Graphs

Xiang-Jun Li, Jun‐Ming Xu|arXiv (Cornell University)|2012. 04. 06.

Interconnection Networks and Systems참고 문헌 6인용 수 3

한 줄 요약

이 논문은 (n,k)-스타 그래프의 h-슈퍼 연결성을 확립하며, 2 ≤ k ≤ n−1 및 0 ≤ h ≤ n−k일 때 κₛ⁽ʰ⁾(Sₙ,ₖ) = n + h(k−2)−1임을 증명한다. 이 결과는 이전의 고장 내성 측도를 일반화하며, 최소 차수 h를 유지하면서 그래프를 분리시키는 정점 제거의 정확한 임계값을 제공한다. 이는 구조적 분해와 부분그래프에 대한 귀납적 추론을 활용한다.

ABSTRACT

This paper considers a kind of generalized measure $κ_s^{(h)}$ of fault tolerance in the $(n,k)$-star graph $S_{n,k}$ and determines $κ_s^{(h)}(S_{n,k})=n+h(k-2)-1$ for $2 \leqslant k \leqslant n-1$ and $0\leqslant h \leqslant n-k$, which implies that at least $n+h(k-2)-1$ vertices of $S_{n,k}$ have to remove to get a disconnected graph that contains no vertices of degree less than $h$. This result contains some known results such as Yang et al. [Information Processing Letters, 110 (2010), 1007-1011].

연구 동기 및 목표

• 고전적 정점 연결성 이외의 (n,k)-스타 그래프에서의 고장 내성 측도를 일반화하기 위해.
• (n,k)-스타 그래프 Sₙ,ₖ에 대한 h-슈퍼 연결성 κₛ⁽ʰ⁾(G)을 규명하기 위해, 이는 잔류 그래프의 최소 차수가 h임을 보장하는 최소 정점 컷을 측정한다.
• 기존의 스타 그래프에 대한 κₛ⁽¹⁾(Sₙ) 및 κₛ⁽²⁾(Sₙ) 결과를 통합하고 확장하기 위해.
• 최소 차수 h를 유지해야 하는 고장 내성 제약 조건 하에서 고장 내성을 정확히 정량화하기 위한 분석 공식 제공하기 위해.

제안 방법

• 고정된 비트 위치를 통해 Sₙ,ₖ를 Sⁿ⁻¹ₖ₋₁로 분해하고, Sₙ₋₁,ₖ₋₁와의 동형성을 활용한다.
• 부분그래프에 대한 귀납적 추론을 적용하며, 고정된 비트 위치에 대해 정점들을 집합 Xᵢ 및 Yᵢ로 분할함으로써 정점 컷을 분석한다.
• 고정된 (k−1)-순열에 의해 유도되는 완전부분그래프 Kₙ₋ₖ₊₁ 및 부분그래프 간의 독립적인 스왑-에지에 대한 보조정리를 활용한다.
• 인덱스 집합 J′(자기 컷에 h−1개의 이웃을 가진 정점)의 크기에 따라 세 가지 경우로 나누어 분석하며, 스왑-에지 수에 대한 (n−2)!/(n−k)!의 경계를 적용한다.
• k=n−1일 때의 알려진 결과(스타 그래프)를 기저 사례로 활용하여 이전 연구와의 일관성을 검증한다.
• 모순 및 극값 추론을 통해 최소 컷 크기를 경계함으로써, 공식이 모든 매개변수 제약 조건 하에서 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 일반적인 h 및 k에 대해 (n,k)-스타 그래프 Sₙ,ₖ의 h-슈퍼 연결성은 무엇인가?
• RQ2 h-슈퍼 연결성은 (n,k)-스타 그래프에서 고전적 연결성과 1-슈퍼 연결성을 어떻게 일반화하는가?
• RQ3 (n,k)-스타 그래프의 고장 내성이 잔류 그래프가 최소 차수 h를 유지해야 할 경우 정확히 어떻게 측정할 수 있는가?
• RQ4 공식 κₛ⁽ʰ⁾(Sₙ,ₖ) = n + h(k−2)−1이 2 ≤ k ≤ n−1 및 0 ≤ h ≤ n−k의 전체 매개변수 범위에서 성립하는가?

주요 결과

• 2 ≤ k ≤ n−1 및 0 ≤ h ≤ n−k일 때 Sₙ,ₖ의 h-슈퍼 연결성은 정확히 n + h(k−2)−1이다.
• 이 결과는 Yang 등이 이전에 제시한 κₛ⁽¹⁾(Sₙ,ₖ) = n+k−3 및 κₛ⁽²⁾(Sₙ,ₖ) = n+2k−5의 결과를 일반화한다.
• k=n−1일 경우 공식은 κₛ⁽¹⁾(Sₙ) = 2n−4로 단순화되며, 기존의 스타 그래프 결과와 일치한다.
• 최소 차수 h를 유지하면서 그래프를 분리시키는 정점 컷 크기 n + h(k−2)−1를 구성함으로써 이 경계가 날카롭다는 것이 입증된다.
• 표준 스타 그래프 Sₙ에서는 h ≥ 3일 경우 공식이 성립하지 않음을 확인하여, 이 공식을 더 높은 h로 확장하는 데에는 한계가 있음을 시사한다.
• 증명은 부분그래프 Sⁿ⁻¹ₖ₋₁에 대한 귀납적 분해와 간선 수 계산 추론에 의존하며, 모든 유효한 매개변수 범위에서 공식이 확인된다.