{“@context”：“https:\/\/schema.org\/”，“@type”：“ScholarlyArticle”，“@id”：“#article9341”，“name”：“Poset约束满足的复杂性二分法”，“abstract”:“我们确定了偏序上所有约束满足问题的复杂性，特别是我们证明了每一个这样的问题都是NP完全的或可以在多项式时间内求解。这一结果推广了Bodirsky和K\u00e1ra对时间约束满足问题的复杂性二分法aic方法以及模型理论和拉姆齐理论的工具来证明我们的结果。在分析过程中，我们还建立了关于随机偏序约简的模型理论性质的结构二分法。“，”keywords“：[”约束满足“，”随机偏序“，”计算复杂性“，”泛代数“，”拉姆齐理论“]，”作者“：[{”@type“：”Person“，”name“：”Kompatscher，Michael“，”givenName“：”Michael“pageStart“：”47:1“，”pageEnd“：”47：12“，”dateCreated“：“2017-03-06”，”datePublished“：”2017-03-006“，”isAccessibleForFree“：true，”license“：”https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode“，”copyrightHolder“：[{“@type”：“Person”，“name”：“Kompatscher，Michael”，“givenName”：“Michael”“，”名称“：”Pham，Trung Van“，”givenName“：”Trung Vam“，”familyName“：“Pham”}]，”copyrightYear“：”2017“，”accessMode“：”textual“，”AccessModeFufficient“：”extext“，”creativeWorkStatus“：”Published“，”inLanguage“：”en-US“，”sameAs“：”https:\//doi.org\/10.4230\/LIPIcs。STACS.2017.47“，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”isPartOf“：Vollmer，Heribert“，”givenName“：”Heribert”，“familyName”：“Vollmer”}，{“@type”：“Person”，“name”：“Vall\u00e9e，Brigitte”，“givenName”：”Brigite“，”familyName“：”Vall\u 00e9E“}]，“isAccessibleForFree”：true，“publisher”：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”hasPart“：”#article9341“，”isPartOf“：{”@type“：”Periodical“，”@id“：”#series116“，”name“：”莱布尼茨国际信息学会议录“，”issn“：”1868-8969“，”isAccessibleForFree“：true，”publisher“：”Schloss Dagstuhl\u2013莱布尼兹-中央图书馆f\u00fcr Informatik“，”hasPart“：“#volume6269”}}