留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

15-谜问题的可达性判定

宋文 伊良忠 牟行军

宋文, 伊良忠, 牟行军. 15-谜问题的可达性判定[J]. 电子科技大学学报, 2004, 33(5): 604-607.
引用本文: 宋文, 伊良忠, 牟行军. 15-谜问题的可达性判定[J]. 电子科技大学学报, 2004, 33(5): 604-607.
Song Wen, Yi Liangzhong, Mu Xingjun. Judgement of Reachability about 15-Puzzle[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(5): 604-607.
Citation: Song Wen, Yi Liangzhong, Mu Xingjun. Judgement of Reachability about 15-Puzzle[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(5): 604-607.

15-谜问题的可达性判定

基金项目: 

四川省应用基础科研基金资助项目(03226125)

详细信息
    作者简介:

    宋文(1956-),男,硕士,副教授,主要从事算法设计与分析、Petri网理论与应用等方面的研究.

  • 中图分类号: TP301.6

Judgement of Reachability about 15-Puzzle

计量
  • 文章访问数:  3769
  • HTML全文浏览量:  138
  • PDF下载量:  57
  • 被引次数: 0
出版历程
  • 收稿日期:  2003-12-05
  • 刊出日期:  2004-10-15

15-谜问题的可达性判定

    基金项目:

    四川省应用基础科研基金资助项目(03226125)

    作者简介:

    宋文(1956-),男,硕士,副教授,主要从事算法设计与分析、Petri网理论与应用等方面的研究.

  • 中图分类号: TP301.6

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

English Abstract

宋文, 伊良忠, 牟行军. 15-谜问题的可达性判定[J]. 电子科技大学学报, 2004, 33(5): 604-607.
引用本文: 宋文, 伊良忠, 牟行军. 15-谜问题的可达性判定[J]. 电子科技大学学报, 2004, 33(5): 604-607.
Song Wen, Yi Liangzhong, Mu Xingjun. Judgement of Reachability about 15-Puzzle[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(5): 604-607.
Citation: Song Wen, Yi Liangzhong, Mu Xingjun. Judgement of Reachability about 15-Puzzle[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(5): 604-607.

目录

    /

    返回文章
    返回