Abstract:The Linear Assignment Problem (LAP) is a fundamental combinatorial optimization problem with a wide range of applications. Over the years, significant progress has been made in developing efficient algorithms to solve the LAP, particularly in the realm of high-performance computing, leading to remarkable reductions in computation time. In recent years, hardware improvements in General Purpose Graphics Processing Units (GPGPUs) have shown promise in meeting the ever-increasing compute bandwidth requirements. This has attracted researchers to develop GPU-accelerated algorithms to solve the LAP. Recent work in the GPU domain has uncovered parallelism available in the problem structure to achieve significant performance improvements. However, each solution presented so far targets either sparse or dense instances of the problem and has some scope for improvement. The Hungarian algorithm is one of the most famous approaches to solving the LAP in polynomial time. Hungarian algorithm has classical O(N4) ( Munkres' ) and tree based O(N3) ( Lawler's ) implementations. It is well established that the Munkres' implementation is faster for sparse LAP instances while the Lawler's implementation is faster for dense instances. In this work, we blend the GPU implementations of Munkres' and Lawler's to develop a Hybrid GPU-accelerated solver for LAP that switches between the two implementations based on available sparsity. Also, we improve the existing GPU implementations to reduce memory contention, minimize CPU-GPU synchronizations, and coalesced memory access. The resulting solver (HyLAC) works faster than existing CPU/GPU LAP solvers for sparse as well as dense problem instances. HyLAC achieves a speedup of up to 6.14× over existing state-of-the-art GPU implementation when run on the same hardware. We also develop an implementation to solve a list of small LAPs (tiled LAP), which is particularly useful in the optimization domain. This tiled LAP solver performs 22.59× faster than the existing implementation.

GpuShareSat: a SAT solver using the GPU for clause sharing

FPGAs (Can Get Some) SATisfaction

An Efficient SAT-Based Test Generation Algorithm with GPU Accelerator

An Improved GPU-Based SAT Model Counter

On the Glucose SAT Solver

Shared SAT Solvers and SAT Memory in Distributed Business Applications

Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs

Solving MaxSAT with Matrix Multiplication

HordeSat: A Massively Parallel Portfolio SAT Solver

Accelerating an FPGA-Based SAT Solver by Software and Hardware Co-design

Accelerating Pcg Power/Ground Network Solver On Gpgpu

torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem

MallobSat: Scalable SAT Solving by Clause Sharing

Cache Performance Study of Portfolio-Based Parallel CDCL SAT Solvers

SMPP: Generic SAT Solver over Reconfigurable Hardware Accelerator

Automatic source code generation for deterministic global optimization with parallel architectures

Simultaneous Solving of Batched Linear Programs on a GPU

Improving GPU Performance Through Resource Sharing

HyLAC: Hybrid linear assignment solver in CUDA

A Mixed-Integer Quadratic Programming Solver Based on Gpu

GPU Accelerated Counterexample Generation in LTL Model Checking.