3-SAT问题相关论文
量子计算是依赖于量子力学原理来获得解的一种新型计算模型,由于量子计算的并行计算能力,量子计算在解决某些特定问题时,它比经典......
可满足性（Satisfiability,SAT）问题是判定对于任意给定的一个合取范式（Conjunc-tive Normal Form,CNF）公式,是否存在对其变元的一个真......
作为自然计算的新领域,膜计算的目的是从生物细胞的结构和功能的模拟中,创建一种分布式并行计算模型,使得该模型具有良好的计算性......
在近半个世纪以来，算法研究始终是计算机科学研究的核心内容之一。 作为算法中的经典问题之一，可满足性问题(SAT)是人们证明的最......
可满足性问题(Satisfiability Problem,SAT)是计算科学的典型问题之一,目前有DP算法、SAT1.3算法和遗传算法等多种求解方法.文章根......
DNA计算是应用分子生物技术进行计算的新方法。应用形式语言及自动机理论技术研究DNA计算理论，有利于推动理论计算科学的发展。本文......
本文用遗传算法(GA)来求解3-SAT问题时在染色体的实现上采用新的方法;并且选用C#2.0作为实现工具实现该设计.最后用实验验证了该设......
可满足性问题（Satisfiability Problem，SAT）是计算科学的典型问题之一，目前有DP算法、SAT1．3算法和遗传算法等多种求解方法。文章根据Ke......
分析了二进制粒子群优化算法(BPSO)的缺陷。为克服此缺陷提出了“粒子位置的双重结构编码”的概念,以此为基础给出一种新的二进制......
基于遗传算法，采用二进制串对3-SAT问题进行编码，编码设计完全符合遗传算法的特点，在使用遗传算子的过程中不会出现非法编码，数据结构......
通过对遗传算法的改进，引入了聚类排序选择算子，将一个3-SAT的判定性问题转换成一个3-SAT的验证性问题，同时加快了算法的收敛程度，最后......
使用聚类排序选择方法的遗传算法，加入交叉算子和变异算子求解3-SAT问题。根据适应度函数及问题本身的特性，对阈值6进行调节，重新生成......
针对Hamming距离下的最短路逆问题，分析了最优解的性质，给出并证明了问题存在可行解的充分必要条件；利用把背包问题的实例多项式归约......
基于不同分配策略的云计算任务调度以及任务分配与调度的主要目的,提出了一种新的算法—求解3-SAT问题的基于任务分配与调度的GSAT......
