论文部分内容阅读
ＳＡＴ问题在人工智能、ＶＬＳＩ设计和计算机理论等领域有着广泛的应用背景，近年来，局部搜索算法在求解ＳＡＴ问题时得到了巨大的成功。本文除提出了多种改进策略之外，还对一般局部搜索算法进行了平均时间复杂性分析。
求解SAT问题的局部搜索算法及其平均时间复杂性分析
【摘 要】
：
ＳＡＴ问题在人工智能、ＶＬＳＩ设计和计算机理论等领域有着广泛的应用背景，近年来，局部搜索算法在求解ＳＡＴ问题时得到了巨大的成功。本文除提出了多种改进策略之外，还对一般局部搜索算法进行了平
【机 构】
：
中国科学院计算技术研究所,国家智能计算机研究开发中心
【出 处】
：
计算机学报
【发表日期】
：
1997年1期
其他文献
2013年12月18日，世界500强巨头拉法基在渝发布明年的发展计划，推出4款新型节能混凝土材料。拉法基中国区市场营销副总裁陈梅透露，这4款混凝土材料都是地道的“重庆造”，明年将在
班主任是学生成长、发展的引路人，是班级的组织者、教育者和指导者，是教育思想的贯彻者。班主任在学校全面贯彻教育方针，全面推行素质教育，促进学生的全面发展中具有不可替代的作
为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Ｐｅｔｒｉ网的图标编程系统。本文首先给出了四类基本图标的形式定义；接着，讨论了该系统各构件的功能并设计了网分析图的生
合作学习在英语课程改革教学中占有重要的地位，其作用能使学生在宽松、和谐合作氛围中完成学习任务。长期以来，教师讲、学生听，笔记记满一大本，这种教学形式虽然在知识传授方面有
这是人教九年级数学的一道复习题（其他版本的教材都有这道题），也曾是2011年青海中考题，它是一道应用“相似三角形对应高的比等于相似比”进行求解的问题．由此题衍生成的中考题和竞
随着墙体改革的发展,再生混凝土空心砌块的出现对建筑节能和墙体改革以及建筑废弃物综合治理具有重要的现实意义,介绍了新型绿色墙体材料再生混凝土空心砌块,从宏观经济性、
近年来,随着与自然灾害长期斗争中,我国的应急救援技术在不断成熟。工程机械作为其重要的应急救援力量,发挥着举足轻重的救援作用。本文通过对工程机械应急救援中实际情况进
笔者拜读了文献[1]后,对三种思路三种通法有了深刻的认识.杨老师非常精辟地提炼了利用“勾股定理”构造方程“求未知线段长”的思路的普遍运用而成为多数人自然想到的解法;“
遗传算法是影响遗传算法搜索性能的重要因素，本文研究交配算子与其搜索子空间的关系，提出了设计良好算子的指导性原则，并构造出一种启发式交配算子。
本文提出用高阶Ｈｏｐｆｉｅｌｄ神经网络求解ＳＡＴ问题，给出了连续及离散高阶神经网络模型与相应的离散快速求解算法，证明了网络的稳定性，并用实验证明了该方法的可行性，且将该算法与Ｌｏｃａｌ Ｓｅａｒｃｈ算法进行了比较