曼纽尔·博迪尔斯基;维克托·达尔摩;巴纳比·马丁;安托万·莫特特;迈克尔·平斯克 距离约束满足问题。 （英语） Zbl 1336.68116号 Inf.计算。 247, 87-105 (2016). 摘要：我们研究了整数上模板{\（\Gamma\）}的约束满足问题的复杂性，其中关系是可以从后继函数定义的一阶。在{\（\Gamma\）}局部有限的情况下（即{\（\ Gamma\同态等价于有限传递结构，或者{\（\Gamma\）}的CSP是NP-complete。根据有限域约束满足假设一个广为接受的猜想（我们需要可操纵性猜想Bulatov、Jeavons和Krokhin在特殊情况下传递的有限模板），这证明了这些CSP具有复杂性二分法，即在P或NP-完全中。 引用于三文件 MSC公司： 65年第68季度 算法和问题复杂性分析 03B70号 计算机科学中的逻辑 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：约束满足问题;复杂性二分法;具有后继项的整数;还原;本原正可定义性;自同态 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人，《Inf.Compute》。247、87--105（2016；Zbl 1336.68116） 全文： 内政部 arXiv公司 参考文献： [1] 巴托，Libor；Kozik，Marcin，Taylor品种和CSP的新条件，（LICS会议记录（2010）），100-109·Zbl 1209.08002号 [2] 博迪尔斯基，曼努埃尔，可数范畴结构的核心，对数。方法计算。科学。，3, 1, 1-16 (2007) ·Zbl 1128.03021号 [3] 曼纽尔·博迪尔斯基；陈，胡比；迈克尔·平斯克（Michael Pinsker），《将等式还原为原始正互定义》（The reductions of equality up to primitive positive interdefinitibility），J.Symb。日志。，75, 4, 1249-1292 (2010) ·Zbl 1408.03021号 [4] 曼纽尔·博迪尔斯基；维克托·达尔摩；巴纳比·马丁；Michael Pinsker，距离约束满足问题，（Hlinení，Petr；Kucera，Antonín，《计算机科学数学基础学报》，《计算机学科数学基础学报，计算机科学讲稿》（2010年8月），Springer Verlag），162-173·Zbl 1287.68068号 [5] 曼纽尔·博迪尔斯基；Grohe，Martin，约束满足复杂性中的非二元性，（Aceto，Luca；Damgard，Ivan；Goldberg，Leslie Ann；Halldórsson，Magnús M.；Ingólfsdóttir，Anna；Walukiewicz，Igor，《自动化、语言和编程国际研讨会论文集》。ICALP自动化、语言和编程国际学术讨论会论文集。自动化、语言和编程国际学术讨论会论文集。《国际自动化、语言和编程学术讨论会论文集》，ICALP，计算机科学讲稿（2008年7月），施普林格出版社，184-196年·Zbl 1155.68403号 [6] 曼纽尔·博迪尔斯基；希尔斯（Martin Hils）；Martin，Barnaby，《关于约束满足的泛代数方法的范围》，（计算机科学中逻辑年度研讨会论文集。计算机科学中的逻辑年度研讨会文献集，LICS（2010年7月），IEEE计算机学会），90-99·Zbl 1308.68062号 [7] 曼纽尔·博迪尔斯基；Kára，Jan，《时间约束满足问题的复杂性》，J.ACM，57，2，1-41（2009），《计算理论研讨会论文集》，STOC'08·Zbl 1327.68125号 [8] 曼纽尔·博迪尔斯基；麦克弗森，杜加尔德；Thapper，Johan，无限集上半格运算的约束满足可处理性，ACM Trans。计算。日志。，14, 4, 1-30 (2013) ·Zbl 1354.68109号 [9] 曼纽尔·博迪尔斯基；安托万·莫特特；Martin，Barnaby，带后继整数的约束满足问题，（ICALP会议记录（2015））·Zbl 1440.68111号 [10] 曼纽尔·博迪尔斯基；Nešetřil，Jaroslav，可数同质模板的约束满足，J.Log。计算。，16359-373（2006年）·Zbl 1113.03026号 [11] 曼纽尔·博迪尔斯基；Pinsker，Michael，Schaefer的图定理，J.ACM，62，3，Article 19 pp.（2015），52 pp.会议版发表于2011年《STOC会议录》，pp.655-664·兹比尔1288.05169 [12] 布拉托夫，A。；Valeriote，M.，《csp代数方法的结果》，（约束的复杂性：当前研究主题概述（2008），Springer Verlag），68-92·Zbl 1171.08300号 [13] 安德烈·布拉托夫（Andrei A.Bulatov）。；Andrei A.Krokhin。；Jeavons，Peter G.，使用有限代数对约束复杂性进行分类，SIAM J.Compute。，34, 720-742 (2005) ·Zbl 1071.08002号 [14] Cameron，Peter J.，《寡形置换群》（1990），剑桥大学出版社：剑桥大学出版社·Zbl 0813.20002号 [15] （Creignou，Nadia；Kolaitis，Phokion G.；Vollmer，Heribert，《约束的复杂性——当前研究主题概述》【Dagstuhl研讨会结果】。约束的复杂性-当前研究主题综述【Dagstohl研讨会成果】，《计算机科学讲义》，第5250卷（2008），Springer）·Zbl 1154.68008号 [16] Diestel，Reinhard，图论（2005），Springer-Verlag:Springer-Verlag纽约·Zbl 1074.05001号 [17] 费德（Tomás）；Vardi，Moshe Y.，单调单子SNP的计算结构和约束满足：通过数据日志和群论的研究，SIAM J.Compute。，28, 57-104 (1999) ·Zbl 0914.68075号 [18] 肖恩·海德曼（Shawn Hedman），《逻辑第一课程：模型理论、证明理论、可计算性和复杂性导论》，《牛津逻辑文本》（2004），牛津大学出版社：牛津大学出版社，美国纽约州纽约市·Zbl 1095.03001号 [19] 地狱，帕沃；Nešetřil，Jaroslav，《论H染色的复杂性》，J.Comb。理论，Ser。B、 48，92-110（1990）·Zbl 0639.05023号 [20] 地狱，帕沃尔；Nešetřil，Jaroslav，图与同态（2004），牛津大学出版社：牛津大学出版社·Zbl 1062.05139号 [21] 霍奇斯，威尔弗里德，《较短模型理论》（1997），剑桥大学出版社：剑桥大学出版社·Zbl 0873.03036号 [22] 彼得·杰文斯；大卫·科恩；Gyssens，Marc，约束的闭包性质，J.ACM，44，4，527-548（1997）·Zbl 0890.68064号 [23] Marker，David，《模型理论：导论》（2002），Springer:Springer New York·兹比尔1003.03034 [24] 马洛蒂，M。；McKenzie，R.，弱对称运算的存在性定理，代数大学。，59, 3, 463-489 (2008) ·兹比尔1186.08003 [25] 阿列克谢·塞梅诺夫；谢尔盖·索普鲁诺夫（Sergey Soprunov）；乌斯彭斯基，弗拉基米尔，《可定义格》。起源、最新发展和进一步的方向，（《俄罗斯计算机科学》，俄罗斯计算机科学，计算机科学讲义，第8476卷（2014）），23-38·Zbl 1433.03073号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。