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:
“No race has the last word on culture and on civilization. You do not know what the black man is capable of; you do not know what he is thinking and therefore you do not know what the oppressed and suppressed Negro, by virtue of his condition and circumstance, may give to the world as a surprise.”
—Marcus Garvey (1887–1940)