基于任务分配与调度的GSAT算法求解3-SAT问题

GSAT algorithm based on task allocation and scheduling for solving the 3-SAT problem

基于不同分配策略的云计算任务调度以及任务分配与调度的主要目的,提出了一种新的算法—求解3-SAT问题的基于任务分配与调度的GSAT算法。该算法将3-SAT问题中的每一个变量形成一个任务,在GSAT算法的基础上,引入任务分配与调度指导贪心搜索;同时,在保留原有贪心搜索的前提下,根据任务分配与调度的思想和3-SAT问题的特点,设计了两种新的策略—分配策略和调度策略共同完成整个贪心搜索过程。以标准的SATLAB库中变量个数从20~250的3 700个不同规模的标准Uniform Random-3-SAT问题对新的算法的性能进行了合理的测试,并与高效和普通性能改进的GSAT算法的结果作了比较,结果表明,该算法具有更高的成功率和更少的翻转次数。

Based on different allocation strategies for cloud computing task scheduling and task allocation and scheduling,a new algorithm—a GSAT algorithm based on task allocation and scheduling for solving the 3-SAT problem is proposed.The algorithm forms a task for each variable in the 3-SAT problem.Based on the GSAT algorithm,task allocation and scheduling is introduced to guide the greedy search.Meanwhile,under the premise of keeping the original greedy search,according to the idea of task allocation and scheduling and the characteristics of the 3-SAT problem,two new strategies（allocation strategy and scheduling strategy）are designed to complete the whole greedy search process together.In the experiments,3700 standard Uniform Random-3-SAT problems with the variable number from20 to 250 in SATLAB library were used to evaluate the performance of the new algorithm.Moreover,the new algorithm was compared with the improved GSAT algorithms with high performance and common performance.Experimental results show that the new algorithm has a higher success rate and fewer changes.