It records this cost in an associative map referred to as the chart.
assume that we have computed and stored the minimum cost of every derivation class σ , X , γ , where X is a postcondition, γ is a carry, and σ is a proper subspan of σ.