Decomposition Method (constraint Satisfaction) - Decomposition Methods For Arbitrary Problems

Decomposition Methods For Arbitrary Problems

The following methods can be used for translating an arbitrary constraint satisfaction problem, either binary or otherwise. Since they can also be used on binary problems, they can also be used on the result of making constraints binary, either by translating to the dual problem or by using hidden variables.

Some of these methods associate constraints with nodes of the tree, and define width taking into account the number of constraints associated with nodes. This may reduce the width of some problems. For example, a decomposition in which ten variables are associated with each node has width ten; however, if each of these sets of ten variables is the scope of a constraint, each node can be associated that constraint instead, resulting in width one.

Read more about this topic:  Decomposition Method (constraint Satisfaction)

Famous quotes containing the words methods, arbitrary and/or problems:

    The methods by which a trade union can alone act, are necessarily destructive; its organization is necessarily tyrannical.
    Henry George (1839–1897)

    The Brahman’s virtue consists in doing, not right, but arbitrary things.
    Henry David Thoreau (1817–1862)

    ...I have wanted to believe people could make their dreams come true ... that problems could be solved. However, this is a national illness. As Americans, we believe all problems can be solved, that all questions have answers.
    Kristin Hunter (b. 1931)