Abstract:Finding small vertex covers in a graph has applications in numerous domains. Two common formulations of the problem include: Minimum Vertex Cover, which finds the smallest vertex cover in a graph, and Parameterized Vertex Cover, which finds a vertex cover whose size is less than or equal to some parameter $k$. Algorithms for both formulations traverse a search tree, which grows exponentially with the size of the graph or the value of $k$. Parallelizing the traversal of the vertex cover search tree on GPUs is challenging for multiple reasons. First, the search tree is a narrow binary tree which makes it difficult to extract enough sub-trees to process in parallel to fully utilize the GPU's resources. Second, the search tree is highly imbalanced which makes load balancing across a massive number of parallel GPU workers challenging. Third, keeping around all the intermediate state needed to traverse many sub-trees in parallel puts high pressure on the GPU's memory resources and may act as a limiting factor to parallelism. To address these challenges, we propose an approach to traverse the vertex cover search tree in parallel using GPUs while handling dynamic load balancing. Each thread block traverses a different sub-tree using a local stack, however, we also use a global worklist to balance load. Blocks contribute branches of their sub-trees to the global worklist on an as-needed basis, while blocks that finish their sub-trees get new ones from the global worklist. We use degree arrays to represent intermediate graphs so that the representation is compact in memory to avoid limiting parallelism, but self-contained which is necessary for load balancing. Our evaluation shows that compared to prior work, our hybrid approach of using local stacks and a global worklist substantially improves performance and reduces load imbalance, especially on difficult instances of the problem.

On the Relative Significance of Kernelization Versus Branching for Parallel FPT Implementations

Tuning the granularity of parallelism for distributed graph processing

Towards Systematic Parallel Programming of Graph Problems Via Tree Decomposition and Tree Parallelism

Parallelizing stateful operators in a distributed stream processing system: how, should you and how much?

Understanding Parallelism in Graph Traversal on Multi-Core Clusters

A Simple Yet Effective Balanced Edge Partition Model for Parallel Computing

A Distributed Graph-Parallel Computing System with Lightweight Communication Overhead

Parallel Vertex Cover Algorithms on GPUs

Parallel Strong Connectivity Based on Faster Reachability

Extending the Nested Parallel Model to the Nested Dataflow Model with Provably Efficient Schedulers

The Maximum Common Subgraph Problem: A Parallel and Multi-Engine Approach

An Efficient Dispatcher for Large Scale GraphProcessing on OpenCL-based FPGAs

Competitive Implementation of Parallel Programs

Parallel Minimum Spanning Tree Algorithms and Evaluation

Massively Parallel Computation in a Heterogeneous Regime

ParaGraph: Weighted Graph Representation for Performance Optimization of HPC Kernels

Assessing the Effectiveness of (Parallel) Branch-and-bound Algorithms

A Feasible Graph Partition Framework for Parallel Computing of Big Graph

K-way spectral graph partitioning for load balancing in parallel computing

Distributed And Parallel Low-Diameter Decompositions for Arbitrary and Restricted Graphs

An Evaluation of Massively Parallel Algorithms for DFA Minimization