Since there are a huge number of the structures S = ⟨O, D⟩ which are theoretically possible for an input sentence B, an efficient algorithm is desired.
since O and D are dependent on each other, it is difficult to find the optimal structure efficiently.