Abstract
AbstractForbidden Patterns Problems (FPPs) are a proper generalisation of Constraint Satisfaction Problems (CSPs). However, we show that when the input belongs to a proper minor closed class, a FPP becomes a CSP. This result can also be rephrased in terms of expressiveness of the logic MMSNP, introduced by Feder and Vardi in relation with CSPs. Our proof generalises that of a recent paper by Nešetřil and Ossona de Mendez. Note that our result holds in the general setting of problems over arbitrary relational structures (not just for graphs).KeywordsFinite Model theoryMonadic Second Order LogicConstraint SatisfactionGraph Homomorphism and Duality
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have