A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations
Camille Coti, David Monniaux (VERIMAG - IMAG), Hang Yu

TL;DR
This paper introduces a task-based parallel approach to parametric linear programming, significantly improving efficiency for large problems and including a redundancy elimination algorithm, with thorough performance analysis.
Contribution
It presents a novel task-based parallel scheme for parametric linear programming with redundancy elimination, enhancing scalability and performance in polyhedral computations.
Findings
Achieved quasi-linear speedup on large problems
Developed a parallel redundancy elimination algorithm
Provided comprehensive performance analysis
Abstract
Parametric linear programming is a central operation for polyhedral computations, as well as in certain control applications.Here we propose a task-based scheme for parallelizing it, with quasi-linear speedup over large problems.This type of parallel applications is challenging, because several tasks mightbe computing the same region. In this paper, we are presenting thealgorithm itself with a parallel redundancy elimination algorithm, andconducting a thorough performance analysis.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Complexity and Algorithms in Graphs · Parallel Computing and Optimization Techniques
