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:
“If it is asserted that civilization is a real advance in the condition of man,—and I think that it is, though only the wise improve their advantages,—it must be shown that it has produced better dwellings without making them more costly; and the cost of a thing is the amount of what I will call life which is required to be exchanged for it, immediately or in the long run.”
—Henry David Thoreau (1817–1862)