求解SAT问题的退火遗传算法

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:shyibow
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出一种将遗传算法与模拟退火算法相结合的SAT问题求解算法SAT-SAGA.该算法以遗传算法流程为主体,并把模拟退火机制融入其中,用以调整优化群体,防止陷入局部最优和出现早熟;在进化过程中算法采用了最优染色体保存策略,防止进化过程的发散.实验表明:该算法在求解速度、成功率和求解问题的规模等方面都有明显的改善.
其他文献
提出一种基于密度的实时数据流聚类算法RTCS.算法采用在线/离线双层框架,它在前台在线层快速实时地将到达的数据点放入相应的单元格,对多维数据和空间单元格动态计算密度.在
红花玉兰是马履一、王罗荣等在湖北五峰发现的木兰科新种,因其分布地域的特殊性,分布范围的狭窄性,数量的稀缺性,种群的濒危性,以及极高的观赏价值与巨大的经济价值,急需进行
针对大规模数据分类中训练集分解导致的分类器泛化能力下降问题,提出基于训练集平行分割的集成学习算法.它采用多簇平行超平面对训练集实施多次划分,在各次划分的训练集上采用一
世事变化真快呀,买盗版盘早已是一件OUT的事;电驴、迅雷们不撒“种子”网民们也不在乎了,找兄弟们要视频种子的链接地址更是丢人的事。这全要托那些土豪网站的福,各大视频网站把
镁盐主要有硫酸镁、门冬氨酸钾镁、氧化镁及枸橡酸镁,临床常用者为硫酸镁。该药最早用于导泻、利胆、后又用于抗高血压、破伤风及妊娠中毒症;近年临床又陆续发现了许多新用途
春晚之于中国人,实在是过年不可缺少的一道主莱。春晚伴随着中国人从大年三十跨入新的一年。每年大年三十年夜饭后,家庭成员围坐一堂欢乐融融,随着春晚主持人喜气洋洋的现身,年前
目的:对治疗急性胆囊炎的疗效进行分析。方法:选择急性胆囊炎患者35例,所有患者均在腹腔镜下行胆囊切除术,评估患者的治疗效果。结果:35例患者,完成腹腔镜下胆囊切除术34例,成功率为
春秋初期,齐桓公成为春秋五霸之一,声威大震,中原各诸侯没有不服从他的。但南方楚国的国力也在不断增强,楚王不但不服齐桓公,还要与他抗衡。公元前656年,齐桓公率领齐、鲁、
目的:探讨分析交通事故伤员院前现场急救方法,确保患者生命抢救成功率得到提高.方法:选取院前现场救治的交通事故伤员120例作为研究对象,随机分为研究组和对照组各60例,实施不
沙芥属植物是集药用、饲用、保健、防风固沙为一体的多功能沙生蔬菜,属于十字花科二年生草本植物,是蒙古高原沙地特有属,包括沙芥和斧翅沙芥(斧形类型、宽翅类型、距果类型和