[논문 리뷰] Sharp Bounds for Bandwidth of Clique Products

Tanya Berger‐Wolf, Mitchell A. Harris|ArXiv.org|2003. 05. 28.

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

한 줄 요약

이 논문은 임의의 크기의 클리크들의 카티esian 곱으로 구성된 하밍 그래프의 대역폭을 최소화하기 위한 날카운 하한과 최적 알고리즘을 제시한다. 다차원 행렬에 수를 배열하는 방식으로 문제를 모델링함으로써, 클리크 크기에 비례하는 하이퍼큐브의 대역폭 스케일링을 통한 대역폭 하한을 도출하였으며, 크기가 다를 경우에도 거의 최적의 성능을 달성한다.

ABSTRACT

The bandwidth of a graph is the labeling of vertices with minimum maximum edge difference. For many graph families this is NP-complete. A classic result computes the bandwidth for the hypercube. We generalize this result to give sharp lower bounds for products of cliques. This problem turns out to be equivalent to one in communication over multiple channels in which channels can fail and the information sent over those channels is lost. The goal is to create an encoding that minimizes the difference between the received and the original information while having as little redundancy as possible. Berger-Wolf and Reingold [2] have considered the problem for the equal size cliques (or equal capacity channels). This paper presents a tight lower bound and an algorithm for constructing the labeling for the product of any number of arbitrary size cliques.

연구 동기 및 목표

• 임의의 크기의 클리크들의 카티esian 곱으로 형성된 하밍 그래프의 대역폭에 대해 날카운 하한을 확립하기.
• 이론적 하한에 가까운 대역폭을 달성하는 효율적인 레이블링 알고리즘을 설계하기.
• 이전의 동일한 크기의 클리크에 대한 결과를 더 복잡한 다름 크기의 클리크로 일반화하기.
• 가능한 패킷 손실이 있는 다중 채널 통신 시스템에서의 정보 손실 최소화라는 실용적 문제 해결하기.

제안 방법

• 저자들은 대역폭 최소화 문제를 1차원 부분행렬(선)을 따라 최대 차이를 최소화하도록 다차원 행렬에 수를 배열하는 문제로 모델링한다.
• 하한을 도출하기 위해 d차원 하이퍼큐브(K₂^d)의 대역폭과 각 클리크 크기의 절반의 정수부의 곱을 취한다.
• 레크ursive로 행렬의 각 상분면을 사전순서 기반으로 채우며, 클리크 크기가 홀수일 경우 중심 부분행렬에 특수한 처리를 한다.
• 상한은 상분면과 중심 부분행렬을 통한 선 전파 분석을 통해 유도되며, 클리크 크기가 짝수일 경우 거의 최적임을 보여준다.
• 모든 선을 통해 낮은 대역폭을 유지하기 위해 재귀적 분할과 모듈로 산술 기반의 레이블링을 사용한다.
• 이전의 동일한 크기의 클리크에 대한 결과를 일반화하기 위해, 클리크 차원에 따라 조정되는 크기 인식 재귀적 구성 방식을 도입한다.

실험 결과

연구 질문

• RQ1 임의의 크기의 클리크들의 카티esian 곱으로 형성된 하밍 그래프의 대역폭에 대해 가장 날카운 가능한 하한은 무엇인가?
• RQ2 이 하한에 가까운 대역폭을 달성하는 효율적인 레이블링 알고리즘을 구성할 수 있는가?
• RQ3 클리프 곱의 대역폭은 클리크의 크기와 수에 따라 어떻게 변화하는가?
• RQ4 클리크 크기가 홀수일 경우, 하한과 달성 가능한 상한 사이의 차이는 어떻게 되는가?
• RQ5 제안된 알고리즘이 클리크 크기가 다를 경우를 포함한 모든 구성에서 거의 최적성을 유지하는가?

주요 결과

• K_{n₁} × ⋯ × K_{n_d}의 대역폭에 대한 하한은 B(K₂^d) × ∏_{t=1}^d ⌊n_t/2⌋이며, 여기서 B(K₂^d)는 d차원 하이퍼큐브의 대역폭이다.
• 상한은 n₁이 짝수일 경우 B(K₂^d) × ∏_{t=1}^d ⌈n_t/2⌉ + n₁/2 - 1이며, n₁이 홀수일 경우 약간 더 복잡하다.
• 클리크 크기가 모두 짝수일 경우, 하한과 상한 사이의 차이는 최대 n₁/2 - 1이며, 전체 크기에 비해 무시할 만하다.
• 모든 클리크가 동일한 홀수 크기 n일 경우, 상한은 약 ∑_{r=1}^d n^r / (2√(r−1))이며, 하한은 약 n^d / (2√(d−1))이다.
• 무한히 많은 경우에서 상한과 하한이 거의 일치하므로, 상한이 거의 확실히 날카로울 것임을 시사한다.
• 제안된 알고리즘은 이론적 하한에 대해 작은 덧셈 갭 내에서 대역폭을 달성하여, 모든 구성에서 거의 최적임을 보여준다.