贪心算法不能用来解决离散物品问题的原因是我们无法将“ 半台电视” 放入背包。 规则是按照物品价值高低顺序放入背包。 ...
分类：
编程语言 时间：
2016-04-16 22:54:15
阅读次数：
258
推荐职位： C语言高级工程师，月薪：￥15000 - 25000，坐标：北京 高级算法研究员，月薪：￥25000 - 40000，坐标：北京 （要求硕士学历） IM（客户端）工程师￥20000 - 30000 IOS高级开发工程师，月薪：￥15000 -...
分类：
其他好文 时间：
2015-08-04 11:30:27
阅读次数：
138
1 单纯形法（1） 单纯形法是解线性规划问题的一个重要方法。
其原理的基本框架为：
第一步：将LP线性规划变标准型，确定一个初始可行解（顶点）。
第二步：对初始基可行解最优性判别，若最优，停止；否则转下一步。
第三步：从初始基可行解向相邻的基可行解（顶点）转换，且使目标值有所改善—目标函数值增加，重复第二和第三步直到找到最优解。
（2） 用程序进行运算前，要将目标函数及约束方程变成标准形...
分类：
编程语言 时间：
2015-07-16 22:21:10
阅读次数：
286
1 SAT问题描述命题逻辑中合取范式 (CNF) 的可满足性问题 (SAT)是当代理论计算机科学的核心问题, 是一典型的NP 完全问题.在定义可满足性问题SAT之前，先引进一些逻辑符号。
一个 SAT 问题是指: 对于给定的 CNF 是否存在一组关于命题变元的真值指派使A为真. 显然,如A为真,则CNF的每个子句中必有一个命题变元为1(真)。2 遗传算法遗传算法类似于自然进化，通过作用于染...
分类：
编程语言 时间：
2015-07-16 14:05:32
阅读次数：
224
1.SAT问题描述命题逻辑中合取范式 (CNF) 的可满足性问题 (SAT)是当代理论计算机科学的核心问题, 是一典型的NP 完全问题.在定义可满足性问题SAT之前，先引进一些逻辑符号。
一个 SAT 问题是指: 对于给定的 CNF 是否存在一组关于命题变元的真值...
分类：
编程语言 时间：
2015-06-15 22:09:02
阅读次数：
184
??
构造Half(L)的NFA
搬运自我的百度空间
原创文章，转贴请贴出处
偶尔来点纯理论问题。这是一道高级算法作业题，L是正则语言，语言B是L中所有字符串对半开的前一半，证明B也是正则的。
目的明确，构造B的一台NFA，非确定型有限状态机。
要用到“平行NFA”的概念。比如举例另外一个问题：如何判断一个字符串既是正则语言A又是正则语言B？可以...
分类：
其他好文 时间：
2015-06-14 09:28:44
阅读次数：
1306
1、一个 SAT 问题是指: 对于给定的 CNF 是否存在一组关于命题变元的真值指派使得A 为真. 显然, 如果A 为真, 则 CNF 的每个子句中必有一个命题变元为 1 (真) 。
2、Las Vegas 算法是利用随机值做出随机选择的一种概率算法，并且不会产生不正确的答案。在计算过程中所做出的随机选择，可能使算法比其他算法更快地得到所要求的解。...
分类：
编程语言 时间：
2015-06-12 11:41:55
阅读次数：
209
1 SAT问题描述
命题逻辑中合取范式 (CNF)
的可满足性问题 (SAT)是当代理论计算机科学的核心问题,
是一典型的NP 完全问题.在定义可满足性问题SAT之前，先引进一些逻辑符号。
2 模拟退火算法
模拟退火算法来源于固体退火原理，将固体加温至充分高，再让其徐徐冷却，加温时，固体内部粒子随温升变为无序状，内能增大，而徐徐冷却时粒子渐趋有序，在每个温度都达到平衡态...
分类：
编程语言 时间：
2015-06-11 11:09:22
阅读次数：
462
最近准备，翻出了当年高级算法课程做的题目，禁忌搜索。
吐槽：数学符号如何在编辑器里打出来啊，为了保留符号我直接截图了。
2 禁忌搜索算法
禁忌搜索算法是在局部搜索的过程中引进了贪心选择机制，并利用禁忌表修改邻域，通过构造的候选邻域来控制解得选择和接受过...
分类：
编程语言 时间：
2015-06-10 14:16:49
阅读次数：
136
今天实现了一个简单变形器，可以用一个网格的形状影响另一个网格的形状。如图，蓝色网格的形状被灰色网格操控。当前的算法非常简单，就是计算蓝色网格每个点到灰色网格每个点的距离，以距离x次方的倒数作为权重。没有使用均值坐标等高级算法。cage deformer节点的参数如下：max neighbour是影响...
分类：
其他好文 时间：
2015-02-11 15:53:00
阅读次数：
214
