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:
“I can never suppose this country so far lost to all ideas of self-importance as to be willing to grant America independence; if that could ever be adopted I shall despair of this country being ever preserved from a state of inferiority and consequently falling into a very low class among the European States.”
—George III (1738–1820)
“As photographs give people an imaginary possession of a past that is unreal, they also help people to take possession of space in which they are insecure.”
—Susan Sontag (b. 1933)