Abstract:Depth first search is a fundamental graph problem having a wide range of applications. For a graph $G=(V,E)$ having $n$ vertices and $m$ edges, the DFS tree can be computed in $O(m+n)$ using $O(m)$ space where $m=O(n^2)$. In the streaming environment, most graph problems are studied in the semi-streaming model where several passes (preferably one) are allowed over the input, allowing $O(nk)$ local space for some $k=o(n)$. Trivially, using $O(m)$ space, DFS can be computed in one pass, and using $O(n)$ space, it can be computed in $O(n)$ passes. Khan and Mehta [STACS19] presented several algorithms allowing trade-offs between space and passes, where $O(nk)$ space results in $O(n/k)$ passes. They also empirically analyzed their algorithm to require only a few passes in practice for even $O(n)$ space. Chang et al. [STACS20] presented an alternate proof for the same and also presented $O(\sqrt{n})$ pass algorithm requiring $O(n~poly\log n)$ space with a finer trade-off between space and passes. However, their algorithm uses complex black box algorithms, making it impractical. We perform an experimental analysis of the practical semi-streaming DFS algorithms. Our analysis ranges from real graphs to random graphs (uniform and power-law). We also present several heuristics to improve the state-of-the-art algorithms and study their impact. Our heuristics improve state of the art by $40-90\%$, achieving optimal one pass in almost $40-50\%$ cases (improved from zero). In random graphs, they improve from $30-90\%$, again requiring optimal one pass for even very small values of $k$. Overall, our heuristics improved the relatively complex state-of-the-art algorithm significantly, requiring merely two passes in the worst case for random graphs. Additionally, our heuristics made the relatively simpler algorithm practically usable even for very small space bounds, which was impractical earlier.

A Topological Approach to Meta-heuristics: Analytical Results on the BFS vs. DFS Algorithm Selection Problem

Designing and implementing a heuristic cross-architecture combination for graph traversal.

Scaling Hop-Based Reachability Indexing for Fast Graph Pattern Query Processing

Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters

BFS versus DFS for random targets in ordered trees

Breadth-first heuristic search

A Meta-graph Approach to Analyze Subgraph-centric Distributed Programming Models

Choosing the Right Algorithm with Hints from Complexity Theory.

Optimizing Data Accesses for Breadth-First Search on Shared Memory Computers.

High-Performance Computing for Scheduling Decision Support: A Parallel Depth-First Search Heuristic

Expected Fitness Gains of Randomized Search Heuristics for the Traveling Salesperson Problem

Graphs where Search Methods are Indistinguishable

Parallel Cluster-BFS and Applications to Shortest Paths

Exploring search space trees using an adapted version of Monte Carlo tree search for combinatorial optimization problems

Unlimited Budget Analysis of Randomised Search Heuristics

Dilemma First Search for effortless optimization of NP-hard problems

Comparing Task Graph Scheduling Algorithms: An Adversarial Approach

Engineering Semi-streaming DFS algorithms

Approximation and Heuristic Algorithms for Probabilistic Physical Search on General Graphs

Local search for the Traveling Salesman Problem: A comparative study