• DOI:10.1007/978-3-319-26626-8_54
• Corpus ID: 10859125

On the Minimal Constraint Satisfaction Problem: Complexity and Generation

@inproceedings{Escamocher2015OnTM,
  title={On the Minimal Constraint Satisfaction Problem: Complexity and Generation},
  author={Guillaume Escamocher and Barry O’Sullivan},
  booktitle={COCOA},
  year={2015}
}

• Guillaume Escamocher, B. O’Sullivan
• Published in COCOA 18 December 2015
• Computer Science

The Minimal Constraint Satisfaction Problem, or Minimal CSP for short, arises in a number of real-world applications, most notably in constraint-based product configuration. Despite its very permissive structure, it is NP-hard, even when bounding the size of the domains by $$d\ge 9$$di?ź9. Yet very little is known about the Minimal CSP beyond that. Our contribution through this paper is twofold. Firstly, we generalize the complexity result to any value of d. We prove that the Minimal CSP remains NP-hard for $$d\ge 3$$di?ź3, as well as for $$d=2$$d=2 if the arity k of the instances is strictly greater than 2. Our complexity result can be seen as providing a dichotomy theorem for the Minimal CSP. Secondly, we build a generator that can create Minimal CSP instances of any size, using the constrainedness as a parameter. Our generator can be used to study behaviors that are typical of NP-hard problems, such as the presence of a phase transition, in the case of the Minimal CSP.