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:
“While you are nurturing your newborn, you need someone to nurture you, whether it is with healthful drinks while you’re nursing, or with words of recognition and encouragement as you talk about your feelings. In this state of continual giving to your infant—whether it is nourishment or care or love—you are easily drained, and you need to be replenished from sources outside yourself so that you will have reserves to draw from.”
—Sally Placksin (20th century)
“No being exists or can exist which is not related to space in some way. God is everywhere, created minds are somewhere, and body is in the space that it occupies; and whatever is neither everywhere nor anywhere does not exist. And hence it follows that space is an effect arising from the first existence of being, because when any being is postulated, space is postulated.”
—Isaac Newton (1642–1727)