×
利波·巴托;雅库布·奥普沙尔;迈克尔·平斯克

反射的仙境。 （英语） Zbl 1397.08002号

以色列。数学杂志。 223363-398（2018）。
本文致力于研究众所周知的CSP（约束满足问题）概念。为了比较关系结构（mathbbA\）、（mathbb B\）的复杂性，使用了以下表示（mathrm{CSP}（mathbb2 B）\）最难的约简：
（a）
\（\mathbb B\）在\（\mathbb A\）中是pp-interportable，
（b）
\（\mathbb B\）同态等价于\（\mathbb A\），
（c）
\（\mathbb A\）是一个核心，通过添加一个单元素一元关系，从\（\mat血红蛋白A\）获得\（\mathbb B\）。
作者证明了一个定理，该定理给出了关于（mathbb a）的多态克隆（mathcal a）的结构的一个判据，而不是将NP-hard从所有有限结构的多项式时间可解CPS中分离出来，而无需考虑它们的核。为此，定义了一个被称为作用于函数克隆上的反射的操作符\（\operatorname{E}\）：如果\（\mathcal A\）是函数克隆，则\（\operatorname}（\mathcal A）\）通过向其中添加函数来生成从\（\mathcal A~）获得的所有函数克隆。
此外，还讨论了无限（可数）范畴结构的推广，以及一些拓扑方面的考虑。
审核人：Danica Jakubiková-Studenovská（科希策）

引用于4评论
引用于44文件

MSC公司：

08A40号 代数结构、原代数中的运算和多项式
08A70号 泛代数在计算机科学中的应用
03C05号机组 模型理论中的方程类、泛代数
03C15号 可数可分结构的模型理论
03C35号 理论的分类和完整性
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析

关键词：

关系结构;克隆;复杂性;CSP公司;反射;pp可解释;核心
PDF格式BibTeX公司 XML格式引用
\textit{L.Barto}等人，以色列。数学杂志。223363-398（2018；Zbl 1397.08002）
全文： 内政部 arXiv公司

参考文献：

