一道比较简单的动态规划的题，求从第一列的任何位置 到达最后一列 和的最小值。所以这个状态可以是 列，在每一列有三种决策，直行，右上，右下。DP[i][j] 表示在第i行，j列到达最后一列的最小支出。那么有了状态，我们可以进行转移，DP[i][j] = min{DP[i + 1][j + 1],DP[...
分类：
其他好文 时间：
2015-02-15 17:53:36
阅读次数：
137
1 形式化方法的基本概念 形式化规约 形式证明与验证 程序求精2 时态逻辑 krioke结构可以表示为一个有向图 一阶线性时态逻辑是一阶谓词逻辑的扩展。 队列及其操作：队列是一种常用的数据抽象类型他服从先进先出的FIFO规则。在某一时刻队列可以为空。 1 活性 2 安全性 汉诺塔操作规划问题 计算树...
分类：
其他好文 时间：
2015-02-15 16:22:36
阅读次数：
138
我们通常使用tar命令来对文件或者目录进行打包或者压缩，可能朋友们刚接触的时候会有点晕，百度搜的时候就和查手册一样，不够通俗易懂，今天辛星就给朋友们用另一种方式去解决这个问题。
我们首先还是要对它的几个关键参数认识一下的：
-c 表示创建一个打包文件，这里的c是create的首字母
-x 表示解包一个已经打包的文件
...
分类：
其他好文 时间：
2015-02-15 15:13:18
阅读次数：
170
1.首先明确两个概念：服务器路径：形如：http://192.168.0.1/的路径Web应用路径：形如：http://192.168.0.1/yourwebapp的路径2.关于相对路径与绝对路径的描述：Servlet中，"/"代表Web应用的跟目录。和物理路径的相对表示。例如："./" 代表当前目...
分类：
Web程序 时间：
2015-02-15 15:05:13
阅读次数：
203
question 1 :数组@xxx调用时,每个元素应该用$xxx[0]/$xxx[1]... 来表示所以$_[0]表示@_的一个元素,和默认缺省变量$_无关,是两个东西请查阅数组元素调用相关章节question 2 :$_是perl的缺省变量@_ 是perl的缺省数组
分类：
其他好文 时间：
2015-02-15 14:55:45
阅读次数：
165
一直对爬虫耿耿于怀，今天总算是实现了，编写了一个Python Scrapy的爬虫获取果壳网首页的推荐文章。 打开果壳首页的一篇推荐文章，URL如下http://www.guokr.com/article/439791/可以看到果壳的文章都是在/article/下，并且所有文章是以6位数字表示，url...
分类：
其他好文 时间：
2015-02-15 14:54:46
阅读次数：
187
1.题目描述：点击打开链接
2.解题思路：本题几乎就是树的最大独立集问题，只不过多了一个判断解的唯一性的要求。针对这种情况，可以做如下定义：
（1）d(u,0),f(u,0)分别表示以u为根的子树中，不选u点的最大人数和方案的唯一性（f=1表示唯一，f=0表示不唯一）；
（2）d(u,1),f(u,1)分别表示以u为根的子树中，选u点的最大人数和方案的唯一性（f=1表示唯一，f=0表示不唯一...
分类：
其他好文 时间：
2015-02-15 13:34:59
阅读次数：
173
概率和期望DP概率DP顺着推,期望DP逆着递推求解概率，又称或然率、机会率、机率（几率）或可能性，是概率论的基本概念。概率是对随机事件发生的可能性的度量，一般以一个在0到1之间的实数表示一个事件发生的可能性大小。越接近1，该事件更可能发生；越接近0，则该事件更不可能发生。人们常说某人有百分之多少的把...
分类：
其他好文 时间：
2015-02-15 12:03:20
阅读次数：
317
JAVA操作符赋值操作符赋值操作符(=)表示：取右边的值（即右值），把它复制给左边（即左值）。右值可以是任意的常量、变量或表达式（只要可以生成一个值）。 左值必须是一个明确的、已命名的变量。publicclassTest{publicstaticvoidmain(String[]args){intn...
分类：
编程语言 时间：
2015-02-15 12:00:35
阅读次数：
226
echo：表示显示此命令后的字符echo off：表示不显示在此语句后所有运行的命令都不显示命令行本身@echo off：当@符号被加在每个命令最前面时，表示运行时不显示这一行的命令行（只能影响当前行）。cd /d filePath：要跳转到不同分区（例如从C盘到D盘）的时候，需要添加强制跳转参数 ...
分类：
其他好文 时间：
2015-02-15 11:54:36
阅读次数：
130
