[논문 리뷰] Graph Clustering using Effective Resistance

Vedat Levi Alev, Nima Anari외 2명|arXiv (Cornell University)|2017. 11. 17.

Complexity and Algorithms in Graphs참고 문헌 16인용 수 9

한 줄 요약

이 논문은 가중치가 부여된 무방향 그래프를 분할하기 위한 다항식 시간 알고리즘을 제시한다. 이 알고리즘은 오직 일정한 비율의 간선 가중치만 제거함으로써 각 결과 클러스터의 유효 저항 지름이 유한함을 보장한다. 특히 평균 가중 차수의 역수의 δ³ 배 이내로 제한된다. 이 방법은 유효 저항과 낮은 도전도 집합 사이의 새로운 연결을 활용하여, 근사 품질에서 로그적 손실 없이 효율적인 분해를 가능하게 한다.

ABSTRACT

$ \def\vecc#1{\boldsymbol{#1}} $We design a polynomial time algorithm that for any weighted undirected graph $G = (V, E,\vecc w)$ and sufficiently large $δ> 1$, partitions $V$ into subsets $V_1, \ldots, V_h$ for some $h\geq 1$, such that $\bullet$ at most $δ^{-1}$ fraction of the weights are between clusters, i.e. \[ w(E - \cup_{i = 1}^h E(V_i)) \lesssim \frac{w(E)}δ;\] $\bullet$ the effective resistance diameter of each of the induced subgraphs $G[V_i]$ is at most $δ^3$ times the average weighted degree, i.e. \[ \max_{u, v \in V_i} \mathsf{Reff}_{G[V_i]}(u, v) \lesssim δ^3 \cdot \frac{|V|}{w(E)} \quad ext{ for all } i=1, \ldots, h.\] In particular, it is possible to remove one percent of weight of edges of any given graph such that each of the resulting connected components has effective resistance diameter at most the inverse of the average weighted degree. Our proof is based on a new connection between effective resistance and low conductance sets. We show that if the effective resistance between two vertices $u$ and $v$ is large, then there must be a low conductance cut separating $u$ from $v$. This implies that very mildly expanding graphs have constant effective resistance diameter. We believe that this connection could be of independent interest in algorithm design.

연구 동기 및 목표

• 일般적인 그래프에서 발생하는 기존 그래프 분해 방법의 한계, 즉 Ω(log n)의 근사 손실을 해결하기 위해.
• 효율 저항 지름을 구조적 성질로 사용함으로써 로그 인자에 의한 손실을 피할 수 있는 분해 알고리즘을 설계하기 위해.
• 오직 일정한 비율의 간선 가중치만 제거하면서도, 각 성분의 유효 저항 지름이 낮은 그래프 분할을 가능하게 하기 위해.
• 유효 저항과 그래프 도전도 사이의 이론적 연결을 수립하여, 약간의 확장성(확장성)이 있으면 유효 저항 지름이 작다는 것을 증명하기 위해.

제안 방법

• 모든 잔류 정점이 최소 차수 기준을 충족할 때까지, 낮은 차수를 가진 정점을 식별하고 그에 연결된 간선을 제거함으로써 그래프를 재귀적으로 분할하는 방식이다.
• 스펙트럼 기법을 사용하여 고유 저항이 높은 정점 쌍을 식별하고, 이를 낮은 도전도 컷을 통해 분리한다.
• 핵심 요소는 정리 2의推론이다. 이는 유효 저항이 높을 경우, 약간의 확장성 조건 하에 낮은 도전도 컷이 존재함을 보장한다.
• 아모르티제이션 토큰 기반 청산 체계를 사용하여 재귀 과정 중에 잘라낸 간선 총 가중치를 제한함으로써, 총 간선 가중치의 O(1/δ) 비율 이내로 제거됨을 보장한다.
• 목표 저항 지름 R과 간선 가중치 임계값 W에 따라 매개변수를 동적으로 조정함으로써, δ를 제어하여 간선 손실을 최적화한다.
• 최종적으로 각 클러스터의 유효 저항 지름이 O(δ³ · n/w(E)) 이내로 유지됨을 보장함으로써, 클러스터 품질과 간선 제거 사이의 근사 최적의 트레이드오프를 달성한다.

실험 결과

연구 질문

• RQ1 유효 저항 지름을 클러스터링 기준으로 사용할 경우, 로그 이하의 근사 손실을 갖는 그래프 분해가 가능할 수 있는가?
• RQ2 그래프에서 높은 유효 저항과 낮은 도전도 컷 사이에 증명 가능한 연결 고리가 존재하는가?
• RQ3 이 분해는 거의 선형 시간 내에서 계산 가능하며, 랜덤 스패닝 트리 생성에 유용한가?
• RQ4 유한한 유효 저항 지름은 Unique Games나 기타 NP-난이도 문제에 대해 더 빠른 알고리즘 가능성을 열어주는가?
• RQ5 모든 클러스터 간 컷이 흩어져 있는 k-분할 문제로 일반화할 수 있는가?

주요 결과

• 알고리즘은 그래프를 분할하기 위해 최대 O(w(E)/δ)의 간선 가중치를 제거하며, 각 클러스터의 유효 저항 지름은 최대 O(δ³ · n/w(E)) 이내로 유지된다.
• 모든 δ > 1에 대해, 총 간선 가중치의 δ⁻¹ 비율 이내로 손실이 발생함을 보장하며, 이는 n에 관계없이 일정한 요소의 간선 손실을 달성한다.
• 핵심 이론적 통찰은, 모든 작은 집합이 약간의 확장성(Φ(S) ≥ c / vol(S)^{1/2−ε})을 가지면, 임의의 두 정점 간 유효 저항이 O(1/εc²) · (1/deg(s)^{2ε} + 1/deg(t)^{2ε}) 이내로 제한됨을 보여준다.
• 증명은 큰 유효 저항이 낮은 도전도 컷의 존재를 암시함을 보이며, 전기 회로 이론과 그래프 확장성 성질 사이의 연결 고리를 확립한다.
• 알고리즘은 Õ(mn log(w(E)/min_e w(e))) 시간 내에 실행되며, 대규모 그래프에 대한 실용적 구현에 효과적이다.
• 결과적으로, 어떤 그래프가 일정한 비율의 간선을 제거하여 일정한 확산성 그래프로 분해될 수 없더라도, '전기적 성질'이 확산성과 유사한 성분들로 분해될 수 있음을 시사한다.