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:
“What is to be done with people who can’t read a Sunday paper without messing it all up?... Show me a Sunday paper which has been left in a condition fit only for kite flying, and I will show you an antisocial and dangerous character who has left it that way.”
—Robert Benchley (1889–1945)