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:
“The condition every art requires is, not so much freedom from restriction, as freedom from adulteration and from the intrusion of foreign matter.”
—Willa Cather (1876–1947)