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:
“Lead bullets flattened by human teeth have been found on the camp site. Soldiers who had been caught stealing food from nearby farms customarily chewed on a bullet as the lash was laid on their bare backs.”
—For the State of New Jersey, U.S. public relief program (1935-1943)
“Time in his little cinema of the heart
Giving a première to Hate and Pain;
And Space urbanely keeping us apart.”
—Philip Larkin (1922–1986)