第五章主要讲1.形式化方法基本概念分为形式规约、形式证明与验证、程序求精，形式证明与验证技术主要包括模型检测和定理证明。2.时态逻辑介绍了Kripke结构；一阶线性时态逻辑以队列及其操作与汉诺塔操作规划问题为例进行讲解。计算树逻辑一般是CTL与CTL*的统称。3.模型检测就是在软件系统的Kripke...
分类：
其他好文 时间：
2015-02-26 13:26:06
阅读次数：
130
Tower of HanoiTime Limit:1000MSMemory Limit:131072KTotal Submissions:1853Accepted:635DescriptionThe Tower of Hanoi is a puzzle consisting of three peg...
分类：
其他好文 时间：
2015-02-25 18:23:03
阅读次数：
144
第五章、软件工程中的形式化方法 本章涉及到离散数学与数据结构的知识，可见知识都是互通的。1.形式化方法基本概念分为形式规约、形式证明与验证、程序求精，形式证明与验证技术主要包括模型检测和定理证明。2.时态逻辑介绍了Kripke结构；一阶线性时态逻辑以队列及其操作与汉诺塔操作规划问题为例...
分类：
其他好文 时间：
2015-02-16 12:56:51
阅读次数：
142
1 形式化方法的基本概念 形式化规约 形式证明与验证 程序求精2 时态逻辑 krioke结构可以表示为一个有向图 一阶线性时态逻辑是一阶谓词逻辑的扩展。 队列及其操作：队列是一种常用的数据抽象类型他服从先进先出的FIFO规则。在某一时刻队列可以为空。 1 活性 2 安全性 汉诺塔操作规划问题 计算树...
分类：
其他好文 时间：
2015-02-15 16:22:36
阅读次数：
138
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1997Problem Descriptionn个盘子的汉诺塔问题的最少移动次数是2^n-1,即在移动过程中会产生2^n个系列。由于发生错移产生的系列就增加了，这种错误是放错了柱子，并不会把大盘放到小盘上，...
分类：
其他好文 时间：
2015-02-13 22:20:35
阅读次数：
255
#include void move (int num, char f, char t){ printf("%d : %c -> %c\n", num, f, t);}void hanoi(int num, char one, char two, char three){ if(num ...
分类：
其他好文 时间：
2015-02-12 13:51:53
阅读次数：
105
汉诺塔问题古代有一个梵塔，塔内有三个座A、B、C，A座上有64个盘子，盘子大小不等，大的在下，小的在上（如图）。有一个和尚想把这64个盘子从A座移到B座，但每次只能允许移动一个盘子，并且在移动过程中，3个座上的盘子始终保持大盘在下，小盘在上。在移动过程中可以利用B座，要求输出移动的步骤。汉诺塔问题递...
分类：
其他好文 时间：
2015-02-08 18:04:33
阅读次数：
193
题意 一个n*m的环形矩阵(第一行和最后一行是相邻的) 从第一列任意位置出发 只能往右上,右,右下3个方向走 求走到第m列经过的的最小数字和
基础DP 横着的数塔问题
#include
#define l(x) d[x][j+1]
using namespace std;
const int N = 105;
int n, m, g[N][N], d[N][N], fol[N][N...
分类：
其他好文 时间：
2015-02-06 23:16:54
阅读次数：
435
汉诺塔问题递归算法分析： 一个庙里有三个柱子，第一个有64个盘子，从上往下盘子越来越大。要求庙里的老和尚把这64个盘子全部移动到第三个柱子上。移动的时候始终只能小盘子压着大盘子。而且每次只能移动一个。 1、此时老和尚（后面我们叫他第一个和尚）觉得很难，所以他想：要是有一个人能把前63个盘子先移动.....
分类：
编程语言 时间：
2015-02-06 23:14:41
阅读次数：
129
递归挺重要的，一定要会对于汉诺塔的理解，其实是很简单的，但是感觉也挺经典的：假设one,two,thr三个支柱，要将第一个支柱上的n个盘子移到第三个上，输出移动的顺序;1.其实也就是将n-1个盘子借助thr移到two上，2.然后将one上的第n个盘子移动到thr上；3.然后将two上的n-1个盘子移...
分类：
其他好文 时间：
2015-02-03 19:00:13
阅读次数：
124
