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:
“Now, at the end of three years struggle the nation’s condition is not what either party, or any man devised, or expected. God alone can claim it.”
—Abraham Lincoln (1809–1865)