Constant Approximation of Arboricity in Near-Optimal Sublinear Time

TL;DR

This paper introduces a randomized algorithm that efficiently approximates a graph's arboricity within a constant factor using nearly optimal sublinear queries, improving upon previous logarithmic approximations.

Contribution

The paper presents a novel parallel recursive approach with scheduling to achieve near-optimal constant approximation of arboricity in sublinear time, addressing probabilistic recursion challenges.

Findings

Achieves constant approximation with $ ilde{O}(n/ ext{arboricity})$ queries

Runs multiple recursions in parallel to reduce error probability

Demonstrates the effectiveness of scheduling in probabilistic sublinear algorithms

Abstract

We present a randomized algorithm that computes a constant approximation of a graph's arboricity, using $\tilde{O}(n/\lambda)$ queries to adjacency lists and in the same time bound. Here, $n$ and $\lambda$ denote the number of nodes and the graph's arboricity, respectively. The $\tilde{O}(n/\lambda)$ query complexity of our algorithm is nearly optimal. Our constant approximation settles a question of Eden, Mossel, and Ron [SODA'22], who achieved an $O(\log^2 n)$ approximation with the same query and time complexity and asked whether a better approximation can be achieved using near-optimal query complexity. A key technical challenge in the problem is due to recursive algorithms based on probabilistic samplings, each with a non-negligible error probability. In our case, many of the recursions invoked could have bad probabilistic samples and result in high query complexities. The particular difficulty is that those bad recursions are not easy or cheap to detect and discard. Our approach runs multiple recursions in parallel, to attenuate the error probability, using a careful \textit{scheduling mechanism} that manages the speed at which each of them progresses and makes our overall query complexity competitive with the single good recursion. We find this usage of parallelism and scheduling in a sublinear algorithm remarkable, and we are hopeful that similar ideas may find applications in a wider range of sublinear algorithms that rely on probabilistic recursions.