电子科技大学学报
電子科技大學學報
전자과기대학학보
JOURNAL OF UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA
2004年
5期
604-607
,共4页
15-谜问题%格局%可达性%算法
15-謎問題%格跼%可達性%算法
15-미문제%격국%가체성%산법
定义了15-谜问题的6个动作规则,在此基础上证明了15-谜问题解的存在性判定的充分必要条件,其充分性的证明过程是一个构造性证明方法,提供了求解15-谜问题的一个解的可实现算法;同时,对此结论进行了扩展,对于给定的一初始格局和任一目标格局,证明了初始格局可达目标格局的的充分必要条件,其结论有助于构造问题的状态空间与限界函数.这两个结论从理论上完全解决了15-谜问题,对获得最优算法提供了理论基础.
定義瞭15-謎問題的6箇動作規則,在此基礎上證明瞭15-謎問題解的存在性判定的充分必要條件,其充分性的證明過程是一箇構造性證明方法,提供瞭求解15-謎問題的一箇解的可實現算法;同時,對此結論進行瞭擴展,對于給定的一初始格跼和任一目標格跼,證明瞭初始格跼可達目標格跼的的充分必要條件,其結論有助于構造問題的狀態空間與限界函數.這兩箇結論從理論上完全解決瞭15-謎問題,對穫得最優算法提供瞭理論基礎.
정의료15-미문제적6개동작규칙,재차기출상증명료15-미문제해적존재성판정적충분필요조건,기충분성적증명과정시일개구조성증명방법,제공료구해15-미문제적일개해적가실현산법;동시,대차결론진행료확전,대우급정적일초시격국화임일목표격국,증명료초시격국가체목표격국적적충분필요조건,기결론유조우구조문제적상태공간여한계함수.저량개결론종이론상완전해결료15-미문제,대획득최우산법제공료이론기출.
