马塞尔·杰克逊;托马斯·科瓦尔斯基;托德·奈文 有向图约束问题在一些基本构造下的复杂性和多态性。 （英语） 兹比尔1401.05132 国际代数计算杂志。 26，第7期，1395-1433（2016）. 摘要：多态性在确定约束满足问题复杂性方面的作用已经得到了很好的确定。在此背景下，我们研究了一些基本图论结构下CSP复杂性和多态性的稳定性。作为应用，我们观察到，在具有总源和总汇的有向图上，CSP算法的适用性崩溃：相应的CSP可由“少数子幂算法”求解，当且仅当它可由局部一致性检查算法求解时。此外，我们发现在一阶约简下，“严格宽度”和少数子幂的可解性是不稳定的。该分析还对对称闭包为完全图的有向图的主要多态性给出了一个完整的刻画。 引用于5文件 MSC公司： 05C20号 有向图（有向图），比赛 08A70号 泛代数在计算机科学中的应用 08A40号 代数结构、原代数中的运算和多项式 08A35型 代数结构的自同态和自同态 65年第68季度 算法和问题复杂性分析 关键词：多态性;有向图;单点扩展;约束满足问题;同态问题 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}等人，《国际代数计算》。26、第7号1395--1433（2016；Zbl 1401.05132） 全文： 内政部 arXiv公司 参考文献： [1] 1.E.Allender、M.Bauland、N.Immerman、H.Schnoor和H.Vollmer，可满足性问题的复杂性：改进Schaefer定理，J.Compute。《系统科学》75（2009）245-254。genRefLink（16，‘S0218196716500600BIB001’，‘10.1016·Zbl 1161.68487号 [2] 2.J.Bang-Jensen、P.Hell和G.MacGillivray，《半完全有向图着色的复杂性》，SIAM J.离散数学1（1988）281-298。genRefLink（16，‘S0218196716500600BIB002’，‘10.1137·Zbl 0678.05018号 [3] 3.J.Bang Jensen，G.MacGillivray和J.Swarts，局部半完全有向图着色的复杂性，离散数学310（2010）2675-2684。genRefLink（16，'S0218196716500600BIB003'，'10.1016 [4] 4.L.Barto，同余分配变种中的有限相关代数具有几乎一致的项，Canad。《数学杂志》65（2013）3-21。genRefLink（16，'S0218196716500600BIB004'，'10.4153 [5] 5.L.Barto，同余模变种中的有限相关代数几乎没有子幂，见《欧洲数学杂志》。索克·Zbl 1528.08010号 [6] 6.L.Barto和M.Kozik，有界宽度的约束满足问题，第50届IEEE计算机科学基础研讨会（FOCS 2009），第595-603页·Zbl 1292.68088号 [7] 7.L.Barto和M.Kozik，局部一致性方法可解决的约束满足问题，J.ACM61（1）（2014）第3条，19 pp.genRefLink（16，‘S0218196716500600BIB007’，‘10.1145 [8] 8.L.Barto和M.Kozik，吸收子代数，循环项和约束满足问题，Log。方法计算。科学8（1:07）（2012）1-26。genRefLink（128，‘S0218196716500600BIB008’，‘000302505000007’）·Zbl 1239.08002号 [9] 9.L.Barto、M.Kozik和T.Niven，CSP二分法适用于无源无汇的有向图（对Bang-Jensen和Hell猜想的肯定回答），SIAM J.Compute.38（2008/09）1782-1802。genRefLink（16，'S0218196716500600BIB009'，'10.1137·Zbl 1191.68460号 [10] 10.C.伯格曼（C.Bergman），《通用代数：基础和选定主题》（CRC出版社，2011年）·Zbl 1229.08001号 [11] 11.J.Berman、P.Idziak、P.Marković、R.McKenzie、M.Valeriote和R.Willard，《幂次代数较少的变种》，Trans。阿默尔。数学。Soc.362（2010）1445-1473。genRefLink（16，'S0218196716500600BIB011'，'10.1090·Zbl 1190.08004号 [12] 12.A.A.Bulatov，三元集上约束满足问题的二分法定理，J.ACM53（2006）66-120。genRefLink（16，'S0218196716500600BIB012'，'10.1145 [13] 13.A.A.Bulatov，保守约束满足问题的复杂性，ACM Trans。计算。Logic12（4）（2011）第24条genRefLink（16，‘S0218196716500600BIB013’，‘10.1145 [14] 14.A.A.Bulatov、P.G.Jeavons和A.Krokhin，使用有限代数对约束复杂性进行分类，SIAM J.Compute.34（3）（2005）720-742。genRefLink（16，'S0218196716500600BIB014'，'10.1137·Zbl 1071.08002号 [15] 15.J.Bulín、D.Delić、M.Jackson和T.Niven，《关于将CSP二分法简化为有向图》，《约束编程的原理与实践》，《计算机科学讲义》，第8124卷（Springer，2013年），第184-199页。genRefLink（16，'S0218196716500600BIB015'，'10.1007 [16] 16.J.Bulín、D.Delić、M.Jackson和T.Niven，将约束问题精细化为有向图，Log。方法计算。科学11（4:18）（2015）1-33。genRefLink（128，'S0218196716500600BIB016'，'000373922900018'）； [17] 17.G.Buntrock、C.Damm、U.Hertranff和C.Meinel，logspace-MOD-类的结构和重要性，数学。系统理论25（1992）223-237。genRefLink（16，'S0218196716500600BIB017'，'10.1007·兹比尔0764.68041 [18] 18.V.Dalmau和B.Larose，马尔采夫+数据日志对称数据日志，收录于Proc。IEEE第23交响乐团。计算机科学中的逻辑，LICS’08（2008）第297-306页。 [19] 19.A.Day，代数同余格的模性特征，Canad。数学。牛.12（1969）167-173。genRefLink（16，'S0218196716500600BIB019'，'10.4153 [20] 20.L.Egri，A.Krokhin，B.Larose和P.Tesson，图的列表同态问题的复杂性，理论。计算。系统51（2012）143-178。genRefLink（16，'S0218196716500600BIB020'，'10.1007 [21] 21.T.Feder和M.Y.Vardi，单调一元SNP的计算结构和约束满足：通过数据日志和群论进行的研究，SIAM J.Comput.28（1）（1998）57-104。genRefLink（16，‘S0218196716500600BIB021’，‘10.1137·Zbl 0914.68075号 [22] 22.H.-P.Gumm，同余模块性是由分配性Arch组成的置换性。数学。（巴塞尔）36（1981）569-576。genRefLink（16，'S0218196716500600BIB022'，'10.1007 [23] 23.P.Hell和J.Nešetřil，《关于H着色的复杂性》，J.Combina理论Ser。B48（1990）92-110。genRefLink（16，'S0218196716500600BIB023'，'10.1016 [24] 24.P.Hell和J.Nešetřil，图和同态，牛津数学及其应用系列讲座，第28卷（牛津大学出版社，2004年）。genRefLink（16，'S0218196716500600BIB024'，'10.1093 [25] 25.U.Hertranff、S.Reith和H.Vollmer，关于logspace MOD类闭包属性的注释，Inf.Process。Lett.75（2000）91-93。genRefLink（16，'S0218196716500600BIB025'，'10.1016 [26] 26.D.Hobby和R.McKenzie，《有限代数的结构》，当代数学，第76卷（美国数学学会，1988年）。genRefLink（16，'S0218196716500600BIB026'，'10.1090·Zbl 0721.08001号 [27] 27.P.Idziak，P.Marković，R.McKenzie，M.Valeriote和R.Willard，《由少子幂代数引起的可牵引性和可学习性》，SIAM J.Compute.39（7）（2010）3023-3037。genRefLink（16，'S0218196716500600BIB027'，'10.1137·Zbl 1216.68129号 [28] 28.N.Immerman，《描述性复杂性》（Springer，纽约，1999）。genRefLink（16，'S0218196716500600BIB028'，'10.1007·Zbl 0918.68031号 [29] 29.P.Jeavons，《关于组合问题的代数结构》，Theoret。计算。科学.200（1998）185-204。genRefLink（16，'S0218196716500600BIB029'，'10.1016 [30] 30.B.Jónsson，同余格是分配的代数，数学。Scand.21（1967年/68年）110-121。genRefLink（16，'S0218196716500600BIB030'，'10.7146·兹比尔0167.28401 [31] 31.A.Kazda，Maltsev有向图具有多数多态性，《欧洲联合杂志》32（2011）390-397。genRefLink（16，'S0218196716500600BIB031'，'10.1016·Zbl 1214.05043号 [32] 32.卡恩斯和基斯，同余格的形状。内存。阿默尔。数学。Soc.222（1046）（2013年）。genRefLink（128，‘S0218196716500600BIB032’，‘000331066800001’）·Zbl 1294.08002号 [33] 33.K.Kearnes，P.Marković和R.McKenzie，局部有限变种中省略类型1的最佳强Mal'cev条件，《代数普遍性》72（2014）91-100。genRefLink（16，'S0218196716500600BIB033'，'10.1007 [34] 34.M.Kozik，A.Krokhin，M.Valeriote和R.Willard，几个Maltsev条件的刻画，代数普遍化73（2015）205-224。genRefLink（16，'S0218196716500600BIB034'，'10.1007 [35] 35.B.Larose、C.Loten和C.Tardif，一阶约束满足问题的特征，见Log。方法计算。科学。（2007），4:6，22页·Zbl 1131.68098号 [36] 36.B.Larose和P.Tesson，约束满足问题的泛代数和硬度结果，理论。计算。科学410（2009）1629-1647。genRefLink（16，'S0218196716500600BIB036'，'10.1016·Zbl 1172.68024号 [37] 37.G.MacGillivray和J.Swarts，弱近一致函数和有向图同态问题，理论。计算。科学477（2013）32-47。genRefLink（16，'S0218196716500600BIB037'，'10.1016·Zbl 1261.05067号 [38] 38.A.I.马尔采夫，关于代数系统的一般理论。Mat.Sb.N.S.35（77）（1954）3-20（俄语）。 [39] 39.M.Maróti和R.McKenzie，弱对称运算的存在定理，《代数普遍性》59（2008）463-489。genRefLink（16，'S0218196716500600BIB039'，'10.1007 [40] 40.M.Maróti和L.Zádori，具有近一致多态性的自反有向图，《离散数学》312（2012）2316-2328。genRefLink（16，'S0218196716500600BIB040'，'10.1016 [41] 41.C.Papadimitriou，计算复杂性（Addison-Wesley，1994）·Zbl 0833.68049号 [42] 42.A.F.Pixley，代数等式类中同余关系的分布性和置换性，Proc。阿默尔。数学。Soc.14（1963）105-109。genRefLink（16，'S0218196716500600BIB042'，'10.1090·Zbl 0113.24804号 [43] 43.T.J.Schaefer，可满足性问题的复杂性，收录于STOC（ACM，纽约，1978），第216-226页·Zbl 1282.68143号 [44] 44.W.泰勒，《遵循同伦定律的品种》，加拿大。《数学杂志》29（1977）498-527。genRefLink（16，'S0218196716500600BIB044'，'10.4153 [45] 45.A.Wires，《混合型有限竞赛的二分法》，《离散数学》338（2015）2523-2538。genRefLink（16，'S0218196716500600BIB045'，'10.1016 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。