When the outside estimate is admissible and monotonic, the exploration is optimal in the sense that whenever a hypothesis is taken from the top of the agenda, it is a Viterbi translation of the corresponding target substring.
when S[0, N, s , /s ] is added to the chart, we have found the Viterbi translation for the entire sentence.