Feder and Vardi showed that the class Monotone Monadic SNP without inequality (MMSNP) has a P vs NP-complete dichotomy if and only if such a dichotomy holds for finite-domain Constraint Satisfaction Problems (CSPs). Moreover, they showed that none of the three classes obtained by removing one of the defining properties of MMSNP (monotonicity, monadicity, no inequality) has a dichotomy. The overall objective of this paper is to study the gaps between MMSNP and each of these three superclasses, where the existence of a dichotomy remains unknown. For the gap between MMSNP and Monotone SNP without inequality, we study the class Guarded Monotone SNP without inequality (GMSNP) introduced by Bienvenu, ten Cate, Lutz, and Wolter, and prove that GMSNP has a dichotomy if and only if a dichotomy holds for GMSNP problems over signatures consisting of a unique relation symbol. For the gap between MMSNP and MMSNP with inequality, we introduce a new class MMSNP with guarded inequality, that lies between MMSNP and MMSNP with inequality and that is strictly more expressive than the former and still has a dichotomy. For the gap between MMSNP and Monadic SNP without inequality, we introduce a logic that extends the class of Matrix Partitions in a similar way how MMSNP extends finite-domain CSP, and pose an open question about the existence of a dichotomy for this class. Finally, we revisit the theorem of Feder and Vardi, which claims that the class NP embeds into MMSNP with inequality. We give a detailed proof of this theorem as it ensures no dichotomy for the right-hand side class of each of the three gaps.

翻译：Feder和Vardi证明了，当且仅当有限域约束满足问题（CSP）存在P与NP完全二分性时，无不等式的单调一元SNP类（MMSNP）才具有P与NP完全的二分性。此外，他们指出，移除MMSNP定义属性（单调性、一元性、无不等式）中的任意一个所得到的三个类均不存在二分性。本文的核心目标是研究MMSNP与这三个超类之间的间隙，这些间隙中二分性的存在性仍属未知。针对MMSNP与无不等式的单调SNP之间的间隙，我们研究了由Bienvenu、ten Cate、Lutz和Wolter提出的无不等式受保护单调SNP类（GMSNP），并证明GMSNP具有二分性当且仅当在仅包含单一关系符号的签名上的GMSNP问题存在二分性。对于MMSNP与带不等式的MMSNP之间的间隙，我们引入了一个新类——带受保护不等式的MMSNP，它介于MMSNP与带不等式的MMSNP之间，其表达能力严格强于前者且仍保持二分性。关于MMSNP与无不等式的单子SNP之间的间隙，我们提出了一种逻辑，它以类似MMSNP扩展有限域CSP的方式扩展了矩阵划分类，并就该类二分性的存在性提出了一个开放性问题。最后，我们重新审视了Feder和Vardi的定理，该定理声称NP类可嵌入带不等式的MMSNP中。我们给出了该定理的详细证明，因为它确保了三个间隙右侧的类均不存在二分性。