Hierarchical constraint satisfaction

This is an old revision of this page, as edited by Truemate (talk | contribs) at 17:44, 26 June 2009 (Created page with ''''''Hierarchical Constrain Satisfaction (HCS)''''' is a method of handling constraint satisfaction problems where the variables have large domains by exploitin...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Hierarchical Constrain Satisfaction (HCS) is a method of handling constraint satisfaction problems where the variables have large domains by exploiting their internal structure. In fact, for many real world problems the ___domain elements cluster together into sets with common properties and relations. This structure can be represented as a hierachy and is partially ordered on the subset of a relation. The expectiation is that the domains are structured so that the elements of a set frequently share consistency properties permitting them to be retained or eliminated as a unit. Thus, if some elements of a set satisfy a constraint, but not all, the subsets of the set are considered. In this way, if no elements of a set can satisfy the constraint the whole set can be discarded. Thus, structuring the ___domain helps in considering sets of elements all at a time and hence helps in pruning the search space more quickly.