其实我们对着规划接触的最多最熟悉，简单来说就是一个递归问题，递归问题简单的在的地方，编程实现的难度下降了，难的地方是如何构造递归，不好的地方是资源的浪费，但是有些地方编程实现的简单的优势可以无视掉他的不足（汉莫塔问题） 下面是一个很规矩的构建动态规划的方法 个人认为最重要的地方就是有两个，一个是抓住...
分类：
编程语言 时间：
2015-02-01 20:19:16
阅读次数：
317
形式化方法的基本概念：形式规约形式证明与验证程序求精一阶线性时态逻辑：队列及其操作汉诺塔操作规划问题计算树逻辑模型检测Z语言概述：Z语言为系统建立基于状态的模型。模型的三个主要组成部分是输入、输出和状态，它们均有相应的数学概念来描述。Z语言表示：集合、关系及函数自由类型和模式Petri网定义：任何事...
分类：
其他好文 时间：
2015-01-30 15:00:26
阅读次数：
121
1、问题描述 汉诺塔（ Towers of Hanoi）问题来自一个古老的传说：在世界刚被创建的时候有一座钻石宝塔（塔1 ），其上有6 4个金碟（如图 5 - 4所示）。所有碟子按从大到小的次序从塔底堆放至塔顶。紧挨着这座塔有另外两个钻石宝塔（塔 2和塔3）。从世界创始之日起，婆罗门的牧师们就一直....
分类：
其他好文 时间：
2015-01-29 20:58:02
阅读次数：
293
数塔
Crawling in process...
Crawling failed
Time Limit:1000MS
Memory Limit:32768KB 64bit IO Format:%I64d & %I64u
Description
在讲述DP算法的时候，一个经典的例子就是数塔问题，它是这样描述的：
有如下所示的数塔，要求...
分类：
其他好文 时间：
2015-01-29 10:28:51
阅读次数：
133
uva 10795 A Different Task
The (Three peg) Tower of Hanoi problem is a popular one in computer science. Briefly the problem is to transfer all the disks from peg-A to peg-C using peg-B as i...
分类：
其他好文 时间：
2015-01-28 14:45:37
阅读次数：
194
def hnoi(n,a,b,c):
if n == 1:
print a,c
else:
hnoi(n-1,a,c,b)
print a,c
hnoi(n-1,b,a,c)
hnoi(3,'a','b','c')...
分类：
编程语言 时间：
2015-01-25 16:41:56
阅读次数：
274
汉诺塔（一）时间限制：1000 ms | 内存限制：65535 KB 难度：3描述在印度，有这么一个古老的传说：在世界中心贝拿勒斯（在印度北部）的圣庙里，一块黄铜板上插着三根宝石针。印度教的主神梵 天在创造世界的时候，在其中一根针上从下到上地穿好了由大到小的64片金片，这就是所谓的汉诺塔。不论白天黑...
分类：
其他好文 时间：
2015-01-17 16:31:39
阅读次数：
181
水题，搞清楚hanoi的定义就好做了。 1 /* 1329 */ 2 #include 3 #include 4 #include 5 #include 6 7 #define MAXN 55 8 9 int b[MAXN];10 int a[MAXN];11 12 bool isSqu...
分类：
其他好文 时间：
2015-01-15 21:53:15
阅读次数：
170
