1.SAT问题描述命题逻辑中合取范式 (CNF) 的可满足性问题 (SAT)是当代理论计算机科学的核心问题, 是一典型的NP 完全问题.在定义可满足性问题SAT之前，先引进一些逻辑符号。
一个 SAT 问题是指: 对于给定的 CNF 是否存在一组关于命题变元的真值...
分类：
编程语言 时间：
2015-06-15 22:09:02
阅读次数：
184
1 SAT问题描述
命题逻辑中合取范式 (CNF)
的可满足性问题 (SAT)是当代理论计算机科学的核心问题,
是一典型的NP 完全问题.在定义可满足性问题SAT之前，先引进一些逻辑符号。
2 模拟退火算法
模拟退火算法来源于固体退火原理，将固体加温至充分高，再让其徐徐冷却，加温时，固体内部粒子随温升变为无序状，内能增大，而徐徐冷却时粒子渐趋有序，在每个温度都达到平衡态...
分类：
编程语言 时间：
2015-06-11 11:09:22
阅读次数：
462
P:能在多项式时间内解决的问题 NP: 不能在多项式时间内解决或不确定能不能在多项式时间内解决，但能在多项式时间验证的问题 NPC: NP完全问题，所有NP问题在多项式时间内都能约化(Reducibility)到它的NP问题，即解决了此NPC问题，所有NP问题也都得到解决。 NP ha...
分类：
其他好文 时间：
2015-06-06 22:05:22
阅读次数：
113
P: 能在多项式时间内解决的问题 NP: 不能在多项式时间内解决或不确定能不能在多项式时间内解决，但能在多项式时间验证的问题 NPC: NP完全问题，所有NP问题在多项式时间内都能约化(Reducibility)到它的NP问题，即解决了此NPC问题，所有NP问题也都得到解决。 NP hard:NP难...
分类：
其他好文 时间：
2015-05-26 20:57:40
阅读次数：
128
欧几里得旅行商问题 是对平面上给定的n个点确定一条连接各点的最短闭合旅程的问题。图a给出了7个点问题的解，这个问题的一般形式是NP完全的,故其解需要多于多项式的时间。 J.K.Bentley建议通过只考虑双调旅程来简化问题，这种旅程即为从最左点开始，严格从左到最右点，再严格地从最右点回到最左点...
分类：
编程语言 时间：
2015-03-17 23:22:30
阅读次数：
1208
这个是我在网上找到的背包九讲，写的非常好：背包问题(Knapsack problem)是一种组合优化的NP完全问题。问题可以描述为：给定一组物品，每种物品都有自己的重量和价格，在限定的总重量内，我们如何选择，才能使得物品的总价格最高。问题的名称来源于如何选择最合适的物品放置于给定背包中。相似问题经常...
分类：
其他好文 时间：
2015-03-11 21:18:14
阅读次数：
200
背包问题(Knapsack problem)是一种组合优化的NP完全问题。问题可以描述为：给定一组物品，每种物品都有自己的重量和价格，在限定的总重量内，我们如何选择，才能使得物品的总价格最高。问题的名称来源于如何选择最合适的物品放置于给定背包中。也可以将背包问题描述为决定性问题，即在总重量不超过W的...
分类：
其他好文 时间：
2015-02-13 22:20:48
阅读次数：
230
常用的分类算法主要有决策树，贝叶斯，KNN，SVM，神经网络以及基于规则的分类算法。本文主要对各种分类算法的特性做一下总结。1. 决策树算法决策树算法是一种构建分类模型的非参数方法，它不要求任何先验假设，不假定类和其他属性服从一定的概率分布。找到最佳决策树是NP完全问题，许多决策树算法都采取启发式的...
分类：
其他好文 时间：
2014-09-02 10:16:54
阅读次数：
341
《算法之道》精华 难解问题部分
本书作者绉恒明，作者另有一本书《数据结构之弦》，以及《操作系统之哲学原理》都是很好的书这本书可以算得上是深入浅出，文笔很好，作者添加了很多自己的思考本文包括难解问题部分
第十三章 易解与难解
易解指的是多项式问题，难解指的是指数级问题决策问题
需要输出答案是/否若回答为是，通常需要一个证人来证明。对一个潜在证人，证明之后即为真证人优化问题和决策问...
分类：
其他好文 时间：
2014-08-09 11:36:37
阅读次数：
203
