In computer science, state space enumeration are methods that consider each reachable program state to determine whether a program satisfies a given property. As programs increase in size and complexity, the state space grows exponentially. The state space used by these methods can be reduced by maintaining only the parts of the state space that are relevant to the analysis. However, the use of state and memory reduction techniques makes runtime a major limiting factor.
Read more about State Space Enumeration: See Also
Famous quotes containing the words state and/or space:
“Having behind us the producing masses of this nation and the world, supported by the commercial interests, the labor interests, and the toilers everywhere, we will answer their demand for a gold standard by saying to them: You shall not press down upon the brow of labor this crown of thorns, you shall not crucify mankind upon a cross of gold.”
—Administration in the State of Neva, U.S. public relief program (1935-1943)
“Though seas and land be ‘twixt us both,
Our faith and troth,
Like separated souls,
All time and space controls:
Above the highest sphere we meet
Unseen, unknown, and greet as angels greet.”
—Richard Lovelace (1618–1658)