[1] 巴托，约束满足问题与泛代数，布尔。符号。日志。2015 (2015), 319᾿37. ·Zbl 1336.68113号 ·doi:10.1017/bsl.2015.25
[2] L.Barto和M.Kozik，吸收子代数，循环项和约束满足问题，Log。方法计算。科学。8（2012），论文7，27页·Zbl 1239.08002号
[3] L.Barto和M.Kozik，局部一致性方法可解决的约束满足问题，J.ACM 61（2014），第3篇，19页·Zbl 1295.68126号
[4] W.Bentz和L.Sequeira，泰勒模块性猜想对线性幂等变种成立，《代数普遍》2014（2014），101᾿07. ·Zbl 1303.08006号 ·文件编号：10.1007/s00012-014-0273-4
[5] C.Bergman，《通用代数：基础和选定主题》，《纯粹和应用数学》（Boca Raton），第301卷，CRC出版社，佛罗里达州Boca Raton2012年·Zbl 1229.08001号
[6] G.Birkhoff，《论抽象代数的结构》，《剑桥哲学学会数学学报》1935（1935），433᾿54. ·doi:10.1017/S0305004100013463
[7] M.Bodirsky，可数范畴结构的核心，Log。方法计算。科学。3（2007），论文2，16页·Zbl 1128.03021号
[8] M.Bodirsky，无限模板的约束满足问题，《约束的复杂性：当前研究主题概述》，计算机讲义。科学。，第5250卷，施普林格-柏林-海德堡出版社，2008年，第196页᾿28. ·Zbl 1261.03118号
[9] M.Bodersky，无限域约束满足中的复杂性分类，Mémoire d'habilitationádiriger des recherches，Didero-Paris 7大学（2012），网址：arXiv:1201.0856·Zbl 1327.03008号
[10] M.Bodirsky、V.Dalmau、B.Martin和M.Pinsker，距离约束满足问题，收录于《2010年计算机科学数学基础》，《计算机课堂讲稿》。科学。，第6281卷，施普林格，柏林，2010年，第162页完73. ·Zbl 1287.68068号
[11] M.Bodirsky和J.Kára，时间约束满足问题的复杂性，J.ACM 57（2010），第9条，41页·Zbl 1327.68125号
[12] M.Bodirsky、B.Martin和A.Mottet，带后继整数的约束满足问题，自动机、语言和编程。第一部分，计算机讲义。科学。，第9134卷，施普林格，海德堡，2015年，第256页᾿67. ·Zbl 1440.68111号
[13] M.Bodirsky和J.Nešetřil，可数同质模板的约束满足，J.Logic Compute。2006 (2006), 359᾿73. ·Zbl 1113.03026号 ·doi:10.1093/log.com/exi083
[14] M.Bodirsky和M.Pinsker，Ramsey结构的约化，有限组合学中的模型理论方法，Contemp。数学。，第558卷，美国。数学。Soc.，普罗维登斯，RI，2011年，第489页᾿19. ·Zbl 1261.03118号 ·doi:10.1090/conm/558/11058
[15] M.Bodirsky和M.Pinsker，图的Schaefer定理，J.ACM 62（2015），第19篇，52页·Zbl 1333.05194号
[16] M.Bodirsky和M.Pinsker，拓扑Birkhoff，Trans。阿默尔。数学。Soc.2015（2015），2527完549. ·Zbl 1375.03032号
[17] 博迪尔斯基，M。；平斯克，M。；Pongrácz，A.，投影克隆同态（2014）·Zbl 1529.03192号
[18] M.Bodirsky、M.Pinsker和A.Pongrácz，重建克隆拓扑，Trans。阿默尔。数学。Soc.2017（2017），3707完740. ·Zbl 1377.03021号 ·doi:10.1090/tran/6937
[19] M.Bodirsky、M.Pinsker和T.Tsankov，可定义性的决定，《符号逻辑杂志》2013（2013），1036᾿054中·Zbl 1327.03008号 ·doi:10.2178/jsl.7804020
[20] A.Bulatov、P.Jeavons和A.Krokhin，使用有限代数对约束复杂性进行分类，SIAM J.Compute。2005 (2005), 720᾿42. ·Zbl 1071.08002号 ·doi:10.1137/S0097539700376670076676
[21] S.N.Burris和H.P.Sankappanavar，《普适代数课程》，《数学研究生教材》，第78卷，斯普林格-弗拉格出版社，纽约-柏林，1981年·Zbl 0478.08001号
[22] T.Feder和M.Y.Vardi，单调单子SNP的计算结构和约束满足：通过数据日志和群论进行的研究，SIAM J.Compute。1999 (1999), 57᾿04. ·Zbl 0914.68075号
[23] O.C.García和W.Taylor，品种可解释类型的晶格，Mem。阿默尔。数学。Soc.50（1984），v+125·Zbl 0559.08003号
[24] Gehrke，M。；Pinsker，M.，Uniform Birkhoff（2016）·Zbl 1522.03104号
[25] J.Hagemann和A.Mitschke，《关于n-置换同余》，《代数普遍性》1973（1973），8᾿2. ·Zbl 0273.08001号 ·doi:10.1007/BF02945100
[26] W.Hodges，《较短模型理论》，剑桥大学出版社，剑桥，1997年·Zbl 0873.03036号
[27] K.Kearnes，P.Marković和R.McKenzie，局部有限变种中省略类型1的最优强Mal'cev条件，代数普遍性2014（2014），91᾿00. ·Zbl 1305.08008号
[28] K.A.Kearnes和S.T.Tschantz，平方和自由代数的自同构群，国际。J.代数计算。2007 (2007), 461᾿05. ·兹比尔1158.08003 ·doi:10.1142/S0218196707003615
[29] B.Larose和L.Zádori，有界宽度问题和代数，代数普遍性2007（2007），439᾿66. ·Zbl 1120.08002号 ·doi:10.1007/s00012-007-2012-6
[30] W.D.Neumann，《论马尔切夫条件》，J.Austral。数学。Soc.1974（1974），376᾿84.纪念汉娜·诺依曼七世的文章集·Zbl 0294.08004号 ·doi:10.1017/S1446788700117122
[31] M.Pinsker，约束满足中的代数和模型理论方法，arXiv:1507.00931（2015）。
[32] L.Sequeira，Maltsev过滤器，2001年，葡萄牙里斯本大学论文（博士）。
[33] M.H.Siggers，局部有限簇省略一元类型的强Mal'cev条件，《代数普遍》2010（2010），15᾿0. ·Zbl 1216.08002号 ·doi:10.1007/s00012-010-0082-3
[34] Á. Szendrei，《普适代数中的克隆》，《高等数学研讨会》，第99卷，蒙特勒大学出版社，蒙特利尔，QC，1986年·Zbl 0603.08004号
[35] W.泰勒，《遵循同伦定律的品种》，加拿大。数学杂志。1977 (1977), 498᾿27. ·Zbl 0357.08004号 ·doi:10.4153/CJM-1977-054-9
[36] S.T.Tschantz，同余置换是连接素数，未出版（1996）。
[37] M.Valeriote和R.Willard，Idempotent n-permutable varies，公牛。伦敦。数学。Soc.2014（2014），870᾿80之间·Zbl 1303.08005号 ·doi:10.1112/blms/bdu044
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。