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 he had been sent to check out Bluebeard’s castle, he would have come back with a glowing report about the admirable condition of the cutlery.”
—Mary McGrory (b. 1918)