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:
“The judiciary has fallen to a very low state in this country. I think your part of the country has suffered especially. The federal judges of the South are a disgrace to any country, and I’ll be damned if I put any man on the bench of whose character and ability there is the least doubt.”
—William Howard Taft (1857–1930)
“The limitless future of childhood shrinks to realistic proportions, to one of limited chances and goals; but, by the same token, the mastery of time and space and the conquest of helplessness afford a hitherto unknown promise of self- realization. This is the human condition of adolescence.”
—Peter Blos (20th century)