Necessary Condition For Tractability
A necessary condition for the tractability of a constraint language based on the universal gadget has been proved. The universal gadget is a particular constraint satisfaction problem that was initially defined for the sake of expressing new relations by projection.
Read more about this topic: Complexity Of Constraint Satisfaction
Famous quotes containing the word condition:
“Equality, in a social sense, may be divided into that of condition and that of rights. Equality of condition is incompatible with civilization, and is found only to exist in those communities that are but slightly removed from the savage state. In practice, it can only mean a common misery.”
—James Fenimore Cooper (1789–1851)