一种求解多处理器过载调度问题最优解的确定性算法

摘要

本发明公开了一种求解多处理器过载调度问题最优解的确定性算法，该算法包括步骤(S1)确定调度问题，将调度问题的规则属性编码为MaxSAT硬子句；(S2)将调度目标编码为MaxSAT软子句；(S3)将步骤(S1)中得到的硬子句和步骤(S2)中得到的软子句通过合取运算符进行连接，从而得到MaxSAT问题；(S4)通过MaxSAT解算器计算出MaxSAT问题的最优解。通过上述方案，本发明达到了可以求得多处理器调度系统的最优调度方案的目的，具有很强的可扩展性、实用价值和推广价值。