【摘 要】
：
定义了15-谜问题的6个动作规则,在此基础上证明了15-谜问题解的存在性判定的充分必要条件,其充分性的证明过程是一个构造性证明方法,提供了求解15-谜问题的一个解的可实现算
论文部分内容阅读
定义了15-谜问题的6个动作规则,在此基础上证明了15-谜问题解的存在性判定的充分必要条件,其充分性的证明过程是一个构造性证明方法,提供了求解15-谜问题的一个解的可实现算法;同时,对此结论进行了扩展,对于给定的一初始格局和任一目标格局,证明了初始格局可达目标格局的的充分必要条件,其结论有助于构造问题的状态空间与限界函数.这两个结论从理论上完全解决了15-谜问题,对获得最优算法提供了理论基础.
其他文献
广西某含银铅锌矿石铅氧化程度很高,各矿物共生关系密切,嵌布粒度较细,泥化较严重,属极难选氧化铅锌矿石。为确定该矿石的开发利用方案,对该矿石进行了选矿试验研究。结果表
摘 要：随着网络信息技术的飞速发展，网络资源已经成为现代人学习、工作和生活中不可或缺也无法忽略的一部分，现代大学英语教学也无法脱离网络的影响。教师借助互联网资源备课并指导学生利用网络资源进行课外研究性学习，具有深远的理论和实践意义。 关键词：网络资源;英语教学;广度;深度;研究性学习 0 引言 随着电脑、智能手机的普及和网络技术的迅猛发展，互联网已成为现代人类重要的信息来源。面对席卷而来的网
福建某铅锌矿石中有回收价值的元素铅、锌绝大部分以硫化矿物形式存在,银、硫有综合回收价值。为了确定合适的铅锌回收工艺流程,对有代表性矿石进行了选矿试验。结果表明,矿
讨论了应用于引信中的高g微阵列式加速度传感器的设计理论、布阵方法和微加工工艺。讨论过程中,针对测量不同的加速度值,利用了不同的设计方法和加工工艺及二维传感阵列的布阵设计上的特点,将微加工中三维加工工艺与平面加工工艺相结合,利用体加工技术和高深宽比刻蚀技术,研制出了微阵列加速度传感器的样品。经测试表明符合使用要求,其结果为实用化奠定了基础。
畲族民歌源于久远的农耕文明,记录着畲族的历史与文化,是畲族文化不可或缺的组成部分。但是,随着城镇化的发展,畲族民歌活态传承面临着诸多困境。文章以闽东畲族民歌中具有代