VaLiPro：面向集群计算系统的线性规划验证器
分布式、并行与集群计算
2021-11-29 v2
摘要
本文提出并评估了一种在集群计算系统上验证线性规划问题解的可扩展算法。该方法的核心思想是在待验证解点为中心、小半径超球面上生成规则点集（验证集）。对验证集中属于可行域的每个点计算目标函数。若所有这些值均小于或等于待验证点处的目标函数值，则该点为正确解。VaLiPro算法的并行实现通过并行BSF骨架以C++完成，该骨架封装了程序基于MPI并行化的所有相关方面。我们给出了在集群计算系统上的大规模计算实验结果，以研究VaLiPro算法的可扩展性。
引用
@article{arxiv.2106.05485,
title = {VaLiPro: Linear Programming Validator for Cluster Computing Systems},
author = {Leonid B. Sokolinsky and Irina M. Sokolinskaya},
journal= {arXiv preprint arXiv:2106.05485},
year = {2021}
}
备注
Submitted to "Supercomputing Frontiers and Innovations" journal