彼得·杰文斯 关于组合问题的代数结构。 （英文） 兹比尔0915.68074 西奥。计算。科学。 200，第1-2期，185-204（1998）. 摘要：我们描述了一个广泛的组合问题的一般代数公式，包括可满足性、图的着色性和图的同构性。在这个公式中，每个问题实例都由一对关系结构表示，给定实例的解决方案是这些关系结构之间的同态。相应的决策问题包括判断是否存在此类同态。然后我们证明，在许多情况下，解决这个决策问题的复杂性是由所涉及的关系结构的简单代数属性决定的。该结果用于识别可满足性的可处理子问题，并提供一个简单的测试来确定给定的布尔关系集是否会产生这些可处理子问题之一。 引用于2评论引用于98文件 MSC公司： 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 关键词：可满足性;图形着色性;图同构 PDF格式BibTeX公司 XML格式引用 \文本{P.Jeavons}，Theor。计算。科学。200，编号1--2，185-204（1998；Zbl 0915.68074） 全文： 内政部 参考文献： [1] Bang-Jensen，J。；地狱，P。；关于二部图的超有向图着色的复杂性，离散数学。，109, 27-44 (1992) ·Zbl 0783.05047号 [2] 科恩，P.M.，《泛代数》（1965），哈珀与罗出版社：纽约哈珀与罗出版社·Zbl 0141.01002号 [3] 库珀，M.C。；科恩，D.A。；Jeavons，P.G.，《表征可控制约束条件》，人工智能，65，347-361（1994）·Zbl 0803.68053号 [4] Garey，M.R。；Johnson，D.S.，（《计算机与难处理性：NP-完备性指南》（1979），弗里曼：弗里曼旧金山，加利福尼亚州）·Zbl 0411.68039号 [5] Goiger，D.，《函数和谓词的封闭系统》，太平洋数学杂志。，27, 95-100 (1968) ·Zbl 0186.02502号 [6] Jeavons，P.G。；科恩，D.A。；Gyssens，M.，《可处理约束的统一框架》（Montanari，U.；Rossl，F.，《约束编程》CP’95）。约束编程CP’95，计算机科学讲义，第976卷（1995），276-291 [7] 杰文斯，P。；Cohen，D.，《可处理约束的代数表征》，（Du，D.Z.；Li，M.，《计算与组合学COCOON’95》。计算与组合学COCOON’95，计算机科学讲义，第959卷（1995）），633-642 [8] Kasif，S.，关于约束满足网络中离散松弛的并行复杂性，人工智能。，45275-286（1990年）·Zbl 0717.68043号 [9] Kirousis，L.，快速并行约束满足，人工智能。，64, 147-160 (1993) ·Zbl 0787.68091号 [10] 拉德金，P.B。；Maddux，R.D.，《关于二进制约束问题》，J.ACM，41，435-469（1994）·Zbl 0813.03045号 [11] McKenzie，R.N。；McNulty，G.F。；Taylor，W.F.，（《代数、格与多样性》，第一卷（1987年），沃兹沃思与布鲁克斯：沃兹沃斯与布鲁克斯加利福尼亚）·Zbl 0611.08001号 [12] Montanari，U.，《约束网络：图像处理的基本属性和应用》，Inform。科学。，795-132年7月（1974年）·Zbl 0284.68074号 [13] Papadimitriou，C.H.，《计算复杂性》（1994），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·兹伯利0557.68033 [14] 罗森博格，I.G.，《最小克隆I：五种类型》（《通用代数讲座》（Proc.Conf.Szeged 1983）。普适代数讲座（Proc.Conf.Szeged 1983），大学数学。Janos Bolyai协会，43（1986），北荷兰：北荷兰阿姆斯特丹），405-427·Zbl 0603.08005号 [15] Schaefer，T.J.，可满足性问题的复杂性，（第十届ACM计算机理论研讨会（STOC）（1978）），216-226·Zbl 1282.68143号 [16] Szendrei，A.，《普遍代数中的克隆》，（蒙特利尔大学高等数学学院，99（1986））·Zbl 0603.08004号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。