S
K
T
sigma
r
Steps
Paths
Computation