Backtracking

    Keywords: Theory

Backtracking refers to an iterative process used in reading: it consists of trying out a sequence until it fails, going back to the last move in the sequence for which an alternative has not yet been tried, and repeating the process with the new move.

Backtracking requires mental discipline and a good memory in humans and intensive processing in computers but is needed to evaluate a dynamic property. To avoid backtracking, it is sometimes possible to formulate an equivalent static property, as in Benson's Theorem saying that a group is pass-alive (dynamically defined) if it satisfies his definition of unconditional life in terms of eyes of chains (statically defined).


This is a copy of the living page "Backtracking" at Sensei's Library.
(OC) 2024 the Authors, published under the OpenContent License V1.0.
[Welcome to Sensei's Library!]
StartingPoints
ReferenceSection
About