15-谜问题的可达性判定

• 作者: 伊良忠 宋文 牟行军
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 15-谜问题 格局 可达性 算法
• 年，卷（期）: 2004,（5）
• 所属期刊栏目: 学术论文与技术报告
• 页码范围: 604-607
• 页数: 4页
• 分类号: TP301.6
• 字数: 3055字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2004.05.032

摘要

定义了15-谜问题的6个动作规则,在此基础上证明了15-谜问题解的存在性判定的充分必要条件,其充分性的证明过程是一个构造性证明方法,提供了求解15-谜问题的一个解的可实现算法;同时,对此结论进行了扩展,对于给定的一初始格局和任一目标格局,证明了初始格局可达目标格局的的充分必要条件,其结论有助于构造问题的状态空间与限界函数.这两个结论从理论上完全解决了15-谜问题,对获得最优算法提供了理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋文	西华大学计算机与数理学院	35	113	6.0	9.0
2	伊良忠	西华大学计算机与数理学院	10	79	4.0	8.0
3	牟行军	西华大学计算机与数理学院	8	28	4.0	5.0