发动机 达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik） 莱布尼茨国际信息学会议录 1868-8969 2017-03-06 47:1 47分12秒 10.4230/LIPIcs公司。STACS.2017.47标准 文章 迈克尔·孔帕彻 范，Trung Van 我们确定了部分阶上所有约束满足问题的复杂性，特别是我们证明了每个此类问题都是NP-完全的或可以在多项式时间内求解。该结果推广了Bodirsky和Kára提出的时间约束满足问题的复杂性二分法。我们应用所谓的普适代数方法以及模型理论和拉姆齐理论的工具来证明我们的结果。在分析过程中，我们还建立了关于随机偏序约简的模型理论性质的结构二分法。 https://drops.dagstuhl.de/storage/00lipics/lipics-vol066-stacs2017/lipics.STACS.2017.47/lipics.STACS.2017.47.pdf 约束满足 随机偏序 计算复杂性 泛代数 拉姆齐理论