[논문 리뷰] Local Computation Algorithms for (Minimum) Spanning Trees on Expander Graphs

Pan Peng, Wang, Yuyang|arXiv (Cornell University)|2026. 02. 07.

Complexity and Algorithms in Graphs인용 수 0

한 줄 요약

이 논문은 확장 그래프에서 스패닝 트리와 MST를 위한 로컬 계산 알고리즘(LCAs)을 설계하여, 서브선형 프로브 복잡도와 Erdős-Rényi 그래프에서의 평균-사례 개선을 달성한다.

ABSTRACT

We study \emph{local computation algorithms (LCAs)} for constructing spanning trees. In this setting, the goal is to locally determine, for each edge $ e \in E $, whether it belongs to a spanning tree $ T $ of the input graph $ G $, where $ T $ is defined implicitly by $ G $ and the randomness of the algorithm. It is known that LCAs for spanning trees do not exist in general graphs, even for simple graph families. We identify a natural and well-studied class of graphs -- \emph{expander graphs} -- that do admit \emph{sublinear-time} LCAs for spanning trees. This is perhaps surprising, as previous work on expanders only succeeded in designing LCAs for \emph{sparse spanning subgraphs}, rather than full spanning trees. We design an LCA with probe complexity $ O\left(\sqrt{n}\left(\frac{\log^2 n}{ϕ^2} + d ight) ight)$ for graphs with conductance at least $ ϕ$ and maximum degree at most $ d $ (not necessarily constant), which is nearly optimal when $ϕ$ and $d$ are constants, since $Ω(\sqrt{n})$ probes are necessary even for expanders. Next, we show that for the natural class of \emph{\ER graphs} $ G(n, p) $ with $ np = n^δ $ for any constant $ δ> 0 $ (which are expanders with high probability), the $ \sqrt{n} $ lower bound can be bypassed. Specifically, we give an \emph{average-case} LCA for such graphs with probe complexity $ ilde{O}(\sqrt{n^{1 - δ}})$. Finally, we extend our techniques to design LCAs for the \emph{minimum spanning tree (MST)} problem on weighted expander graphs. Specifically, given a $d$-regular unweighted graph $\bar{G}$ with sufficiently strong expansion, we consider the weighted graph $G$ obtained by assigning to each edge an independent and uniform random weight from $\{1,\ldots,W\}$, where $W = O(d)$. We show that there exists an LCA that is consistent with an exact MST of $G$, with probe complexity $ ilde{O}(\sqrt{n}d^2)$.

연구 동기 및 목표

• 중앙 집중형 로컬 모델에서 스패닝 트리와 MST를 위한 LCAs를 동기부여하고 정의한다.
• 확장 그래프에 대해 증명 가능한 보장이 있는 서브선형 탐침 LCAs가 존재함을 보인다.
• G(n,p)에서 스패닝 트리에 대한 평균-사례 LCAs를 개발하고 이를 가중 확장 그래프의 MST에 적용하는 기술을 확장한다.
• 스패닝 구조에서 탐침 복잡도, 컨덕턴스, 차수 간의 트레이드오프를 분석한다.
• 무작위 그래프 모델에 대한 LCAs의 한계와 가능성에 대한 통찰을 제공한다.

제안 방법

• 도메인: φ의 컨덕턴스를 가진 d-제한 확장그래프에서, 스패닝 트리의 간선 포함 여부 질의에 대해 탐침 복잡도 O(sqrt(n)(log^2 n/φ^2 + d))인 LCA를 제안한다.
• 지연된 무작위 보행, 코어 트리, 사전 정의된 앵커 연결과 사전식 동점 해소를 사용하는 3단계의 전역 스패닝 트리 알고리즘을 구성한다.
• np = n^δ를 갖는 Erdős-Rényi 그래프 G(n,p)로 확장하여, 탐침 복잡도 ŋ~O(√(n^{1−δ}))인 평균-케이스 LCA를 얻는다.
• 가중치가 {1,...,W}, W = O(d)인 무작위 가중치 확장 그래프에서 정확한 MST를 계산하기 위한 기법을 적응시켜, 탐침 복잡도 ŋ~O(√n d^2)을 달성한다.
• 가중 확장 그래프에서 Kruskal에서 영감을 받은 계층별 레이어 방식으로 MST를 구성하고, 가중 계층의 계층적 관점과 기준이 되는 비가중 스패닝 트리를 활용한다.

실험 결과

연구 질문

• RQ1 LCAs가 서브선형 탐침으로 확장 그래프에서 (최소) 스패닝 트리를 계산할 수 있는가?
• RQ2 확장그래프의 스패닝 트리에 대해 달성 가능한 탐침 복잡도는 얼마이며, 컨덕턴스 φ와 차수 d가 그것에 어떻게 영향을 주는가?
• RQ3 평균-케이스 LCAs가 Erdős-Rényi 그래프 G(n,p)의 최악-케이스 하한보다 성능이 뛰어난가?
• RQ4 무작위 간선 가중치 하에서 가중 확장 그래프에 대해 정확한 MST를 산출하는 LCA가 존재하며, 그 탐침 복잡도는 얼마인가?
• RQ5 사전식 동점 해소와 앵커 구조가 LCAs의 지역성 및 일관성에 어떤 영향을 미치는가?

주요 결과

• 컨덕턴스가 최소 φ인 d-제한 그래프의 스패닝 트리에 대한 간선 포함 질의에 답하는 탐침 복잡도 O(√n( log^2 n/φ^2 + d ))인 LCA가 존재하며, 트리 깊이는 O(log n/φ^2)이다.
• np = n^δ (δ>0)인 G(n,p)에 대해, 스패닝 트리에 대한 평균-케이스 LCA가 존재하며 탐침 복잡도 ŋ~O(√(n^{1−δ})).
• δ→1일 때 탐침 복잡도는 다항로그 또는 상수에 근접하여 조밀 그래프에서 최악-케이스 확장 그래프보다 성능이 향상됨을 보여준다.
• 무작위 가중치가 {1,…,W}인 가중 확장 그래프에서 정확한 MST를 위한 LCA가 존재하며, 탐침 복잡도 ŋ~O(√n d^2)이다.
• MST 구성은 가중치에 따른 Kruskal에서 영감을 받은 계층화와 기준으로 사용할 비가중 스패닝 트리 참조 및 일관성을 유지하기 위한 순위 기반 선택을 활용한다.