计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
11期
96-99
,共4页
Hanoi塔问题%形式化方法%非递归%PAR方法%循环不变式
Hanoi塔問題%形式化方法%非遞歸%PAR方法%循環不變式
Hanoi탑문제%형식화방법%비체귀%PAR방법%순배불변식
使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法,并对其进行了形式化的正确性证明.直接面向非递归算法,在得到求解Hanoi塔问题的循环不变式的同时,直接得到易读、高效且可靠的非递归算法.对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨.
使用形式化方法PAR及循環不變式開髮新策略,開髮瞭Hanoi塔問題非遞歸算法,併對其進行瞭形式化的正確性證明.直接麵嚮非遞歸算法,在得到求解Hanoi塔問題的循環不變式的同時,直接得到易讀、高效且可靠的非遞歸算法.對使用形式化方法及循環不變式開髮新策略開髮非遞歸算法作瞭較深入的實踐和探討.
사용형식화방법PAR급순배불변식개발신책략,개발료Hanoi탑문제비체귀산법,병대기진행료형식화적정학성증명.직접면향비체귀산법,재득도구해Hanoi탑문제적순배불변식적동시,직접득도역독、고효차가고적비체귀산법.대사용형식화방법급순배불변식개발신책략개발비체귀산법작료교심입적실천화탐토.
