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:
“An Englishman, methinks,—not to speak of other European nations,—habitually regards himself merely as a constituent part of the English nation; he is a member of the royal regiment of Englishmen, and is proud of his company, as he has reason to be proud of it. But an American—one who has made tolerable use of his opportunities—cares, comparatively, little about such things, and is advantageously nearer to the primitive and the ultimate condition of man in these respects.”
—Henry David Thoreau (1817–1862)