Complexities of Homomorphism and Isomorphism for Definite Logic Programs-中国期刊网

摘要 AhomomorphismψoflogicprogramsfromPtoP'isafunctionmappingAtoms(P)toAtoms(P')andpaper,thecomplexityofthedecisionproblemsonhomomorphismandisomorphismfordefinitelogicprogramsisstudied.Itisshownthatthehomomorphismproblem(HOM-LP)fordefinitelogicprogramsisNP-complete,andtheisomorphismproblem(ISO-LP)isequivalenttothegraphisomorphismproblem(GI).

1黄志毅;胡守仁. Detection of And—Parallelism in Logic Programs.计算机科学与技术,1990-04.
2Na Huang;Changfeng Ma. POSITIVE DEFINITE AND SEMI-DEFINITE SPLITTING METHODS FOR NON-HERMITIAN POSITIVE DEFINITE LINEAR SYSTEMS.计算数学,2016-03.
3S. K. ROUSHON. The Fibered Isomorphism Conjecture for Complex Manifolds.基础数学,2007-04.
4Sataloff Robert T.,Bush Matthew L.,Chandra Rakesh,Chepeha Douglas,Rotenberg Brian,Fisher Edward W.,Goldenberg David,Hanna Ehab Y.,Kerschner Joseph E.,Kraus Dennis H.,Krouse John H.,Li Daqing,Link Michael,Lustig Lawrence R.,Selesnick Samuel H.,Sindwani Raj,Smith Richard J.,Tysome James R.,Weber Peter C.,Welling D. Bradley. Systematic and other reviews: Criteria and complexities.医药卫生,2021-08.
5林亭. Logic.教育学,2004-03.
6高永伟. Logic.英语,1995-07.
7胡迪. TV Programs.教育学,2007-05.
8乔友明;Jayalal Sarma M.N.;唐邦晟. On Isomorphism Testing of Groups with Normal Hall Subgroups.计算机科学与技术,2012-04.
9Geng Xiutang Zhang Kai. Simulated annealing algorithm for detecting graph isomorphism.物理电子学,2008-05.
10Li Shaoxian;Wei Liang. New Complexities in the Middle East since 9.11.国际关系,2010-02.

Complexities of Homomorphism and Isomorphism for Definite Logic Programs

来源期刊

相关推荐

同分类资源更多

相关关键词

Complexities of Homomorphism and Isomorphism for Definite Logic Programs

来源期刊

相关推荐

同分类资源 更多

相关关键词

同分类资源更多