15-谜问题的可达性判定

留言板

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

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

15-谜问题的可达性判定

宋文, 伊良忠, 牟行军

文章导航 > 电子科技大学学报 > 2004 > 33(5): 604-607

宋文, 伊良忠, 牟行军. 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-谜问题的可达性判定

1.
西华大学计算机与数理学院成都 610039

基金项目:

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

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

中图分类号: TP301.6

Judgement of Reachability about 15-Puzzle

1.
School of Computers & Mathematical-Physical Science,Xihua University Chengdu 610039

摘要: 定义了15-谜问题的6个动作规则,在此基础上证明了15-谜问题解的存在性判定的充分必要条件,其充分性的证明过程是一个构造性证明方法,提供了求解15-谜问题的一个解的可实现算法;同时,对此结论进行了扩展,对于给定的一初始格局和任一目标格局,证明了初始格局可达目标格局的的充分必要条件,其结论有助于构造问题的状态空间与限界函数。这两个结论从理论上完全解决了15-谜问题,对获得最优算法提供了理论基础。
- 15-谜问题 /
- 格局 /
- 可达性 /
- 算法
Abstract: Based on multiple-input-multiple-output (MIMO) scattering wireless fading channel model, a dynamic receiving and transmitting model for MIMO wireless channels is proposed in this paper, which is used for analyzing impact of mobility of transceiver antennas on spatial correlation and capacity of MIMO wireless channels. The conclusion is reached, which these effects are determined by the original positions of transceiver antennas and by their velocity. The simulation results validate this impact and show that there exists an optimum angular spread that forces spatial correlation, which decreases with increasing antenna spacing and does not consistently decrease with increasing angular spread, to reach minimum.
- 15-puzzle /
- pattern /
- reachability /
- algorithm

[1]	黄韬, 陈长胜. TTE时间同步协议关键算法研究和仿真分析 . 电子科技大学学报, 2014, 43(3): 437-442. doi: 10.3969/j.issn.1001-0548.2014.03.021
[2]	朱怡安, 黄姝娟, 段俊花, 陆伟. 新的混合关键任务调度算法的研究 . 电子科技大学学报, 2014, 43(2): 268-271,286. doi: 10.3969/j.issn.1001-0548.2014.02.021
[3]	侯孟书, 李玉军, 秦志光. 三维传感器网络中贪婪算法的可达性分析 . 电子科技大学学报, 2012, 41(3): 441-446. doi: 10.3969/j.issn.1001-0548.2012.03.023
[4]	付卫红, 史凡, 刘乃安. 适用于时变信道环境的盲源分离算法 . 电子科技大学学报, 2012, 41(4): 512-515. doi: 10.3969/j.issn.1001-0548.2012.04.006
[5]	陈宗荣. 复合变型Bessel方程的一类边值问题的相似构造算法设计 . 电子科技大学学报, 2012, 41(3): 459-462. doi: 10.3969/j.issn.1001-0548.2012.03.026
[6]	覃琴, 曾志民, 张天魁, 张从青. 动态多中继协同节点选择算法 . 电子科技大学学报, 2011, 40(4): 505-508. doi: 10.3969/j.issn.1001-0548.2011.04.005
[7]	叶华, 武继刚. 软硬件协同设计复杂问题的计算模型和算法 . 电子科技大学学报, 2011, 40(3): 333-345. doi: 10.3969/j.issn.1001-0548.2011.03.002
[8]	杨勇, 徐秋亮. 标准模型下可证安全的一种新的CL-PKE加密方案 . 电子科技大学学报, 2010, 39(6): 906-910. doi: 10.3969/j.issn.1001-0548.2010.06.021
[9]	张宁, 熊光泽. 引用计数与时间戳的混合垃圾搜集器算法 . 电子科技大学学报, 2010, 39(4): 585-588. doi: 10.3969/j.issn.1001-0548.2010.04.024
[10]	罗光春, 熊娇, 李炯. 无线传感器网络的最优安全性跳数算法研究 . 电子科技大学学报, 2008, 37(4): 582-585.
[11]	万国根, 秦志光. 改进的AC-BM字符串匹配算法 . 电子科技大学学报, 2006, 35(4): 531-533,541.
[12]	彭亚娜, 黄大贵. 圆弧插补的半点最小偏差法 . 电子科技大学学报, 2005, 34(6): 832-835.
[13]	汤志伟, 符萍. 基于小波神经网络的信息系统综合评价模型 . 电子科技大学学报, 2005, 34(5): 672-675.
[14]	刁新军, 黄廷祝, 曾翎, 冉瑞生. 五对角矩阵的分解及其逆元素的快速算法 . 电子科技大学学报, 2005, 34(6): 850-853.
[15]	撒晓婴, 周武. Hilbert空间中一类拟变分不等式问题 . 电子科技大学学报, 2005, 34(5): 717-719.
[16]	梁金明, 章毅. 基于回路神经网络的特征子空间估值算法 . 电子科技大学学报, 2002, 31(6): 612-618.
[17]	孙仁云, 焦士蓉. 一种计算汽车制动油压波动频率的算法 . 电子科技大学学报, 2001, 30(3): 267-270.
[18]	王新庄. EB环境下的一个匹配模型及其算法研究 . 电子科技大学学报, 2001, 30(5): 533-537.
[19]	尹治本. 一种技术人员结构的评价模型及算法研究 . 电子科技大学学报, 1998, 27(3): 321-325.
[20]	唐小我, 王景, 曹长修. 一种新的模糊自适应变权重组合预测算法 . 电子科技大学学报, 1997, 26(3): 289-292.

WeChat

点击查看大图

计量

文章访问数: 3323
HTML全文浏览量: 134
PDF下载量: 57
被引次数: 0

15-谜问题的可达性判定

1. 西华大学计算机与数理学院成都 610039

基金项目:

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

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

收稿日期: 2003-12-05
刊出日期: 2004-10-15

中图分类号: TP301.6

关键词:

15-谜问题 /
格局 /
可达性 /
算法

摘要: 定义了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.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发