SRL for [exponential]: I really can not see why at any time the algorithm would need to store an amount of nodes in memory that is [exponential] to the length of the optimal ( shortest ) path .
ARG-1: that | ARG-3: to the length of the optimal ( shortest ) path