暂无评论
sat problem 模拟退火算法接近Sat问题
2sat问题的课件，讲解细致易懂！acm/icpc用
这是关于蚁群算法的一个文档，
里面包含了13组数据，来测试自己的速度，数据格式里面有解释。
基于“聚类排序选择”优化遗传算法求解SAT问题时，引入交叉算子和变异算子，并根据适应度函数及问题本 身特性，调节阅值艿，生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛，从而保证了为可满足性公
非原创,仅供学习交流用。 2-sat不是NPC的！
有2-SAT图的介绍与解法，有详细的例题讲解。仙人掌图的判断方法与其3个性质，最后还附上模板。
sat2r06.pdf scsi如何转化成ATA的协议。
acis的sat文件格式说明
DB2DB2-CLIENT-Sat Jan 30 11_48_21 2010.log Test sourse
暂无评论