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 the condition of things which we were made for is not yet, what were any reality which we can substitute? We will not be shipwrecked on a vain reality.”
—Henry David Thoreau (1817–1862)