xiazdong

转载 细数二十世纪最伟大的十大算法

译者：July   二零一一年一月十日------------------------------------参考文献：The Best of the 20th Century: Editors Name Top 10 Algorithms。By Barry A. Cipra。地址：http://www.uta.edu/faculty/rcli/TopTen/topte

转载 想成为Java高手的25个学习目标

本文将告诉你学习Java需要达到的25个目标，希望能够对你的学习及找工作有所帮助。对比一下自己，你已经掌握了这25条中的多少条了呢?　1.你需要精通面向对象分析与设计(OOA/OOD)、涉及模式(GOF，J2EEDP)以及综合模式。你应该了解UML，尤其是 class，object，interaction以及statediagrams。　2.你需要学习Java语言的基础知识以及它的

原创 【NPC】24、3SAT规约到有向汉密尔顿回路

原创 【NPC】23、有向汉密尔顿回路规约到无向汉密尔顿回路

原创 【NPC】22、CIRCUIT-SAT规约到SAT

原创 【NPC】21、证明电路可满足性问题是NPC问题

给定一个输入位数固定为n、且返回yes/no的算法，都能够在多项式时间内转换为一个多项式大小的电路。

原创 【NPC】20、划分问题规约到背包问题

原创 【NPC】19、汉密尔顿路径规约到有界度生成树问题

Hamilton_Path(G=(V,E)){ 有界度生成树(G,1)}

原创 【NPC】18、团问题规约到子图同构问题

Clique(G=(V,E),k){ for each subgraph G' in G and |V'|=k { 子图同构(G,G') }}

原创 【NPC】17、限制法证明NPC问题

Vertex_Cover(G=(V,E),k){击中集(V,E,k);}

原创 【NPC】16、汉密尔顿回路问题规约到旅行商问题

原创 【NPC】15、顶点覆盖规约到集合覆盖

原创 【NPC】14、子集和问题规约到划分问题

原创 【NPC】13、三维匹配规约到子集和问题

原创 【NPC】12、汉密尔顿回路规约到汉密尔顿路径

原创 【NPC】11、汉密尔顿路径规约到汉密尔顿回路

原创 【NPC】10、无向汉密尔顿回路规约到有向汉密尔顿回路

原创 【NPC】9、顶点覆盖规约到无向汉密尔顿回路

一、问题描述  二、证明

原创 【NPC】8、3SAT规约到MAX2SAT

原创 【NPC】7、3维匹配规约到三元集合恰当覆盖

由于这个规约比较容易，过程略，直接写结果。3DM(X,Y,Z,T){    X3C(X∪Y∪Z,T)}

原创 【NPC】6、3SAT规约到三维匹配

一、问题描述  二、证明

原创 【NPC】5、顶点覆盖规约到独立集、团问题

一、问题描述    二、证明

原创 【NPC】4、3SAT规约到独立集

一、问题描述  二、证明

原创 【NPC】3、3SAT规约到顶点覆盖

一、问题描述  二、证明

原创 【NPC】2、SAT规约到3SAT

一、SAT、3SAT问题描述  二、证明

原创 【NPC】1、NP、P、NPC概念介绍

一、P、NP、NPC概念1971年，Stephen Cook提出了第一个NPC问题：布尔可满足性问题。1973年，Leonid Levin提出了21个经典的NPC问题。1979年，Garey和Johnson出版了一本书：“Computers and Intractability: A Guide to NP-Completeness”，中文版是“计算机和难解性”，在这本书中提出

原创 第二数学归纳法

一般我们都是使用第一数学归纳法，但是对于第二数学归纳法，在算法导论中也是经常使用，比如22.4-2中证明算法正确性时会用到。第二数学归纳法原理是设有一个与自然数n有关的命题，如果：　　（1）当n＝1时，命题成立；　　（2）假设当n≤k时命题成立，由此可推得当n＝k+1时，命题也成立。那么，命题对于一切自然数n来说都成立。还有二元数学归纳法：在