高级算法
文章平均质量分 74
牧之丶
但行好事,莫问前程。
展开
-
【高级算法】模拟退火算法解决3SAT问题(C++实现)
1 SAT问题描述命题逻辑中合取范式 (CNF)的可满足性问题 (SAT)是当代理论计算机科学的核心问题,是一典型的NP 完全问题.在定义可满足性问题SAT之前,先引进一些逻辑符号。2 模拟退火算法模拟退火算法来源于固体退火原理,将固体加温至充分高,再让其徐徐冷却,加温时,固体内部粒子随温升变为无序状,内能增大,而徐徐冷却时粒子渐趋有序,在每个温度都达到平衡态原创 2015-06-11 09:59:39 · 6273 阅读 · 1 评论 -
【高级算法】Lasvegas算法解决3SAT问题(C++实现代码)
1、一个 SAT 问题是指: 对于给定的 CNF 是否存在一组关于命题变元的真值指派使得A 为真. 显然, 如果A 为真, 则 CNF 的每个子句中必有一个命题变元为 1 (真) 。2、Las Vegas 算法是利用随机值做出随机选择的一种概率算法,并且不会产生不正确的答案。在计算过程中所做出的随机选择,可能使算法比其他算法更快地得到所要求的解。原创 2015-06-12 11:27:21 · 4074 阅读 · 1 评论 -
【高级算法】Lasvegas+回溯算法解决3SAT问题(C++实现)
1.SAT问题描述命题逻辑中合取范式 (CNF) 的可满足性问题 (SAT)是当代理论计算机科学的核心问题, 是一典型的NP 完全问题.在定义可满足性问题SAT之前,先引进一些逻辑符号。 一个 SAT 问题是指: 对于给定的 CNF 是否存在一组关于命题变元的真值原创 2015-06-15 21:04:22 · 7385 阅读 · 0 评论 -
【高级算法】遗传算法解决3SAT问题(C++实现)
1 SAT问题描述命题逻辑中合取范式 (CNF) 的可满足性问题 (SAT)是当代理论计算机科学的核心问题, 是一典型的NP 完全问题.在定义可满足性问题SAT之前,先引进一些逻辑符号。 一个 SAT 问题是指: 对于给定的 CNF 是否存在一组关于命题变元的真值指派使A为真. 显然,如A为真,则CNF的每个子句中必有一个命题变元为1(真)。2 遗传算法遗传算法类似于自然进化,通过作用于染原创 2015-07-21 13:57:23 · 4578 阅读 · 1 评论 -
高级算法课程(一):模拟退火算法SA()及其C++代码
这学期开了张老师高级算法的课,希望自己好好听课吸收,坚持编程实现每节课堂内容!SA()1 choose an initial solution X0 randomly2 give an initial temperature T0 , X ← X0, T ← T0 3 while the stop criterion is not yet satisfied do4原创 2014-03-01 11:56:57 · 3797 阅读 · 0 评论 -
【高级算法】单纯形法求解线性规划问题(C++实现)
1 单纯形法(1) 单纯形法是解线性规划问题的一个重要方法。 其原理的基本框架为: 第一步:将LP线性规划变标准型,确定一个初始可行解(顶点)。 第二步:对初始基可行解最优性判别,若最优,停止;否则转下一步。 第三步:从初始基可行解向相邻的基可行解(顶点)转换,且使目标值有所改善—目标函数值增加,重复第二和第三步直到找到最优解。 (2) 用程序进行运算前,要将目标函数及约束方程变成标准形原创 2015-07-16 19:40:28 · 40358 阅读 · 15 评论 -
模拟退火算法解决0-1背包问题的实现
模拟退火算法解决0-1背包问题的实现 1 0-1背包问题描述背包问题,是指从n件不同价值、不同重量物品中按一定的要求选取一部分物品,并使选中物品的价值之和为最大的问题。其形式化描述如下:给定一个物品集合s={1,2,…,n},物品i具有重量和价值。背包能承受的最大载重量不超过W。背包问题就是找到一个物品子集,使得并且满足如果进一步假定所有物品的重量、价值以及W都是正原创 2014-06-13 16:55:22 · 11367 阅读 · 0 评论 -
图像配准实现代码VC6.0移植VC2010问题总结
图像配准实现代码源自《精通Visual C++数字图像处理典型算法及实现》第十章 代码见底部下面是我把代码移植到VC2010过程中遇到的问题及解决办法1.“CWinApp::Enable3dControls”引起的C4996警告warning C4996: 'CWinApp::Enable3dControls': CWinApp::Enable3dControls is no原创 2014-02-25 18:28:01 · 1683 阅读 · 0 评论 -
【高级算法】禁忌搜索算法解决3SAT问题(C++实现)
最近准备,翻出了当年高级算法课程做的题目,禁忌搜索。吐槽:数学符号如何在编辑器里打出来啊,为了保留符号我直接截图了。2 禁忌搜索算法禁忌搜索算法是在局部搜索的过程中引进了贪心选择机制,并利用禁忌表修改邻域,通过构造的候选邻域来控制解得选择和接受过原创 2015-06-10 12:59:25 · 5445 阅读 · 0 评论 -
【高级算法】遗传,模拟退火,禁忌,Lasvegas等算法详解与实现
把之前高级算法系列博文整理如下,方便检索:【高级算法】禁忌搜索算法解决3SAT问题(C++实现)【高级算法】模拟退火算法解决3SAT问题(C++实现)【高级算法】Lasvegas算法解决3SAT问题(C++实现代码)【高级算法】Lasvegas+回溯算法解决3SAT问题(C++实现)【高级算法】单纯形法求解线性规划问题(C++实现)【高级算法】遗传算法解决3SAT问题(C++实现)模拟退火算法解决0原创 2015-09-06 09:49:50 · 1447 阅读 · 0 评论