Balanced Bidirectional Breadth-First Search on Scale-Free Networks
Abstract
To find a shortest path between two nodes s0 and s1 in a given graph, a classical approach is to start a Breadth-First Search (BFS) from s0 and run it until the search discovers s1. Alternatively, one can start two Breadth-First Searches, one from s0 and one from s1, and alternate their layer expansions until they meet. This bidirectional BFS can be balanced by always expanding a layer on the side that has discovered fewer vertices so far. This usually results in significant speedups in real-world networks, and it has been shown that this indeed yields sublinear running time on scale-free graph models such as Chung-Lu graphs and hyperbolic random graphs. We improve this layer-balanced bidirectional BFS approach by using a finer balancing technique. Instead of comparing the size of the two BFS trees after each layer expansion, we perform this comparison after each vertex expansion. This gives rise to two algorithms that run faster than the layer-balanced bidirectional BFS on scale-free networks with power-law exponent τ ∈ (2,3). The first one is an approximate shortest-path algorithm that outputs a path of length at most 1 longer than the shortest path in time n(τ-2)/(τ-1)+o(1). The second one is an exact shortest-path algorithm running in time n1/2+o(1). These runtime bounds hold with high probability when s0 and s1 are chosen uniformly at random among the n vertices of the graph. We also develop an edge-balanced bidirectional BFS algorithm that works under adversarial conditions. This approximate shortest-path algorithm runs in time n1/2+o(1) with high probability when the adversary is allowed to choose s0 and s1 based on their (expected) degree. We complement our theoretical results with experiments on Chung-Lu graphs, Geometric Inhomogeneous Random Graphs, and real-world networks.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.