计算理论
shenlan211314
2010年7月-今:中国人民大学 信息学院 硕士在读
2006年9月-2010年7月:河北大学 数学与计算机学院 本科
2003年9月-2006年9月:辛集中学
展开
-
P->NP->NP-complete-NP-hard问题之浅析
已经不知道原文的真正出处了,望知情人士提供,谢谢!对 NP-Hard问题和NP-Complete问题的一个直观的理解就是指那些很难(很可能是不可能)找到多项式时间算法的问题。因此一般初学算法的人都会 问这样一个问题:NP-Hard和NP-Complete有什么不同?简单的回答是根据定义,如果所有NP问题都可以多项式归约到问题A,那么问题A就是 NP-Hard;如果问题A既是NP-Hard又是NP,那么它就是NP-Complete。从定义我们很容易看出,NP-Hard问题类包含了NP- Complete类。但转载 2011-03-08 20:23:00 · 6988 阅读 · 3 评论 -
“欧拉回路”与“哈密尔顿回路”
原文地址:http://www.gljpkc.com/jsjkxdl/jxwz/ynjx/1.htm“欧拉回路”与“哈密尔顿回路”1.欧拉回路17世纪的东普鲁士有一座哥尼斯堡(Konigsberg)城(现为俄国的加里宁格勒(Kaliningrad)城),城中有一座奈佛夫(Knei转载 2011-07-10 16:55:58 · 14570 阅读 · 2 评论 -
拓扑排序方法
<br />拓扑排序方法如下: <br />(1)从有向图中选择一个没有前驱(即入度为0)的顶点并且输出它. <br />(2)从网中删去该顶点,并且删去从该顶点发出的全部有向边. <br />(3)重复上述两步,直到剩余的网中不再存在没有前驱的顶点为止.转载 2011-04-28 00:04:00 · 668 阅读 · 0 评论 -
使用3SAT进行NP-complete规约一点启发
<br />通过Michael R. Garey & David S.Johnson的A Guide to the Theory of NP-Completeness一书中关于3SAT到3DM的规约,以及自己的规约经历,发现:在使用3SAT进行问题规约时,需要注意两个方面。首先是,真值指派;其次是,子句满足测试。<br />一般,需要观察自己的问题,从哪一方面触发规约到哪一方面结束较为简单。可以选择从真值指派开始到子句满足测试结束,也可以从子句满足测试开始到真值指派结束。当然,因问题而异了,需要好好分析,能原创 2011-04-22 10:55:00 · 3512 阅读 · 0 评论 -
如何证明NP-Complete问题(how to handle np-complete problem)
<br />It is best to proceed with our analysis using a two-side approach. While we are attempting, on the one hand, to construct and NP-completeness proof, on the other hand, we should be trying to discover a polynomial time algorithm. Which of these two op翻译 2011-04-21 13:37:00 · 3662 阅读 · 0 评论 -
Independent set problem
<br />实例:对于图G=(V,E),以及一个正整数J<=|V|,<br />问题:G中是否存在一个集合V',|V'|>=J,并且V’中任意两点见不存在边。<br /> <br />结论:NPC问题原创 2011-04-17 09:59:00 · 1758 阅读 · 0 评论 -
several ways to solve np-complete problems
<br />At present, all known algorithms for NP-complete problems require time that is superpolynomial in the input size, and it is unknown whether there are any faster algorithms.<br /><br />The following techniques can be applied to solve computational p转载 2011-04-11 21:14:00 · 1020 阅读 · 0 评论 -
NPO PB问题之:Minimum 3-dimensional assignment
MINIMUM 3-DIMENSIONALASSIGNMENT<br />实例:三个集合W,X,Y,以及cost函数:c(W,X,Y)<br />问题:给一种指派:A⊆W×X×Y,并且任意e∈WUXUY只在A的某一个三元组中出现(也就是说A的三元组之间无交集)。<br />obj fun:指派的cost值之和。<br /> <br /> <br />当前结论:问题不可近似<br />备注:在下面的各种版本中:1)c(x,y,w) = d(x,y)+d(x,w)+d(y,w);2)c(原创 2011-04-09 12:49:00 · 830 阅读 · 0 评论 -
Approximation classes浅析之分类(不断更新中)
<br />we have two important computationally-defined approximation classes:the class NPO(that is, the class of optimization problems whose underlying decision problem is in NP), and the the class APX(that is, the class of constant factor approximable NPO pr原创 2011-04-09 15:41:00 · 1088 阅读 · 4 评论 -
从3DM到PARTITION问题的规约
下面将讲一下NPC问题中,从3DM到PARTITION的规约。首先我们说一下什么是3DM问题和PARTITION问题。1. 3DM的全称为:3-DIMENSIONAL MATCHING(3DM)实例:存在一个集合M⊆W×X×Y,并且W,X,Y为不想交的集合,|W|=|X|=|Y|=q。问题:是否存在一个集合M'⊆M,使得|M'|=q,并且M'在W,X,Y三维上不存在交集。详见维基百科:http://en.wikipedia.org/wiki/3-dimensional_matching2. PARTITIO原创 2011-04-09 10:37:00 · 3986 阅读 · 0 评论 -
set cover和vertex cover
这里将讲解一下npc问题中set cover和vertex cover分别是什么。set cover:问题定义: 实例:现在有一个集合A,其中包含了m个元素(注意,集合是无序的,并且包含的元素也是不相同的),现在n个集合,分别为B1、B2、...、Bn。并且这n个集合的并集恰好等于A集合,即:B1UB2UB3U...UBn=A。 问题:是否存在B集合的最小子集,且他们的并集也等于A集合? 例子:集合A={1,2,3,4,5},集合B={{1,2,3},{2,4},{3,4},{4,5}}。可以看出,B原创 2011-04-08 10:22:00 · 7890 阅读 · 0 评论 -
six basic np-complete problems
<br />下面将简单介绍下npc问题的6个核心基本问题,一般来说其它的npc问题都可以从这六个问题出发进行规约,它们几乎涵盖了目前发现的npc问题的主要特点。<br />这6个npc基本问题包括:<br />3-SATISFIABILITY(3SAT)<br />3-DIMENSIONAL MATCHING(3DM)<br />VERTEX COVER(VC)<br />CLIQUE<br />HAMILTONIAN CIRCUIT(HC)<br />PARTIOTION<br /> <br />下面我们原创 2011-04-08 09:57:00 · 1354 阅读 · 0 评论 -
空间复杂性学习笔记(space complexity)
<br />1)空间复杂性类<br />SPACE(f(n)):SPACE(f(n))={L|L是O(f(n))空间的确定型图灵机判定的语言}<br />NSPACE(f(n)):NSPACE(f(n))={L|L是O(f(n))空间的非确定型图灵机判定的语言}<br /> <br />2)SAT属于PSPACE类(见第4条)问题,SAT可以在多项式空间的复杂度内判定->O(n)。<br /> <br />3)萨维奇定理<br />对于任何函数f(f(n)>=logn),其中f(n)>=n,则有:SPACE原创 2011-05-24 23:16:00 · 3944 阅读 · 0 评论 -
两个自然数互素(relatively prime)
<br />两个自然数是互素的当且仅当它们的最大公因子为1。<br />判断两个数是否为互素的问题是P问题。<br />方法1:遍历这两个数的所有可能的公因子(指数时间)<br />方法2:欧几里得算法原创 2011-05-24 21:42:00 · 5704 阅读 · 0 评论 -
装箱问题(Packing Problem)
<br /><br />装箱问题也叫背包问题,简单来说,就是把小货物往大箱子里装,要如何才能装得多。个人常见的经历就是“装冰箱”,很有趣的现象就是常常感觉冰箱再也装不下了,但是经过一翻折腾之后又神奇的装下了。<br />从企业运作角度来看就是尽量让每个容器(仓库、车辆、集装箱、船等)装的尽量多,可以节约企业的费用。通常,装载率85%左右,使用装箱优化方法后,可以达到90~95%左右。海尔做过一个海运装箱的项目,节约了大量运费。日本的汽车企业也非常重视装箱问题,他们海运过来的汽车零件箱内几乎每个角落都会被填满转载 2011-03-09 12:03:00 · 25546 阅读 · 3 评论 -
子图(subgraph),诱导子图(induced subgraph),团(clique),最小染色(minum coloring),最大独立集(maximun indenpendent set),最
<br />实例:无向图G=(V, E),V非空。<br /> 【子图(subgraph)】<br /> G'=(V', E'),V'被包含于V,E'被包含于E,G'为G的子图。<br /> <br /> 【诱导子图(induced subgraph)】<br /> G原创 2011-04-09 18:13:00 · 31192 阅读 · 1 评论