%0 Journal Article
%T 算法归纳设计策略与循环不变式
%A 王晓东
%A 吴英杰
%A 傅仰耿
%A 傅志祥
%J 福州大学学报(自然科学版)
%D 2004
%X 分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.
%K 算法设计
%K 归纳法
%K 循环不变式
%K 动态规划
%U http://xbzrb.fzu.edu.cn/ch/reader/view_abstract.aspx?file_no=20040490&flag=1