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:
“Humanity has passed through a long history of one-sidedness and of a social condition that has always contained the potential of destruction, despite its creative achievements in technology. The great project of our time must be to open the other eye: to see all-sidedly and wholly, to heal and transcend the cleavage between humanity and nature that came with early wisdom.”
—Murray Bookchin (b. 1941)