Theory of equivalence about bounded lattice of problems and kernel

Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (9): 55-57.

• 理论研究 • Previous Articles Next Articles

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

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

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

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

通讯作者: 刘小晶

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

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

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

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.

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

[1]	DENG Lifang, DANG Jianwu, WANG Yangping, WANG Song. Steganalysis of Spatial Image Based on Hybrid Kernel Feature Mapping [J]. Computer Engineering and Applications, 2021, 57(9): 118-125.
[2]	QIAO Hui, ZHOU Shuisheng. Nolinear Angle 2DPCA and Its Application on Face Recognition [J]. Computer Engineering and Applications, 2021, 57(8): 112-118.
[3]	MA Mengping, YANG Zhixia. Asymmetric [ν]-Kernel-Free Quadratic Surface Support Vector Regression [J]. Computer Engineering and Applications, 2021, 57(7): 70-77.
[4]	CHEN Fujian, XIE Weixin, XIA Ting. Adaptive Anti-occlusion Target Tracking Algorithm Based on LCT+ [J]. Computer Engineering and Applications, 2021, 57(22): 190-198.
[5]	ZHU Meng, MIN Weidong, ZHANG Yu, DUAN Jingwen. Parallel Selective Kernel Attention Based on HardSoftmax [J]. Computer Engineering and Applications, 2021, 57(21): 95-101.
[6]	WANG Bei, CHEN Jinguang, WANG Mingming. Improved Target Tracking Algorithm Based on Kernelized Correlation Filter in Complex Scenarios [J]. Computer Engineering and Applications, 2021, 57(2): 198-208.
[7]	JING Qingyang, LI Bo. Optimized Kernel Correlation Filter Approach Combined with Improved Corner Detection [J]. Computer Engineering and Applications, 2021, 57(18): 194-203.
[8]	SHEN Shaoyu, CAI Manchun, LU Tianliang, ZHAO Qi. Intrusion Detection Algorithm based on LFKPCA-DWELM [J]. Computer Engineering and Applications, 2021, 57(17): 130-137.
[9]	ZHANG Bowen, LIU Zhi, SANG Guoming. Anomaly Detection Algorithm Based on Kernel Density Fluctuation [J]. Computer Engineering and Applications, 2021, 57(12): 132-136.
[10]	XIE Yifei, LU Qi, LIU Xin, HU Yahao, PAN Zhisong, CHEN Hao. Graph-Based Hierarchical Attention Networks for Fact Verification [J]. Computer Engineering and Applications, 2021, 57(10): 146-153.
[11]	WANG Guoyi, SUN Yongrong, WU Lei, ZENG Qinghua. Scale Adaptive Correlation Tracking Method for Circular Target Based on Block Detection [J]. Computer Engineering and Applications, 2020, 56(8): 177-184.
[12]	WANG Caiwen, YANG Youlong. Improved Nearest Neighbor Classification Algorithm for Imbalanced Data [J]. Computer Engineering and Applications, 2020, 56(7): 30-38.
[13]	YANG Jialin, WANG Wenwei, XIONG Xiaoxuan, HE Shiying. Fast Scale Estimation Based on Enhanced Multi-kernel Correlation Filter Algorithm [J]. Computer Engineering and Applications, 2020, 56(7): 210-220.
[14]	CHEN Feiyu, YUE Wenbin, RAO Yinglu, XING Jinhao, MA Xiaojing. Autonomous Precision Landing of Drone Based on Improved TLD Algorithm [J]. Computer Engineering and Applications, 2020, 56(7): 247-254.
[15]	ZHAO Liang, ZHU Zhengyu. Overlapping Community Discovery Algorithm with K-Kernel Iteration Factor [J]. Computer Engineering and Applications, 2020, 56(3): 61-67.

Theory of equivalence about bounded lattice of problems and kernel

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics