问题有解与状态空间图的核为有界格的等价性理论

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (9): 55-57.

问题有解与状态空间图的核为有界格的等价性理论

刘小晶¹,杨淑群²,邓昶¹

1．嘉兴学院信息工程学院，浙江嘉兴 314001
2．福建师范大学软件学院，福州　350007

收稿日期:2007-07-10 修回日期:2007-10-09 出版日期:2008-03-21 发布日期:2008-03-21
通讯作者: 刘小晶

Theory of equivalence about bounded lattice of problems and kernel

LIU Xiao-jing¹,YANG Shu-qun²,DENG Chang¹

1．School of Information Engineering，Jiaxing University，Jiaxing，Zhejiang 314001，China
2．Faculty of Software，Fujian Normal University，Fuzhou 350007，China

Received:2007-07-10 Revised:2007-10-09 Online:2008-03-21 Published:2008-03-21
Contact: LIU Xiao-jing

摘要/Abstract

摘要： 作为求解问题的工具，状态空间图具有直观、清晰的特点，在人工智能应用甚广。论文首次分析状态空间图有解的代数特征，提出序状态空间图及核的概念，证明了问题有解与其状态空间图的核为有界格是等价的，并给出两个实例加以说明，另外给出有关核的性质。

关键词: 序状态空间图, 核, 有界格

Abstract: As a tool，state-space graph has a clear characteristic and applied very wide in the artificial intelligence.In this paper，the algebra characteristic　about whether problems can be resolved or not is first analyzed，the concepts of poset state-space graph and kernel are put forward，the equivalence about whether problem can be resolved or not and Kernel is a bounded lattice is proved，two examples are given to illustrate this and　 kernel-related nature are provided.

Key words: poset state-space graph, kernel, bounded lattice

刘小晶¹,杨淑群²,邓昶¹. 问题有解与状态空间图的核为有界格的等价性理论[J]. 计算机工程与应用, 2008, 44(9): 55-57.

LIU Xiao-jing¹,YANG Shu-qun²,DENG Chang¹. Theory of equivalence about bounded lattice of problems and kernel[J]. Computer Engineering and Applications, 2008, 44(9): 55-57.

[1]	邓利芳，党建武，王阳萍，王松. 结合混合核特征映射的空域图像隐写分析[J]. 计算机工程与应用, 2021, 57(9): 118-125.
[2]	乔慧，周水生. 非线性角度2DPCA及其在人脸识别中的应用[J]. 计算机工程与应用, 2021, 57(8): 112-118.
[3]	马梦萍，杨志霞. 非对称ν-无核二次曲面支持向量回归机[J]. 计算机工程与应用, 2021, 57(7): 70-77.
[4]	顾上航，张利军，郭越超，徐勇. 基于无效卷积核权值回退的神经网络优化方法[J]. 计算机工程与应用, 2021, 57(22): 86-91.
[5]	陈富健，谢维信，夏婷. 基于LCT+的自适应抗遮挡目标跟踪算法[J]. 计算机工程与应用, 2021, 57(22): 190-198.
[6]	朱梦，闵卫东，张煜，段静雯. 基于HardSoftmax的并行选择核注意力[J]. 计算机工程与应用, 2021, 57(21): 95-101.
[7]	王蓓，陈金广，王明明. 复杂场景下的改进核相关滤波跟踪算法[J]. 计算机工程与应用, 2021, 57(2): 198-208.
[8]	万达，李俊. 锦标赛精英学习与协方差变异的烟花算法[J]. 计算机工程与应用, 2021, 57(19): 84-96.
[9]	彭永刚. 量子控制非门核磁共振脉冲序列设计与验证[J]. 计算机工程与应用, 2021, 57(18): 97-102.
[10]	沈少禹，蔡满春，芦天亮，赵琪. 基于LFKPCA-DWELM的入侵检测方案[J]. 计算机工程与应用, 2021, 57(17): 130-137.
[11]	陆小玲，吴海锋，曾玉，孔伶旭，罗金玲. 3D迁移网络的阿尔茨海默症分类研究[J]. 计算机工程与应用, 2021, 57(16): 253-262.
[12]	张博文，刘智，桑国明. 基于核密度波动的异常检测算法[J]. 计算机工程与应用, 2021, 57(12): 132-136.
[13]	陈少洁，赵淦森，林成创，彭璟，黄凯信，李壮伟，黄润桦，杜嘉华，樊小毛. 深度学习在染色体分割中的应用综述[J]. 计算机工程与应用, 2021, 57(11): 46-56.
[14]	谢艺菲，卢琪，刘鑫，胡亚豪，潘志松，陈浩. 基于图的多层次注意力事实验证算法[J]. 计算机工程与应用, 2021, 57(10): 146-153.
[15]	王国屹，孙永荣，吴雷，曾庆化. 分块检测尺度自适应的圆形目标相关跟踪[J]. 计算机工程与应用, 2020, 56(8): 177-184.