我们确定了部分阶上所有约束满足问题的复杂性，特别是我们证明了每个此类问题都是NP-完全的或可以在多项式时间内求解。该结果推广了Bodirsky和Kára提出的时间约束满足问题的复杂性二分法。我们应用所谓的普适代数方法以及模型理论和拉姆齐理论的工具来证明我们的结果。在分析过程中，我们还建立了关于随机偏序约简的模型理论性质的结构二分法。 约束满足 随机偏序 计算复杂性 泛代数 拉姆齐理论 47:1-47:12 普通纸张 迈克尔 孔帕彻 迈克尔·孔帕彻 Trung货车 彭 Trung Van Pham公司 10.4230/LIPIcs公司。STACS.2017.47标准 弗兰克·D·昂热（Frank D.Anger）。关于Lamport的处理器间通信模型。《美国计算机学会编程语言与系统学报》（TOPLAS），11（3）：404-4171989年。 Libor Barto和Michael Pinsker。无限域约束满足问题的代数二分法猜想，2016年。预印本，arXiv:1602.04353，将出现在LICS 2016的诉讼中。 曼纽尔·博德斯基。可数范畴结构的核心。在STACS 2005中，第110-120页。斯普林格，2005年。 曼纽尔·博德斯基。无限域约束满足的复杂性分类，2012。巴黎第七大学梅莫尔分校，arXiv:1201.0856v7。 曼努埃尔·博德斯基、哈比·陈、扬·卡拉和蒂莫·冯·奥尔岑。极大无穷值约束语言。理论。计算。科学。，410(18):1684-1693, 2009. 曼努埃尔·博迪尔斯基、彼得·琼森和特朗·范范。系统发育约束满足的复杂性。在2016年STACS 16中。 曼纽尔·博德斯基和扬·卡拉。等式约束语言的复杂性。计算系统理论，43（2）：136-1582008。 曼纽尔·博德斯基和扬·卡拉。时间约束满足问题的复杂性。ACM杂志，57（2）：第9、41条，2010年。 曼努埃尔·博德斯基、巴纳比·马丁、迈克尔·平斯克和安德拉斯·蓬格茨。同质图约简的约束满足问题，2016年。预印，arXiv:1602.05819。 曼努埃尔·博迪尔斯基和雅罗斯拉夫·内什等人。可数同构模板的约束满足性。逻辑与计算杂志，16（3）：359-3732006。 曼纽尔·博德斯基和迈克尔·平斯克。拉姆齐构造的还原。AMS当代数学，第558卷（有限组合数学中的模型理论方法），第489-5192011页。 曼纽尔·博德斯基和迈克尔·平斯克。图的Schaefer定理。J.ACM，62（3）：19:1-19:52，2015年。 曼纽尔·博迪尔斯基、迈克尔·平斯克和托多尔·赞科夫。可定义性的决定。符号逻辑杂志，78（4）：1036-10542013。 马蒂亚斯·布罗克斯瓦尔和彼得·琼森。时间推理的点代数：算法和复杂性。人工智能，149（2）：179-222003。 彼得·卡梅隆。无序集上置换群的传递性。Mathematische Zeitschrift，148:127-1391976年。 Tomás Feder和Moshe Y.Vardi。单调单子SNP的计算结构和约束满足：通过Datalog和群论的研究。SIAM计算机杂志，28:57-1041999。 Patrice Godefroid、J.van Leeuwen、J.Hartmanis、G.Goos和Pierre Wolper。并发系统验证的部分顺序方法：状态爆炸问题的方法，第1032卷。斯普林格·海德堡，1996年。 威尔弗里德·霍奇斯。较短的模型理论。剑桥大学出版社，剑桥，1997年。 彼得·杰文斯（Peter Jeavons）。关于组合问题的代数结构。理论计算机科学，200（1）：185-2041998。 Michael Kompatscher和Trung Van Pham。偏序集约束满足的复杂性二分法，2016年。预印，arXiv:1603.00082。 莱斯利·兰波特。分布式系统中的时间、时钟和事件顺序。ACM通讯，21（7）：558-5651978。 莱斯利·兰波特。互斥问题：第一部分：进程间通信理论。美国医学会杂志，33（2）：313-3261986。 Péter Pál Pach、Michael Pinsker、Gabriella Pluhár、András Pongrácz和Csaba Szabó。随机偏序的约简。数学进展，267:94-1202014。 佩特尔·帕奇、迈克尔·平斯克、安德拉斯·蓬格拉茨和萨巴·萨博。对部分有序集的一种新操作。组合理论杂志，A辑，120:1450-14622013。 Madelaine Paoli、William T.Trotter和James W.Walker。拉姆齐理论和量纲理论中的图和阶。在图表和顺序中，第351-394页。斯普林格，1985年。 迈克尔·平斯克。约束满足中的代数和模型理论方法，2015年。预印本，arXiv:1507.00931。 托马斯·谢弗（Thomas J.Schaefer）。可满足性问题的复杂性。第十届ACM计算理论研讨会论文集，第216-226页。ACM，1978年。 安德鲁·塔南鲍姆（Andrew S.Tanenbaum）和马尔滕·范·斯蒂恩（Maarten Van Steen）。分布式系统。普伦蒂斯·霍尔，2007年。 西蒙·托马斯。随机图的约简。符号逻辑杂志，56（01）：176-1811991。 Creative Commons Attribution 3.0未出口许可证 https://creativecommons.org/licenses/by/3.0/legalcode