Tractable Combinations of Global Constraints

We study the complexity of constraint satisfaction problems involving global constraints, i.e., special-purpose constraints provided by a solver and represented implicitly by a parametrised algorithm. Such constraints are widely used; indeed, they are one of the key reasons for the success of constraint programming in solving real-world problems. Previous work has focused on the development of efficient propagators for individual constraints. In this paper, we identify a new tractable class of constraint problems involving global constraints of unbounded arity. To do so, we combine structural restrictions with the observation that some important types of global constraint do not distinguish between large classes of equivalent solutions.Comment: To appear in proceedings of CP'13, LNCS 8124. arXiv admin note: text overlap with arXiv:1307.179

On Global Warming (Softening Global Constraints)

We describe soft versions of the global cardinality constraint and the regular constraint, with efficient filtering algorithms maintaining domain consistency. For both constraints, the softening is achieved by augmenting the underlying graph. The softened constraints can be used to extend the meta-constraint framework for over-constrained problems proposed by Petit, Regin and Bessiere.Comment: 15 pages, 7 figures. Accepted at the 6th International Workshop on Preferences and Soft Constraint

On the Reification of Global Constraints

We introduce a simple idea for deriving reified global constraints in a systematic way. It is based on the observation that most global constraints can be reformulated as a conjunction of pure functional dependency constraints together with a constraint that can be easily reified. We first show how the core constraints of the Global Constraint Catalogue can be reified and we then identify several reification categories that apply to at least 82% of the constraints in the Global Constraint Catalogue

Model-Independent Global Constraints on New Physics

Using effective-lagrangian techniques we perform a systematic survey of the lowest-dimension effective interactions through which heavy physics might manifest itself in present experiments. We do not restrict ourselves to special classes of effective interactions (such as `oblique' corrections). We compute the effects of these operators on all currently well-measured electroweak observables, both at low energies and at the $Z$ resonance, and perform a global fit to their coefficients. Despite the fact that a great many operators arise in our survey, we find that most are quite strongly bounded by the current data. We use our survey to systematically identify those effective interactions which are {\it not} well-bounded by the data -- these could very well include large new-physics contributions. Our results may also be used to efficiently confront specific models for new physics with the data, as we illustrate with an example.Comment: plain TeX, 68 pages, 2 figures (postscript files appended), McGill-93/12, NEIPH-93-008, OCIP/C-93-6, UQAM-PHE-93/08, UdeM-LPN-TH-93-15