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:
“It is difficult to make our material condition better by the best law, but it is easy enough to ruin it by bad laws.”
—Theodore Roosevelt (1858–1919)