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

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

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

Theory of equivalence about bounded lattice of problems and kernel

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

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