[논문 리뷰] Spectral Sparsification of Graphs

Daniel A. Spielman, Shang‐Hua Teng|arXiv (Cornell University)|2008. 08. 29.

Advanced Graph Theory Research참고 문헌 28인용 수 18

한 줄 요약

이 논문은 그래프의 스펙트럴 스퍼스피케이션을 소개하며, 원본 그래프의 라플라시안 이차형식을 (1+ε) 근사로 유지하는 희소 부분그래프로 그래프를 근사화하는 방법을 제시한다. 모든 그래프는 Õ(n/ε²) 개의 간선을 가진 스펙트럴 스퍼스피케이터를 가지며, 이는 Õ(m) 시간 내에 구성 가능하다는 것을 증명한다. 이는 대각선 우세 행렬의 선형 시스템을 푸는 거의 선형 시간 알고리즘을 가능하게 한다.

ABSTRACT

We introduce a new notion of graph sparsificaiton based on spectral similarity of graph Laplacians: spectral sparsification requires that the Laplacian quadratic form of the sparsifier approximate that of the original. This is equivalent to saying that the Laplacian of the sparsifier is a good preconditioner for the Laplacian of the original. We prove that every graph has a spectral sparsifier of nearly linear size. Moreover, we present an algorithm that produces spectral sparsifiers in time $\softO{m}$, where $m$ is the number of edges in the original graph. This construction is a key component of a nearly-linear time algorithm for solving linear equations in diagonally-dominant matrcies. Our sparsification algorithm makes use of a nearly-linear time algorithm for graph partitioning that satisfies a strong guarantee: if the partition it outputs is very unbalanced, then the larger part is contained in a subgraph of high conductance.

연구 동기 및 목표

• 라플라시안 행렬의 스펙트럴 유사도를 기반으로 한 그래프 근사의 더 강력한 개념인 스펙트럴 스퍼스피케이션을 정의하고 체계화하기.
• 모든 가중치가 부여된 그래프에 대해 거의 선형 크기(Õ(n/ε²) 개 간선)의 스펙트럴 스퍼스피케이터가 존재함을 증명하기.
• 이러한 스퍼스피케이터를 구성하는 거의 선형 시간 알고리즘(Õ(m) 시간 복잡도)을 개발하기.
• 스펙트럴 스퍼스피케이터가 대각선 우세 행렬의 선형 시스템을 풀기 위한 효과적인 조건부 행렬로 기능함을 확립하기.
• 스퍼스피케이션 과정을 뒷받침하는 기본 알고리즘, 특히 거의 선형 시간 그래프 분할 루틴을 제공하기.

제안 방법

• 모든 실수 벡터에 대해 스퍼스피케이터의 라플라시안 이차형식이 원본 그래프의 것과 (1+ε) 요인 내로 근사되는 조건을 통해 스펙트럴 스퍼스피케이션을 정의하기.
• 재귀적 알고리즘 파이프라인 사용: 먼저 효과적 저항 비례 확률로 간선을 샘플링하고, 이후 무게 없는 스퍼스피케이션과 경계된 스퍼스피케이션을 적용하여 과도한 확대와 간선 수를 통제하기.
• 비균형 컷의 더 큰 부분에서 높은 컨덕턴스를 보장하는 거의 선형 시간 그래프 분할 알고리즘 ApproxCut 사용하기.
• 商 그래프의 스퍼스피케이터를 원본 그래프로 다시 매핑하기 위한 무작위 풀백 메커니즘 적용하여 간선 과도 확대가 유한하게 유지되도록 하기.
• 집중 불등식과 기대값 분석을 활용하여 최종 스퍼스피케이터에서 간선 과도 확대를 유한하게 제한하고, 각 간선당 O(min(d_u, d_v)/log²n) 이내로 유지됨을 증명하기.
• 최종 스퍼스피케이터가 원본 그래프와 스펙트럴 유사함을 이용하여 라플라시안 선형 시스템의 조건부 행렬로 활용 가능함을 확립하기.

실험 결과

연구 질문

• RQ1 모든 실수 벡터에 대해 원본 그래프의 라플라시안 이차형식을 (1+ε) 요인 내로 근사하는 희소 부분그래프를 구성할 수 있는가?
• RQ2 이러한 스펙트럴 스퍼스피케이터를 거의 선형 시간, 즉 Õ(m) 시간 내에 구성할 수 있는가? 여기서 m은 간선 수이다.
• RQ3 어떤 그래프의 구조적 성질(예: 컨덕턴스, 효과적 저항)이 거의 선형 크기의 스펙트럴 스퍼스피케이터를 구성하는 데 기여하는가?
• RQ4 스펙트럴 스퍼스피케이션은 컷 스퍼스피케이션 또는 스펙트럴 스펙트럴러와 비교해 어떤 정도의 근사 강도를 가지는가?
• RQ5 스펙트럴 스퍼스피케이터는 대각선 우세 행렬의 선형 시스템을 풀기 위한 효과적인 조건부 행렬로 사용될 수 있는가?

주요 결과

• 모든 가중치가 부여된 그래프는 Õ(n/ε²) 개의 간선을 가진 스펙트럴 스퍼스피케이터를 가지며, 이는 원본 그래프의 (1+ε)-스펙트럴 근사이다.
• 스퍼스피케이터는 원본 그래프의 간선 수 m에 대해 Õ(m) 시간 내에 구성 가능하다.
• 알고리즘은 어떤 간선의 과도 확대(즉, 해당 간선에 매핑되는 원본 간선 수)가 O(min(d_u, d_v)/log²(3n/p)²) 이내로 제한됨을 보장한다.
• 이 구성은 거의 선형 시간 그래프 분할 알고리즘인 ApproxCut에 의존하며, 이는 비균형 컷의 더 큰 부분에서 높은 컨덕턴스를 보장한다.
• 스펙트럴 스퍼스피케이션은 컷 스퍼스피케이션보다 엄밀히 강력하며, 섹션 5에서 컷 스퍼스피케이터가 스펙트럴 성질을 유지하지 못하는 반례를 제시함으로써 이를 입증한다.
• 결과는 대각선 우세 행렬의 선형 시스템을 풀기 위한 거의 선형 시간 알고리즘의 기초가 되며, 동반 논문 [ST08b]에서 이를 보여준다.